Mathematica: Webel ADT pseudo classes: 'Q: Do I have to use these EX$Val scalar "atom" thingies and the EX$Row, EX$RowList, and EX$RowMap? Can't I just use Wolfram Language Lists and Associations?' A: Of course you can also use the basic Wolfram Language!
Mathematica: Webel ADT pseudo classes: An EX$Val has concise methods for testing the type of its wrapped '$$' value: isR, isI, isB, isQ, isS. These may be used in ADT "constructor" type tests.
Mathematica: Webel ADT pseudo classes: The validity of the type of a wrapped '$$' value of an EX$Val may be checked in ADT "constructors" which have type checking utility support. This strategy has been chosen over sub-types of EX$Val.
SysMLv1 Internal Block Diagram (IBD) of the Webel ADT base class Gallery Tutorial [TECHNICAL SLIDE TRAIL] The Webel libraries for Wolfram Mathematica: With SysMLv1 models. Section SECTION: The Webel Abstract Data Type (ADT) stateless pseudo-classes with inheritance (with SysMLv1 models) Slide kind SysML Internal Block Diagram (IBD)
Mini SysMLv1 BDD view of the Webel ADT Block Gallery Tutorial [TECHNICAL SLIDE TRAIL] The Webel libraries for Wolfram Mathematica: With SysMLv1 models. Section SECTION: The Webel Abstract Data Type (ADT) stateless pseudo-classes with inheritance (with SysMLv1 models) Slide kind SysML Block Definition Diagram (BDD)
Thermal Connectors Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 07. Components [MOST] Slide kind hybrid diagram SysML Block Definition Diagram (BDD) SysML Internal Block Diagram (IBD)
Graphical Connectors Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 06. Connectors Slide kind hybrid diagram SysML Block Definition Diagram (BDD) SysML Internal Block Diagram (IBD)
Block Connectors Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 06. Connectors Slide kind hybrid diagram SysML Block Definition Diagram (BDD) SysML Internal Block Diagram (IBD)
MagicDraw/Cameo: GOTCHA: When applying a numerical default to a value property make sure the value property has already been typed by Real or Integer (or a ValueType that extends one of them) otherwise it will assign a LiteralString as default.
BDD & STM: HeaterControl Gallery Tutorial TRAIL: SysPhS-1.1 Annex A examples in MagicDraw/Cameo SysML vs Modelica (Wolfram SystemsModeler) Section Annex A.5: Humidifier (with Units) Slide kind hybrid diagram SysML Block Definition Diagram (BDD) SysML StateMachine Diagram
BDD & STM: Control Gallery Tutorial TRAIL: SysPhS-1.1 Annex A examples in MagicDraw/Cameo SysML vs Modelica (Wolfram SystemsModeler) Section Annex A.5: Humidifier (with Units) Slide kind hybrid diagram SysML Block Definition Diagram (BDD) SysML StateMachine Diagram
BDD & STM: UsageScenario Gallery Tutorial TRAIL: SysPhS-1.1 Annex A examples in MagicDraw/Cameo SysML vs Modelica (Wolfram SystemsModeler) Section Annex A.5: Humidifier (with Units) Slide kind hybrid diagram SysML Block Definition Diagram (BDD) SysML StateMachine Diagram
PhSVariable: [1] The stereotyped property must be typed by Real, Integer, or Boolean, or one of their specializations. Source SysPhS-1.1
PhSConstant: [1] Properties stereotyped by PhSConstant must be typed by Real, Integer, or Boolean, or one of their specializations. Source SysPhS-1.1
Figure 8-10: Model library for primitive value types Gallery Tutorial TRAIL: The SysML-1.6 Hybrid SUV sample and specification diagrams in MagicDraw/Cameo (with annotations) [UNDERGOING UPDATE to SysML1.7] Section Section: SysML-1.6 specification diagrams: 08 Blocks Slide kind UML Profile Diagram
More specific value types can define the concrete data representations that a digital computer can process, such as conventional Float, Integer, or String types. Source OMG Systems Modeling Language (SysML) 1.6
