Property::redefinedProperty

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

Chained wrapped ADT pseudo Lists: Example: EX` package structured data ADTs

Gallery

Tutorial

Section

SECTION: The Webel Abstract Data Type (ADT) stateless pseudo-classes with inheritance (with SysMLv1 models)

Slide kind

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

Webel «adt:pseudo» elements in the SysMLv1 ADT model (2)

Gallery

Tutorial

Section

SECTION: The Webel Abstract Data Type (ADT) stateless pseudo-classes with inheritance (with SysMLv1 models)

Webel «adt:pseudo» elements in the SysMLv1 ADT model (1)

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)

Creating new ADTs that extend other classes using a definer function (and adt$addSuper)

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)

Extending ADT sub-classes represented as SysML Blocks with redefined wrapped ‘$$’

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)

Association as SysML: CASE: Webel @ArgMap «pseudo» block (slightly less "fiddly" as an Internal Block Diagram)

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

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

Section

SECTION: The Webel '$opt$' and '$arg$' help holder conventions for options and arguments in the Wolfram Language

Association as SysML: CASE: Webel @RuleMap and @ArgsMap «pseudo» blocks. Very "fiddly" to represent in a SysML Block Definition Diagram!

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

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

Section

SECTION: The Webel '$opt$' and '$arg$' help holder conventions for options and arguments in the Wolfram Language

Focus BDD for the LMV358LIST dual opamp

Gallery

Tutorial

TRAIL: A SysMLv1.6+ model of the Arduino Mega2560Rev3 microcontroller board

Section

1: A Webel recipe for modelling microcontrollers in SysML

Slide kind

TRAIL: A SysMLv1.6+ model of the Arduino Mega2560Rev3 microcontroller board

Focus BDD for the CAY16-102J4LF resistor array

Gallery

Tutorial

Section

1: A Webel recipe for modelling microcontrollers in SysML

Slide kind

TRAIL: A SysMLv1.6+ model of the Arduino Mega2560Rev3 microcontroller board

Focus BDD with embedded IBD and electrical schematic: for Group_AREF with a single capacitor

Gallery

Tutorial

Section

1: A Webel recipe for modelling microcontrollers in SysML

Slide kind

electrical circuit diagram

electrical schematic

TRAIL: A SysMLv1.6+ model of the Arduino Mega2560Rev3 microcontroller board

Package overview diagram for a basic two pin Capacitor

Gallery

Tutorial

Section

1: A Webel recipe for modelling microcontrollers in SysML

Slide kind

TRAIL: A SysMLv1.6+ model of the Arduino Mega2560Rev3 microcontroller board

Female 0.1" pin header strips - redefinition "ladder" view

Gallery

Tutorial

Section

1: A Webel recipe for modelling microcontrollers in SysML

Slide kind

TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica]

SysPhS vs Modelica: If you redeclare a PhSConstant (Modelica parameter) as a PhSVariable (Modelica variable) Modelica still treats it as a 'parameter'. You can end up with an unbalanced system with one equation too many!

SMD_WithBacklash

Gallery

Tutorial

Section

07. Components [MOST]

Slide kind

TRAIL: SysML+SysPhS vs Modelica By Example in MagicDraw/Cameo SysML [tested with the Wolfram SystemsModeler for Modelica]

Lotka-Volterra Systems - QuiescentModelWithModifications

Gallery

Tutorial

Section

01. Basic Equations

Slide kind

plot

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

Cameo Simulation Toolkit v19SP3: The "hover" feature for showing values of objects may show duplicates if there are redefined value properties.

GOTCHA: MagicDraw SysML/Cameo 19SP3: Export to Modelica: The name of a redefining Property must be exactly the same as the Property it redefines or it will not export properly!

A.5 Humidifier: Value property defaults table

Gallery

Tutorial

Section

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

Slide kind

MagicDraw/Cameo: table

Webel vs SysPhS-1.1: Annex A.5: Assume the conversion value property name 'SaturationVaporPressure::hPa2Pa' stands for 'hectopascal to pascal'.

Webel vs SysPhS-1.1: Annex A.5: Assume the conversion value property names 'WaterTank::litpSec2mLitpHr' and 'EvaporationCalculation2::litPSec2mLitPHour' stand for 'litres per second to millilitres per hour'

A.5 Humidifier: Scenario block overview BDDs: 96 to 102

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: EvaporationCalculation2

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: EvaporationCalculation

Gallery

Tutorial

Section

Slide kind

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

BDD & IBD: Evaporation

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: HeatingCalculation

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: TemperatureIncrease

Gallery

Tutorial

Section

Slide kind

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

BDD & IBD: Heating

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: VaporGenerationPlantCalculation

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: Radiation

Gallery

Tutorial

Section

Slide kind

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

BDD & IBD: VaporGenerationPlant

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: WaterTank

Gallery

Tutorial

Section

Slide kind

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

BDD & IBD: Humidifier

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: PercentageConversion

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: VaporPressureCalculation

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: HumidityBalance

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: RelativeHumidityCalculation

Gallery

Tutorial

Section

Slide kind

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

BDD & IBD: RelativeHumidity

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: SaturationVaporPressure

Gallery

Tutorial

Section

Slide kind

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

BDD & PD: VolumeConversion

Gallery

Tutorial

Section

Slide kind

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

BDD & IBD: HumidifiedRoom

Gallery

Tutorial

Section

Slide kind

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

BDD & IBD: HumidifierSystem

Gallery

Tutorial

Section

Slide kind

TRAIL: SysPhS-1.1 specification body figures in MagicDraw/Cameo SysML vs Modelica [using Wolfram SystemsModeler]

SysPhS-1.1: Annex A.5: p.89: Figure 75: Humidifier blocks, ports, & component properties. Typo in name of value property 'litpSec2mLiptHr:Real' on WaterTank should be 'litpSec2mLitpHr:Real' (breaks export of redefining Property with correct name).

SysPhS-1.1: Annex A.5: Typo in Figure 98 redefining value property 'C2 : Time = 1.0{redefines C2,unit = second}', should be lower case 'c2' (compare with BDD Figure 79)

MagicDraw/Cameo: HOWTO: Create a redefining value property with a default value using drag-n-drop

MagicDraw/Cameo: On dragging a Property onto another Property set it as redefining, the multiplicity of the redefining Property is set to [0..*] if the redefined (dragged) Property only has <UNSPECIFED> Multiplicity

WISHLIST: MagicDraw/Cameo: Ability to set project-wide option to NOT set the multiplicity of a redefining Property to [0..*] on using drag-n-drop when the redefined (dragged) Property has <UNSPECIFED> Multiplicity

SysML: When using Property::defaultValue and Property::redefinedValue to carry a "shadow hierarchy" of redefinitions across an entire system hierarchy, considering using a user-defined keyword such as «configuration» or «scenario» on each redefining Block

SysPhS-1.1: GOTCHA: The term "initial values" is sometimes just used to refer to the start values for a simulation run in Modelica or Simulink. It does NOT always mean the additional context-specific values mechanism of SysML beyond Property::defaultValue

SysML: Using redefined Property and Property::defaultValue to create deep hierarchical value configurations of "initial values" configurations for SysPhS simulation is notoriously fiddly and requires experience and patience. Better tool support is needed!

SysPhS-1.1: Annex A.5: 'Figure 101: Heating Scenario Initial Values': HeatingCalculation1: no such value to redefine 'C1 : Time = 1.0{redefines C1,unit = second}', should be 'xIntg : Real' (compare with BDD Figure 77 and Parametric diagram Figure 88)

SysPhS-1.1: Annex A.5: redefinition 'humidifierSystem {redefines humidifierSystem}' incorrect in Figure 96: Humidifier System Scenario Initial Values

An alternative for specifying initial values of part properties in the ConnectedTanks is to specialize it and redefine the part properties with default values for various configurations ...

Source

SysPhS-1.1

PhSConstant: [3] Properties stereotyped by PhSConstant must not redefine more than one other property, which must have the same name and type and must be stereotyped by PhSVariable or PhSConstant.

Source

SysPhS-1.1

Figure 30: Elements for signal flow

Gallery

Tutorial

Section

Slide kind

TRAIL: SysPhS-1.1 specification body figures in MagicDraw/Cameo SysML vs Modelica [using Wolfram SystemsModeler]

Figure 18, 19, 20: Block, Part, Generalization, Redefinition.

Gallery

Tutorial

Section

Slide kind

TRAIL: A SysML Pattern for Digital Twinning

12: Overview of 'pipe' package

Gallery

Tutorial

Section

Slide kind

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

In the Webel recipe for UML/SysML, the pattern of progressive redefinition of end Properties of Associations between progressively more specialised pairs of Blocks at the same level of abstraction is informally called a "redefinition ladder"

Gregorian primary and secondary assembly variations within the tube

Gallery

Tutorial

Section

Slide kind

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

Comparison of reflecting telescopes so far

Gallery

Tutorial

Section

Slide kind

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

The classic Cassegrain telescope has a parabolic primary mirror and a hyperbolic secondary mirror

Gallery

Tutorial

Section

Slide kind

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

The Newtonian telescope has flat secondary mirror and a paraboloid or spherical primary mirror

Gallery

Tutorial

Section

Slide kind

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

The Gregorian telescope employs a concave secondary mirror that reflects the image back through a hole in the primary mirror.

Gallery

Tutorial

Section

Slide kind

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

A curved primary mirror is the reflector telescope's basic optical element

Gallery

Tutorial

Section

Slide kind

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

Most (but not all) telescope designs produce an inverted image at the focal plane

Gallery

Tutorial

Section

Slide kind

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

An eyepiece is a type of lens that is attached to a variety of optical devices such as telescopes and microscopes.

Gallery

Tutorial

Section

Slide kind

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

The objective is the optical element that gathers light from the object being observed and focuses the light rays

Gallery

Tutorial

Section

Slide kind

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

Optical images, image sensors, image data

Gallery

Tutorial

Section

Slide kind

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

Radio frequencies (just a quick look)

Gallery

Tutorial

Section

Slide kind

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

Optical radiation, visible, UV, and infrared

Gallery

Tutorial

Section

Slide kind

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

Focus BDD for block RefractingTelescope

Gallery

Tutorial

Section

Slide kind

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

The first known practical telescopes were refracting telescopes

Gallery

Tutorial

Section

Slide kind

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

Our first Parsing Analysis diagram about telescopes

Gallery

Tutorial

Section

Slide kind

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

The minimum on mesons

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

Slide kind

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

Mass and charge of electron and positron

Gallery

Tutorial

Section

Slide kind

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

Modelling antiparticles, antileptons, and antimatter

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

Slide kind

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

Leptons and interactions

Gallery

Tutorial

Section

Slide kind

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

Spin for elementary particles and composite particles

Gallery

Tutorial

Section

Slide kind

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

Mass of charged leptons and decay (Part 2)

Gallery

Tutorial

Section

Slide kind

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

Mass of charged leptons and decay (Part 1)

Gallery

Tutorial

Section

Slide kind

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

Our first Parsing Analysis diagram about leptons

Gallery

Tutorial

Section

Slide kind

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

Table 8-1 - Graphical nodes defined in Block Definition diagrams - ValueType - MagicDraw SysML 19SP3

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

08:02: The SysMLv1 ValueType, Unit, and using values

Slide kind

Unified Modeling Language 2.5.1

Prefer not rename Properties when redefining unless indicating a clear change in role.

If a Property has a specified default, and the Property redefines another Property with a specified default, then the redefining Property’s default is used in place of the more general default from the redefined Property.

Source

A derived Property may redefine one which is not derived. An implementation shall ensure that the constraints implied by the derivation are maintained if the Property is updated.

Source

Unified Modeling Language 2.5.1

Property is indirectly a kind of RedefinableElement, so Properties may be redefined. The name and visibility of a Property are not required to match those of any Property it redefines.

Source

Unified Modeling Language 2.5.1

MagicDraw/Cameo: You can set a Property as redefined/subsetted by another in a Class Diagram or BDD by dragging its label from an Association end onto the label of another Property on an Association end then choosing 'Set As Redefined/Subsetted Property'

SysMLv1 Redefined Properties: Home entertainment system

Gallery

Tutorial

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

Section

08:01: The building Blocks of SysMLv1

Slide kind

ProxyPort::1_not_fullport Proxy ports shall not also be full ports. This applies even if some of the stereotypes are on subsetted or redefined ports.

Source

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

WaterProcessingPlant - FlowProperty and ItemFlow example with Ports - type staging

Gallery

Tutorial

Section

09:05: FlowProperty and Ports with flows

Slide kind

TRAIL: The SysML-1.6 Hybrid SUV sample and specification diagrams in MagicDraw/Cameo (with annotations) [UNDERGOING UPDATE to SysML1.7]

SysML-1.6: does not leverage redefinition of 'sp:Surface' on 'Figure 9-7: Usage example of proxy and full ports' (earlier versions of the spec did). And does not show direction of flows.

Figure 8-23: Changes in classification over time due to property-specific types

Gallery

Tutorial

Section

Section: SysML-1.6 specification diagrams: 08 Blocks

Slide kind

TRAIL: The SysML-1.6 Hybrid SUV sample and specification diagrams in MagicDraw/Cameo (with annotations) [UNDERGOING UPDATE to SysML1.7]

Figure 8-22: Property-specific types in facility example

Gallery

Tutorial

Section

Section: SysML-1.6 specification diagrams: 08 Blocks

Slide kind

TRAIL: The SysML-1.6 Hybrid SUV sample and specification diagrams in MagicDraw/Cameo (with annotations) [UNDERGOING UPDATE to SysML1.7]

SysML-1.6: Figure 8-17: Multiplicity of rollBarBR should be [0] not [*] in 'Vehicle Model 2'

SysML-1.6: Figure 8-17: EndPathMultiplicity is applied to 'rollBarBR' instead of 'lugBoltBR' of 'Vehicle Model 2'

SysML-1.6: Figure 8-17: Multiplicity of 'lugBoltBR' of 'Vehicle Model 1' should be [6] not [6..8]

SysML-1.6: Figure 8-17: Multiplicity of 'rollBarBR' in 'Vehicle Model 1' should be [1] not [*] and it has no redefined type for the 'light roll bar'

SysML-1.6: Figure 8-17: Multiplicity of 'cylinderBR' in 'Vehicle Model 1' should be [4] not [*]

Figure 8-17: Vehicle specialization

Gallery

Tutorial

Section

Section: SysML-1.6 specification diagrams: 08 Blocks

Slide kind

The specialization on the lower right restricts the number of cylinders to between six and eight, rules out any roll bar, and limits lug bolts per wheel to between 6 and 7, by giving the end path upper and lower values.

Source

The specialization on the lower left restricts the number of cylinders to four, requires a light roll bar, and a total of 24 lug bolts over all the wheels.

Source

The general block on the top does not restrict the bound properties, except the total number of lug bolts is required to be between 24 and 32, rather than 24 and 40 as the associations in Figure 8-15 allow.

Source