KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — Binary association ends always unique

  • Key: KERML-38
  • Status: closed  
  • Source: NIST ( Mr. Conrad Bock)
  • Summary:

    In the Links model library, BinaryLink::source/target are defined as

    assoc all BinaryLink specializes Link {
     feature participant: Anything[2] nonunique ordered redefines Link::participant;
     readonly end feature source: Anything[0..*] subsets participant;
     readonly end feature target: Anything[0..*] subsets participant; }
    

    making source/target unique by default (subsets don't inherit ordering/uniqueness). This prevents modelers from defining the corresponding features of associated classifiers as nonunique (see KERML-37), because nonunique is less restrictive than unique.

  • Reported: KerML 1.0a1 — Wed, 26 Apr 2023 15:19 GMT
  • Disposition: Resolved — KerML 1.0b2
  • Disposition Summary:

    BinaryLink::source/target nonunique

    Add nonunique keyword to BinaryLink::source/target in Links.kerml.

  • Updated: Tue, 1 Jul 2025 15:01 GMT