constraint parameter

SysMLv1 Parametric Diagram of the Effectiveness-NTU Method for a finned tube cross flow air conditioner heat exchanger

Gallery

Tutorial

[TECHNICAL SLIDE TRAIL] The Webel libraries for Wolfram Mathematica: With SysMLv1 models.

Section

SECTION: Miscellaneous examples of applications of Webel libraries for Mathematica to air conditioners and heat exchangers. With SysMLv1 models.

Slide kind

SysML Parametric Diagram

Webel: SysML4Mathematica: POLICY: Handle flow sign changes via a single negative (not duplicated and "adjusted" algebra). This strategy may come at a very slight performance cost (for benefit of more robustness).

Webel: SysML4Mathematica: TIP: Representing Mathematica functions as SysML ConstraintBlocks modelled in Block Definition Diagram (BDD) overviews can really help you organise and document your Wolfram Language code on complex projects!

Webel: SysML4Mathematica: TIP: Representing Mathematica functions as SysML ConstraintBlocks modelled in SysML Parametric Diagrams and as Activities in SysML Activity Diagrams is super for analysing the dependencies between functions and their arguments!

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: Convention: A Mathematica Blank '_' (which pattern-matches any Expression) is represented by a custom SysML ValueType '_'

SysML4Mathematica: Example: Block Definition Diagram overview of ConstraintBlocks, their parameters, and ConstraintBlock usages representing lower-level Webel Psy library Psychrometrics functions and CoolProp wrapper usages

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Block Definition Diagram (BDD)

TIP: Webel: SysML/UML: On the boundary of symbols for ConstraintParameters on a ConstraintProperty (ConstraintBlock usage) symbol in Parametric Diagrams use any placement or "ordering" of ConstraintParameter symbols that works for the diagram!

SysML4Mathematica: Example 11 [B]: Total (qDotTot), sensible (qDotSen), and latent cooling (qDotLat) required for cooling air: Using Webel MPsy objects and SysML Activity Diagrams

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Activity Diagram

SysML4Mathematica: Example 11 [A] Total (qDotTot), sensible (qDotSen), and latent cooling (qDotLat) required for cooling air: Using CoolProp wrappers and SysML Parametric Diagrams

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Parametric Diagram

SysML4Mathematica: Example 10: Condition and dehumidify air by chilling and condensing some moisture: Process table

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Activity Diagram

SysML Parametric Diagram

SysML4Mathematica: Example 09: Moisture added to air: Amount (mass)

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Activity Diagram

SysML Parametric Diagram

SysML4Mathematica: Example 08a: Humidification: Drying lumber with air: required volumetric air flow rate

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Activity Diagram

SysML Parametric Diagram

SysML4Mathematica: Example 07: Sensible cooling: 'qDotSen' (-ve): energy transfer rate FROM humid air

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Activity Diagram

SysML Parametric Diagram

SysML4Mathematica: Example 06: Sensible heating: 'qSen' per mass (+ve): energy transfer TO humid air

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Activity Diagram

SysML Parametric Diagram

SysML4Mathematica: Example 05: Sensible heating: 'qSen' (+ve): energy transfer TO humid air

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Activity Diagram

SysML Parametric Diagram

SysML Parametrics: You can use custom stereotypes keywords «i» and «o» on constraint parameters to indicate their intended use (causality) as (i)nputs and (o)utputs on ConstraintBlocks

SysML4Mathematica: Psychrometrics (humid air physics) Air Conditioning scenarios in graphical Systems Modeling Language (SysMLv1.x) and Mathematica

Gallery

Tutorial

TRAIL: Air Conditioning Psychrometrics (vs CED Engineering course): Example results (only) in Mathematica and SysML using the Webel Psy package and MPsy class

Section

Slide kind

SysML Package Diagram

GOTCHA/BUG: Cameo Simulation Toolkit v2021xR1 + Mathematica: Delegation to Mathematica from ConstraintBlocks FAILS if any of the input or output parameters are larger than 99999 because they get interpreted as 1.0e5 and that trips something! Aarrrggggh!

