-
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: Thu, 19 Dec 2024 23:58 GMT
-
Attachments:
- Flow Connections.svg 372 kB (image/svg+xml)
- FlowConnections.sysml 5 kB ()
- flow-compartment.png 81 kB (image/png)
- flow-connection-def.png 29 kB (image/png)
- flow-connection.png 30 kB (image/png)
SYSML2_ — Flow connections are incorrectly both structure and behavior
- Key: SYSML2_-173
- OMG Task Force: Systems Modeling Language (SysML) 2.0 FTF 2