-
Key: SYSML2_-173
-
Status: open
-
Source: Model Driven Solutions ( Mr. Ed Seidewitz)
-
Summary:
According to the KerML specification, "Structures and behaviors do not overlap". Consistent with this, the approved resolution to
KERML-43added validations to disallow a structure from specializing a behavior and vice versa.ConnectionDefinitions in SysML are kinds of PartDefinitions, which are (indirectly) kinds of KerML Structures. But FlowConnectionDefinitions are both ConnectionDefinitions and ActionDefinitions, and ActionDefinitions are kinds of KerML Behaviors. This means that FlowConnectionDefinitions are both Structures and Behaviors, violating the restrictions of KerML.
As a result, the specializations in the declarations of MessageConnection and FlowConnection in the Systems Library model Connections now violate the new validateStructureSpecialization and validateBehaviorSpecialization constraints added by the resolution to
KERML-43. -
Reported: SysML 2.0b1 — Fri, 8 Dec 2023 17:04 GMT
-
Updated: Tue, 11 Jun 2024 19:04 GMT
SYSML2_ — Flow connections are incorrectly both structure and behavior
- Key: SYSML2_-173
- OMG Task Force: Systems Modeling Language (SysML) 2.0 FTF 2