TIP/GOTCHA: MagicDraw SysML/Cameo: In Parametric Diagrams create BindingConnectors involving part properties by selecting the constraint parameter symbol first and use the smart manipulator (otherwise you might accidentally create a regular Connector)

MagicDraw/Cameo: SysML Parametrics: To colour instance table cells to indicate broken constraints you need to create at least one Simulation Configuration Diagram, which loads a validation profile with colour coding rules.

BDD & PD: EvaporationCalculation2

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

BDD & PD: EvaporationCalculation

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

BDD & PD: HeatingCalculation

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

BDD & PD: TemperatureIncrease

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

BDD & PD: VaporGenerationPlantCalculation

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

BDD & PD: Radiation

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

Webel vs SysPhS-1.1: Annex A.5: Humidifier: In the Webel version it will be tentatively assumed we are in fact dealing with a large humidified space like an office building NOT a single "humidified room" - despite the block name HumidifiedRoom in the spec

Webel vs SysPhS-1.1: Annex A.5: Humidifier: If the WaterTank::tankVolume 50,000 is measured in litres (L) the VaporPressureCalculation::volume within the HumidifiedRoom can't possibly be 25000.0 litre (L), it has to be 25000.0 (m^3), which is NOT a "room"

BDD & PD: WaterTank

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

BDD & PD: PercentageConversion

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

Webel vs SysPhS-1.1: Annex A.5: Humidifier: It is assumed that 'HumidityBalance::volume = 25,000' and 'VaporPressureCalculation::volume = 25,000' are the same fixed SpaceVolume in cubic metres (m^3).

Webel vs SysPhS-1.1: Annex A.5: Humidifier: Dimensional analysis of VaporPressureCalculationConstraint implies each 1 mL of water is equated with EXACTLY 1 g of produced vapor.

Webel vs SysPhS-1.1: Annex A.5: Humidifier: Dimensional analysis of VaporPressureCalculationConstraint implies the output is a pressure rate, which makes no sense as consumed by RelativeHumidityCalculation and is inconsistent with the rest of the system.

BDD & PD: VaporPressureCalculation

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

Webel vs SysPhS-1.1: Annex A.5: Humidifier: Dimensional analysis of HumidityBalanceConstraint implies constraint parameter 'airExRate' in {change=((humidity-envH)(volumeairExRate))} is per-volume, assuming that 'volume' is a fixed Volume.

BDD & PD: HumidityBalance

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

Webel vs SysPhS-1.1: Annex A.5: Humidifier: Dimensional analysis of RelativeHumidityCalculationConstraint implies constraint parameter 'change' in {der(x)=((press/satVap)-change)/c2} is a unitless relative humidity, given that 'c2' is a Time.

SysPhS-1.1: Annex A.5: The BDD Figure 74 and Parametric Diagram Figure 84 for block RelativeHumidityCalculationConstraint are missing PhSConstant 'c2'. Compare with the constraint {der(x)=((press/satVap)-change)/c2} in BDD Figure 79.

BDD & PD: RelativeHumidityCalculation

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

BDD & PD: SaturationVaporPressure

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

BDD & PD: VolumeConversion

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

MagicDraw SysML/Cameo: You can customise the generic query table diagram kind to check that the context Blocks of your Parametric Diagrams only contain BindingConnectors (not Connectors)

SysPhS-1.1: Annex A.5: Humidifier: Naming not very consistent across parts, input/output Port name, value properties, or constraint parameters

Parametric diagrams: Figure 62, Figure 63

Gallery

Tutorial

TRAIL: SysPhS-1.1 Annex A examples in MagicDraw/Cameo SysML vs Modelica (Wolfram SystemsModeler)

Section

Annex A.4: Hydraulics

Slide kind

SysML Parametric Diagram

