UPDM in Compliance with SysML March 21, 2013 Aurelijus Morkevicius Accelerating the Model Driven Enterprise UPDM in Compliance with SysML March 21, 2013 Aurelijus Morkevicius

Existing approach for SysML compliancy context Class inv: UPDM::Node::allInstances()->exists(n|n.base_Class=self) implies SysML::Block::allInstances()->exists(b| b.base_Class = self)

Disadvantages Doubled work in testing interexchange Model trashed with stereotypes (capacity) Diagrams are more difficult to read (readability) Maintenance of the OCL constraints OCL constraints are difficult to understand for the majority of the users

A new approach for SysML compliancy

Advantages Tremendous work reduction in testing interexchange Model not overloaded with stereotypes XMI size reduced (faster serialization) OCL constraints for compliance are no longer needed to maintain L0 level is no longer needed!

UML and SysML Impact to UPDM March 21, 2013 Aurelijus Morkevicius Accelerating the Model Driven Enterprise UML and SysML Impact to UPDM March 21, 2013 Aurelijus Morkevicius

Potential impact of the latest UML UML 2.4 (very slight impact) UML 2.5 Specification simplification (no impact). We will probably support it in UAFP 1.0 UML 2.6 Not scheduled yet. Scope is not defined

Potential impact of the latest SysML SysML 1.3 Introduces proxy ports, full ports, and interface blocks SysML 1.4 Planned to be compatible with UML 2.5 Changes the way the units, dimensions, and value types are handled Other accepted changes do not affect UPDM-SysML mapping We will probably support it in UAFP 1.0 SysML 1.5 Not scheduled yet. Scope is not defined

Proxy Port Proxy port identifies features of the owning block or its internal parts that are available to external blocks through external connectors to the ports Proxy port type is interface block - a specialized kind of block that has no behaviors or internal parts and owns flow properties

Proxy Port Is Conjugated Marking Direction

Full Port Full ports specify a separate element of the system from the owning block or its internal parts. They might have their own internal parts, and behaviors. Acts like a part attached to the boundary of the context block. Full port is typed by the block

Full Port Port Type Proxy Ports Full Port

Full Port Example