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.
SysML: Cameo Systems Modeler: A ValueType that does not extend Real might not always simulate correctly when used to type a constraint parameter of a ConstraintBlock (in a SysML Parametric Diagram) or to type a parameter (in a SysML Activity Diagram)!
Webel: SysML4Mathematica: Cameo Systems Modeler: Can perform calculations with a custom Quantity ValueType (for Mathematica) directly, but DOES NOT perform units-aware algebra (no automatic conversions)
MagicDraw/Cameo v19SP3: UML/SysML: HOWTO Set an OpaqueExpression on a Slot that seems to be stuck on a numerical value.
MultiDomainControl 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 Parametric Diagram
NewtonCoolingWithBlocks 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)
Block Diagram Components - S0 - DISO 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 Parametric Diagram
Block Diagram Components - SO - SISO 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 Parametric Diagram
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)
Hysteresis - ChatteringControl Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 02. Discrete Behavior Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Speed Measurement - SampleAndHold Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 02. Discrete Behavior Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Switched RLC Circuit - SwitchedRLC Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 02. Discrete Behavior Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
State Event Handling - Decay1 Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 02. Discrete Behavior Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Bouncing Ball Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 02. Discrete Behavior Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Cooling Revisited - NewtonCoolingSteadyThenDynamic Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 02. Discrete Behavior Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Cooling Revisited - NewtonCoolingDynamic Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 02. Discrete Behavior Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Lotka-Volterra Systems - QuiescentModelWithModifications Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Lotka-Volterra Systems - QuiescentModelUsingStart Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Lotka-Volterra Systems - ClassicModel Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
A Mechanical Example - SecondOrderSystem Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
An Electrical Example - RLC1 Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
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.
MagicDraw/Cameo v19SP3: SysPhS: If you have a custom ValueType it MUST extend Real either directly or indirectly or it will not be seen on export to Modelica.
Getting Physical - NewtonCoolingWithTypes Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Getting Physical - NewtonCoolingWithDefaults Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Simple First Order System - FirstOrderSteady Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Simple First Order System - FirstOrderInitial Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Simple First Order System - FirstOrder Gallery Tutorial TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica] Section 01. Basic Equations Slide kind hybrid diagram plot SysML Block Definition Diagram (BDD) SysML Parametric Diagram
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
SysPhS-1.1: The correct ValueTypes should be used throughout instead of just Real for constraint parameters in 'Figure 61: Hydraulics model constraint blocks'
This value type has no unit, reflecting that the signals are not measurements of physical quantities and do not follow conservation laws. Source SysPhS-1.1
In this example, ports are typed by RealSignalOutElement and RealSignalInElement from the signal flow library ... which both have a flow property rSig typed by Real, from SysML, as shown in Figure 49. Source SysPhS-1.1
IBD: Figure 48: Internal structure of the signal processor Gallery Tutorial TRAIL: SysPhS-1.1 Annex A examples in MagicDraw/Cameo SysML vs Modelica (Wolfram SystemsModeler) Section Annex A.3: Signal Processor Slide kind SysML Internal Block Diagram (IBD)
SysPhS-1.1: The correct ValueTypes for Current, Voltage, Resistance, Capacitance, and Inductance should be used throughout instead of just Real in 'Figure 40: Circuit constraint blocks'
PhSVariable: [2] isContinuous may be true only when the stereotyped property is typed by Real or one of its specializations. Source SysPhS-1.1
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 34: Value types and units for physical quantities Gallery Tutorial TRAIL: SysPhS-1.1 specification body figures in MagicDraw/Cameo SysML vs Modelica [using Wolfram SystemsModeler] Section Slide kind SysML Package Diagram
Figure 33: Value types and units for electrical quantities [including additional] Gallery Tutorial TRAIL: SysPhS-1.1 specification body figures in MagicDraw/Cameo SysML vs Modelica [using Wolfram SystemsModeler] Section Slide kind SysML Package Diagram
MDSysML/Cameo 19SP3: SysPhSLibrary vs SysPhS-1.1: SourceAndSink.Constant: Wrong Real (UML version not SysML version) has been used for 'k', so sorts in the 'properties' compartment instead of the 'values' compartment
MDSysML/Cameo 19SP3: SysPhSLibrary vs SysPhS-1.1: Mathematical.Subtraction: Wrong Real (UML version not SysML version) has been used for 'k2', so sorts in the 'properties' compartment instead of the 'values' compartment
MDSysML/Cameo 19SP3: SysPhSLibrary vs SysPhS-1.1: Mathematical.Gain: Wrong Real (UML version not SysML version) has been used for 'gain', so sorts in the 'properties' compartment instead of the 'values' compartment
MDSysML/Cameo 19SP3: SysPhSLibrary vs SysPhS-1.1: NonLinear.Saturation: Wrong Real (UML version not SysML version) has been used for 'lower' and 'upper', so sorts in the 'properties' compartment instead of the 'values' compartment
Figure 28 shows how a value type with units is defined in SysML, from the units library in Figure 20 [ERROR], Subclause 11.2.2 [ERROR]. It has a value type Force that specializes the Real value type and has newton as unit. The newton unit has a symbol N. Source SysPhS-1.1
Figure 28: Units in SysML Gallery Tutorial TRAIL: SysPhS-1.1 specification body figures in MagicDraw/Cameo SysML vs Modelica [using Wolfram SystemsModeler] Section Slide kind SysML Block Definition Diagram (BDD)
Figure 27: Default values and initial value in SysML Gallery Tutorial TRAIL: SysPhS-1.1 specification body figures in MagicDraw/Cameo SysML vs Modelica [using Wolfram SystemsModeler] Section Slide kind hybrid diagram SysML Block Definition Diagram (BDD) SysML Parametric Diagram
Figure 22: Ports for signal flow in SysML Gallery Tutorial TRAIL: SysPhS-1.1 specification body figures in MagicDraw/Cameo SysML vs Modelica [using Wolfram SystemsModeler] Section Slide kind hybrid diagram SysML Block Definition Diagram (BDD)
MDSysML/Cameo: Unless a custom ValueType is otherwise specified through specialisation it is behaves like a Real for the purposes of data entry for value properties typed by that ValueType
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
ERROR: SysML-1.6: Figure D.2: the original spec figure appears to show Real owned by the ModelLibrary 'Automotive Value Types' without an explicit element import.
For example, the SysML "Real" ValueType expresses the mathematical concept of a real number, but does not impose any restrictions on the precision or scale of a fixed or floating-point representation that expresses this concept. Source OMG Systems Modeling Language (SysML) 1.6