Figure 62 and Figure 63 show the parametric diagrams of the tank and the pipe, respectively.

Source

Binding connectors link constraint parameters to simulation variables and constants, indicating their values must be the same.

Source

Component parametric diagrams show properties typed by constraint blocks (constraint properties), as well as component and port simulation variables and constants.

Source

Equations in constraint blocks are applied to components using binding connectors in component parametric diagrams.

Source

Also, the fluid flow in the tank, fluidFlow, is related to the change in the fluid height level fluidHeight over time and the cross-sectional surface area of the tank, surfaceArea.

Source

The tank constraints specify that the pressure in the tank, pressure depends on the height of the fluid level in the tank, fluidHeight, as well as properties of the fluid, fluidDensity.

Source

The sum of the fluid flow rates going through the two pipe openings is zero (the fluid is assumed to be incompressible).

Source

The magnitude of fluid flow rate through the pipe fluidFlow is the same as the magnitude of flow rates opening1FluidFlow and opening2FluidFlow going through the pipe’s openings, though the values differ in sign.

Source

The fluid flow rate through the pipe, fluidFlow, is proportional to the pressure difference by the constant resistance, which depends on the geometric properties of the pipe as well as fluidic properties.

Source

The pipe constraints specify that the pressure pressureDiff across it is equal to the difference of fluid pressures opening1Pressure and opening2Pressure at each end of the pipe.

Source

In this example, constraint blocks PipeConstraint and TankConstraint define parameters and equations for pipes and tanks, respectively, as shown in Figure 61.

Source

Equations define mathematical relationships between the values of numeric variables. Equations in SysML, are constraints in constraint blocks that use properties of the blocks (parameters) as variables.

Source

BDD: Figure 61: Hydraulics model constraint blocks

Gallery

Tutorial

TRAIL: SysPhS-1.1 Annex A examples in MagicDraw/Cameo SysML vs Modelica (Wolfram SystemsModeler)

Section

Annex A.4: Hydraulics

Slide kind

SysML Block Definition Diagram (BDD)

Figure 52 through Figure 57 show parametric diagrams for the source, amplifier, high-pass fil[t]er, low-pass filter, mixer, and sink, respectively.

Source

Binding connectors link constraint parameters to simulation variables and constants, indicating their values must be the same.

Source

Component parametric diagrams show properties typed by constraint blocks (constraint properties), as well as component and port simulation variables and constants.

Source

Equations in constraint blocks are applied to components using binding connectors in component parametric diagrams.

Source

The source constraint specifies a sine wave signal with the parameter amp as its amplitude. The sink constraint displays (scopes) the output signal from the signal processor.

Source

The mixer constraint specifies the relationship between its one output and the two inputs that come from the low-pass and high-pass filters. The constraint defines the output to be the average of the inputs.

Source

The amplifier changes the signal strength by a factor gain, the low-pass filter eliminates the high-frequency components of the incoming signal, and the high-pass filter eliminates the low-frequency components of the signal.

Source

The amplifier, low-pass fil[t]er, and high-pass filter constraints show the input-output relationship of these components as the signal passes through them.

Source

In this example, a constraint block BinarySignalComponentConstraint defines the parameters for one input (ip) and one output (op), common to amplifiers, low-pass filters, and high-pass filters, as shown in Figure 51.

Source

Equations define mathematical relationships between the values of numeric variables. Equations in SysML, are constraints in constraint blocks that use properties of the blocks (parameters) as variables.

Source

Parametric diagrams: Figure 52, Figure 53, Figure 54, Figure 55, Figure 56, Figure 57

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 Parametric Diagram

The source constraint defines the voltage across it as a sine wave with the parameter amp as its amplitude.

Source

The source constraint defines the circuit’s electrical source. The ground constraint specifies that the voltage at the ground pin is zero.

Source

The constraints for the resistor, capacitor, and inductor specify the voltage/current relationship with resistance, capacitance, and inductance, respectively.

Source

