Generalization

[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)

Webel ADT hierarchy views as tree, graph, and SysML

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)

HelpF`: OptionsPattern groups as SysML shared between functions

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 Doc` package and the HelpF, HelpO`& HelpM` help registry packages

SysML: OptionsPattern[] “Generalizations” using Join:" Example: HelpM` helper classes new functions

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

Slide kind

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

Basic SysMLv1 example: The HelpM` package MTools classes as Blocks

Gallery

Tutorial

Section

SECTION: Modelling the Wolfram Language in SysMLv1 and related Webel coding conventions

Slide kind

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

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

Section

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

An Enumeration that specializes another may define new EnumerationLiterals that are not defined in the generalizing Enumeration; in such a case the set of applicable literals comprises inherited literals plus locally-defined ones.

Source

Unified Modeling Language 2.5.1

As a specialization of Classifier, Enumerations can participate in generalization relationships.

Source

Unified Modeling Language 2.5.1

SysMLv1.7/fUMLv1.4: Cameo Simulation Toolkit v2024x: Using an extending Enumeration literal as a parameter argument value runs but a WARN is issued.

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

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: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

«pa:term»: Dealing with synonyms, alternative names, and identifiers

Gallery

Tutorial

Section

Slide kind

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

Webel Parsing Analysis: While Associations may be collected as elicited members of a Snippet this can quickly lead to clutter in the /member list display. Often just collecting an end Property as member is sufficient.

Webel Parsing Analysis: While Generalizations may be collected as elicited members of a Snippet this can quickly lead to clutter in the /member list display.

MultiDomainControl

Gallery

Tutorial

Section

Slide kind

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

NewtonCoolingWithBlocks

Gallery

Tutorial

Section

Slide kind

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

Block Diagram Components - S0 - DISO

Gallery

Tutorial

Section

Slide kind

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

Block Diagram Components - SO - SISO

Gallery

Tutorial

Section

Slide kind

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

ThirdSpeciesWolf

Gallery

Tutorial

Section

Slide kind

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

FoxRabbitWithInit

Gallery

Tutorial

Section

Slide kind

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

Interaction - Predation

Gallery

Tutorial

Section

Slide kind

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

SinkOrSource - Reproduction - Starvation

Gallery

Tutorial

Section

Slide kind

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

Lotka-Volterra Equations Revisited - RegionalPopulation

Gallery

Tutorial

Section

Slide kind

TRAIL: SysML: Simple model of an air conditioner with a refrigerant cycle and StateMachine driven by Activities in MagicDraw/Cameo

MagicDraw/Cameo v19SP3+SysPhS-1.1: On export to Modelica sometimes repeats parts of an equation into an extending model.

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.

Overview of two SysPhS-style physical interaction Port types

Gallery

Tutorial

Section

Slide kind

TRAIL: SysML: Simple model of an air conditioner with a refrigerant cycle and StateMachine driven by Activities in MagicDraw/Cameo

Overview of flowing quantities and Port types with flows

Gallery

Tutorial

Section

Slide kind

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

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!

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

BDD: Figure 39: Electrical blocks, ports & component properties

Gallery

Tutorial

Section

Annex A.2: Electric Circuit

Slide kind

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

Figure 24: Connectors in SysML

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: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Webel: SysMLv2: WISHLIST: Manage "cascading" Satisfy claim vs Block inheritance hierarchy with redefined properties

Webel Parsing Analysis for SysML - simplified profile

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

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

Many new types of telescopes were invented including radio telescopes and infrared telescopes

Gallery

Tutorial

Section

Slide kind

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

Updated focus BDD for Lepton including charge

Gallery

Tutorial

Section

Slide kind

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

Inherited Feature indicator

Gallery

Tutorial

Section

01:02: UML 101 for model-based systems engineering with SysML

Slide kind

UML Class Diagram

Generalization and VisibilityKind example

Gallery

Tutorial

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

Section

01:02: UML 101 for model-based systems engineering with SysML

Slide kind

UML Class Diagram

UML2 simplified key "relationship" metaclasses hierachy - ADVANCED REFERENCE ONLY

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

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

Section

01:02: UML 101 for model-based systems engineering with SysML

Slide kind

UML Profile Diagram

QuantityKind and ValueType example - frequency vs clock frequency vs sound frequency

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

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

Section

08:03: The SysML QuantityKind and Unit

Slide kind

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

QuantityKind and ValueType example - length vs radius vs radius of tire

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

08:03: The SysML QuantityKind and Unit

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 SysML ValueType, Unit, and using values

Slide kind

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

Redefined Properties: Home entertainment system

Gallery

Tutorial

Section

Slide kind

Unified Modeling Language 2.5.1

Members that are inherited by a Classifier may be shown on a diagram of that Classifier by prepending a caret ’^’ symbol to the textual representation that would be shown if the member were not inherited.

Source

Indicating inherited features: Home entertainment system

Gallery

Tutorial

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

Section

Slide kind

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

Webel: SysML: Always consider including an abstract (sometimes intermediate) base Block in your domain modelling Generalization hierarchy.

More block Generalization examples: Home entertainment system

Gallery

Tutorial

Section

Slide kind

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

When domain modelling with SysML, Generalization, inheritance, and even multiple inheritance are not "evil" and can be used relatively freely. We are not doing code-oriented Decorator patterns - an implementation choice - we are doing domain modelling!

Block, Generalization, Association: Home entertainment system

Gallery

Tutorial

Section

Slide kind

It captures the definition of blocks in terms of properties and operations, and relationships such as a system hierarchy or a system classification tree

Source

The Block Definition Diagram in SysML defines features of blocks and relationships between blocks such as associations, generalizations, and dependencies.

Source

A Conform relationship is a generalization between a view and a viewpoint. The view conforms to the specified rules and conventions detailed in the viewpoint. When this is done, the view is said to conform to the viewpoint.

Source

FullPort::2_not_bound_to_fullport Binding connectors shall not link full ports (either directly or indirectly through other binding connectors) to other composite properties of the block owning the full port (or that blocks generalizations or specializati

Source

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

Figure 16-1: Abstract Syntax for Requirements Stereotypes

Gallery

Tutorial

Section

Section: SysML-1.6 specification diagrams: 16 Requirements

Slide kind

UML Profile Diagram

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