The sum of the current going through the two pins adds up to zero (one is the negative of the other), because the components do not create, destroy, or store charge.

Source

The current i through the component is equal to the current going through the positive pin.

Source

These specify that the voltage v across the component is equal to the difference between the voltage at the positive and negative pins. The current i through the component is equal to the current going through the positive pin.

Source

In this example, a constraint block BinaryElectricalComponentConstraint defines parameters and constraints common to resistors, inductors, capacitors, and sources, as shown in Figure 40.

Source

Equations define mathematical relationships between the values of numeric variables. Equations in SysML, are constraints in constraint blocks that use properties of the blocks (parameters) as variables.

Source

Parametric diagrams: Figure 41, Figure 42, Figure 43, Figure 44, Figure 45

Gallery

Tutorial

TRAIL: SysPhS-1.1 Annex A examples in MagicDraw/Cameo SysML vs Modelica (Wolfram SystemsModeler)

Section

Annex A.2: Electric Circuit

Slide kind

SysML Parametric Diagram

BDD: Figure 40: Circuit constraint blocks

Gallery

Tutorial

TRAIL: SysPhS-1.1 Annex A examples in MagicDraw/Cameo SysML vs Modelica (Wolfram SystemsModeler)

Section

Annex A.2: Electric Circuit

Slide kind

SysML Block Definition Diagram (BDD)

SysML: HOWTO Use an explicit converter between different Unit systems

SysML: HOWTO Safely incorporate ConstraintBlock equations from a library into a project with local ValueType variants: CASE: SysPhS vs ISO-80000 ModelLibrary

f1 is replaced by p1.f, v1 is replaced by p1.lV, x is replaced by lengthchg, k is replaced by springcst, v is replaced by velocitydiff, f is replaced by forcethru, v2 is replaced by p2.v, and f2 is replaced by p2.f.

Source

The following Modelica code corresponds to Figure 26. It has five equations from the SysML constraint block. SysML parameter names are replaced in the Modelica equations according the bindings in Figure 14 [ERROR]:

Source

(and flow properties in SysML property paths leading to PhSVariables on conserved quantity kinds are omitted in Modelica, see Subclause 10.7.8).

Source

In a SysML block with constraint properties, the constraints correspond to the same equations in Modelica ... except the SysML parameters in those equations correspond in Modelica to the properties they are bound to in SysML

Source

Figure 26: Constraint block for physical interaction 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)

SysML Parametric Diagram

In a SysML block with constraint properties, the constraints correspond to the same equations in Modelica ... except the SysML parameters in those constraints correspond in Modelica to the properties they are bound to in SysML.

Source

Figure 25: Constraint block 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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

Trade study with multiple targets

Gallery

Tutorial

TRAIL: HOWTO simulate Dependency Injection of SysML Parametric calculations

Section

Slide kind

MagicDraw/Cameo: table

SysML Block Definition Diagram (BDD)

SysML Internal Block Diagram (IBD)

A 2nd injection target I_B

Gallery

Tutorial

TRAIL: HOWTO simulate Dependency Injection of SysML Parametric calculations

Section

Slide kind

MagicDraw/Cameo: table

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

MultiClient with two injectable service targets

Gallery

Tutorial

TRAIL: HOWTO simulate Dependency Injection of SysML Parametric calculations

Section

Slide kind

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

Trade(-off) study for Client with A1 and A2 instances (dependency injection)

Gallery

Tutorial

TRAIL: HOWTO simulate Dependency Injection of SysML Parametric calculations

Section

Slide kind

SysML Block Definition Diagram (BDD)

SysML Internal Block Diagram (IBD)

Parametric diagrams with BindingConnectors for concrete implementation blocks A1 and A2

Gallery

Tutorial

TRAIL: HOWTO simulate Dependency Injection of SysML Parametric calculations

Section

Slide kind

SysML Parametric Diagram

Variations on concrete implementations of I_A and the constraints with computations they carry

Gallery

Tutorial

TRAIL: HOWTO simulate Dependency Injection of SysML Parametric calculations

Section

Slide kind

SysML Block Definition Diagram (BDD)

The problem statement: A Client subscribes to an output value property but does not know what computes it or how

Gallery

Tutorial

TRAIL: HOWTO simulate Dependency Injection of SysML Parametric calculations

Section

Slide kind

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

TRAIL: HOWTO simulate Dependency Injection of SysML Parametric calculations

Jump to first slide

The problem statement: A Client subscribes to an output value property but does not know what computes it or how

Sections

SysML Parametrics: You can use custom stereotypes keywords «i» and «o» to indicate value properties that are intended to be used as (i)nputs and (o)utputs when bound to constraint parameters for SysML Parametrics

Calculate wavelengths from frequencies and compare EM regions in a table

Gallery

Tutorial

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Section

Slide kind

MagicDraw/Cameo: table

SysML Package Diagram

SysML Parametric Diagram

Radio frequencies (just a quick look)

Gallery

Tutorial

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Section

Slide kind

SysML Block Definition Diagram (BDD)

There are six types of quarks (and six antiquarks)

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Section

Slide kind

SysML Block Definition Diagram (BDD)

Converting mass and charge using SysML Parametrics

Gallery

Tutorial

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Section

Slide kind

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

Calculate whether a specific particle is a lepton using SysML parametrics

Gallery

Tutorial

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Section

Slide kind

SysML Parametric Diagram

Our first Parsing Analysis diagram about leptons

Gallery

Tutorial

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Section

Slide kind

SysML Block Definition Diagram (BDD)

The parametric diagram is a new SysML diagram type that describes the constraints among the properties associated with blocks. This diagram is used to integrate behavior and structure models with engineering analysis models such as performance, ...

Source

OMG Systems Modeling Language (SysML) 1.6

MagicDraw/Cameo support for the SysML Parametric Diagram and ConstraintBlocks for equations and mathematics is excellent, and it integrates with powerful maths engines such as Mathematica. It CAN be used on industrial strength real-world projects.

The SysML Parametric Diagram and the ContraintBlock technology for equations and mathematics is clever, powerful, useful, and integrates well with the other model-based engineering aspects of SysML.

10:01: [LINKS TO EXAMPLES] ConstraintBlocks: equations, parametrics, and mathematics in SysML

TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo

MagicDraw/Cameo can parse the 'text' field of some mathematical Requirements and populate the constraint (and also then the constraint parameters) of a ConstraintBlock that refines a Requirement (your mileage varies).

It assumes a constant 100hp at the drive wheels, 4000lb gross vehicle weight, and constant values for Cd and Cf.

Source

OMG Systems Modeling Language (SysML) 1.6

For illustration purposes, however, the interaction shown in Figure D.35 was generated based on the constraints and parameters of the StraightLineVehicleDynamics constraintBlock, as described in the Figure D.33.

Source

OMG Systems Modeling Language (SysML) 1.6

The constraints and parameters in Figure D.33 are detailed in Figure D.34 in Block Definition Diagram format. Note the use of valueTypes [ValueTypes] originally defined in Figure D.2.

Source

OMG Systems Modeling Language (SysML) 1.6

Figure D.34 - Defining Straight-Line Vehicle Dynamics Mathematical Constraints (Definition of Dynamics)

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: HSUV sample

Slide kind

SysML Block Definition Diagram (BDD)

The StraightLineVehicleDynamics constraint block from Figure D.32 has been expanded in Figure D.33. ConstraintNotes are used, which identify each constraint using curly brackets {}. In addition, Rationale has been used to explain the meaning ...

Source

OMG Systems Modeling Language (SysML) 1.6

Figure D.33 - Straight Line Vehicle Dynamics Mathematical Model (Parametric Diagram)

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: HSUV sample

Slide kind

SysML Parametric Diagram

Figure D.32 - Establishing Mathematical Relationships for Fuel Economy Calculations (VARIATION: labels inside)

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: HSUV sample

Slide kind

SysML Parametric Diagram

Figure D.32 - Establishing Mathematical Relationships for Fuel Economy Calculations (Parametric Diagram)

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: HSUV sample

Slide kind

SysML Parametric Diagram

TIP: UML/SysML: MagicDraw/Cameo: Consider showing the constraint parameter name and type label inside the small rectangular parameter symbol on SysML Parametric Diagrams. Dr Darren swears by it!

SysML-1.6: Figure D.31 has constraint parameter 'vc' on ':CapacityEquation', which is inconsistent w.r.t. parameters 'V1', 'V2', 'V3' and constraint {pcap=Sum(Vi)) shown in Figure D.26.

Figure D.26 - Defining Analyses for Hybrid SUV Engineering Development (Block Definition Diagram)

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: HSUV sample

Slide kind

SysML Block Definition Diagram (BDD)

Figure D.26 defines the various model elements that will be used to conduct analysis in this example. It depicts each of the constraint blocks/equations that will be used for the analysis, and key relationships between them.

Source

OMG Systems Modeling Language (SysML) 1.6

A parametric diagram is a restricted form of internal block diagram that shows only the use of constraint blocks along with the properties they constrain within a context.

Source

OMG Systems Modeling Language (SysML) 1.6

A constraint block is defined by a keyword of «constraint» applied to a block definition. Properties of this block define parameters of the constraint, with the exception of properties that hold internally nested usages of constraint blocks.

Source

OMG Systems Modeling Language (SysML) 1.6

The usage of a constraint binds the parameters of the constraint, such as F, m, and a, to specific properties of a block, such as a mass, that provide values for the parameters.

Source

OMG Systems Modeling Language (SysML) 1.6

Reusable constraint definitions may be specified on block definition diagrams and packaged into general-purpose or domain-specific model libraries. Such constraints can be arbitrarily complex mathematical or logical expressions.

Source

OMG Systems Modeling Language (SysML) 1.6

Constraint blocks define generic forms of constraints that can be used in multiple contexts. For example, a definition for Newton’s Laws may be used to specify these constraints in many different contexts.

Source

OMG Systems Modeling Language (SysML) 1.6

A constraint block includes the constraint, such as {F=m*a}, and the parameters of the constraint such as F, m, and a.

Source

OMG Systems Modeling Language (SysML) 1.6

A constraint property may be shown on a parametric diagram using a rectangle with rounded corners. This graphical shape distinguishes a constraint property from all other properties and avoids the need to show an explicit «constraint» keyword. Otherwise..

Source

OMG Systems Modeling Language (SysML) 1.6

All properties that appear, other than the constraints themselves, shall either be bound directly to a constraint parameter, or contain a property that is bound to one (through any number of levels of containment).

Source

OMG Systems Modeling Language (SysML) 1.6

A parametric diagram is defined as a restricted form of internal block diagram. A parametric diagram may contain constraint properties and their parameters, along with other properties from within the internal block context.

Source

OMG Systems Modeling Language (SysML) 1.6

A constraint property is a property of any block that is typed by a constraint block. It holds a localized usage of the constraint block. Binding connectors may be used to bind the parameters of this constraint block to other properties of the block ...

Source

OMG Systems Modeling Language (SysML) 1.6

All properties of a constraint block are constraint parameters, with the exception of constraint properties that hold internally nested usages of constraint blocks.

Source

OMG Systems Modeling Language (SysML) 1.6

Binding connectors, as defined in Clause 8 are used to bind each parameter of the constraint block to a property in the surrounding context.

Source

OMG Systems Modeling Language (SysML) 1.6

A constraint block typically defines one or more constraint parameters, which are bound to properties of other blocks in a surrounding context where the constraint is used.

Source

OMG Systems Modeling Language (SysML) 1.6

Subscribe to constraint parameter