InstanceSpecification

SysMLv1: Cameo Simulation Toolkit: GOTCHA: In SysMLv1 it is "officially" recommended that an analysis context Block has a reference (only) to the subject of the analysis (but then you need to assign an instance as default value to make it run IN THE TOOL)

Webel: SysMLv1: TIP: Consider using high level "communication" Associations between Blocks in BDDs and corresponding object diagram BDDs WITHOUT any Ports, with Links typed by the Associations. Object diagrams are great for exploring Slot values, too.

Cameo Simulation Toolkit: You can assign the results of simulations calculations on instances to the default values of properties of the Classes/Blocks that type the instance.

UML/SysML: MagicDraw/Cameo: 19SP3: Instance Table Diagram sometimes does not display the values for nested value properties

UML/SysML: MagicDraw/Cameo: Instance Table Diagrams are one of the most powerful features of MagicDraw/Cameo! Learn to use them to progressively test, debug, and evolve your models as you work!

Containment tree view of members of a «snippet» ElementGroup in MagicDraw/Cameo

Gallery

Tutorial

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Section

Slide kind

Focus PAD for the Snippet ''an English-language pangram — a sentence that contains all of the letters of the English alphabet'

Gallery

Tutorial

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Section

Slide kind

SysML Block Definition Diagram (BDD)

Focus PAD for the Snippet 'The quick brown fox jumps over the lazy dog'

Gallery

Tutorial

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Section

Slide kind

SysML Block Definition Diagram (BDD)

AmbientConvectionCapacitance (combined)

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

SysML Block Definition Diagram (BDD)

SysML Internal Block Diagram (IBD)

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

BDD: Figure 60: Hydraulics blocks, ports, & component properties

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)

BDD: Figure 50: Signal processing system blocks, ports, & component properties

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 Block Definition Diagram (BDD)

BDD: Figure 49: Total system (source to sink) blocks, ports, & component properties

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 Block Definition Diagram (BDD)

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

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)

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

SysML Block Definition Diagram (BDD)

SysML Parametric Diagram

SysMLv2 will have a completely new way of dealing with instances.

CAVEAT: The UML-2.5.1 InstanceSpecification does not support Ports!

UML/SysML: During modelling it can really help to create little instance (object) diagrams as you go! This can also help communicate with non-SysML stakeholders.

21: Example instances for 'asset'

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

TRAIL: A SysML Pattern for Digital Twinning

Section

Slide kind

SysML Package Diagram

UML Object diagram

13: PipeDigitalTwin instances

Gallery

Tutorial

TRAIL: A SysML Pattern for Digital Twinning

Section

Slide kind

SysML Block Definition Diagram (BDD)

UML Object diagram

05: Twin instances

Gallery

Tutorial

TRAIL: A SysML Pattern for Digital Twinning

Section

Slide kind

SysML Block Definition Diagram (BDD)

UML Object diagram

MagicDraw/Cameo: You can import excel spreadsheets with data into instance tables easily!

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

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)

Updated focus BDD for Lepton including charge

Gallery

Tutorial

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

Section

Slide kind

SysML Block Definition Diagram (BDD)

InstanceSpecifications with links and Slots

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 SysMLv1

Slide kind

UML Class Diagram

The only valid use of a Unit instance is to be referenced by the unit property of a ValueType stereotype.

Source

OMG Systems Modeling Language (SysML) 1.6

Two such InstanceSpecifications represent the same "measurement unit" if and only if their definitionURIs have values and their values are equal.

Source

OMG Systems Modeling Language (SysML) 1.6

The definitionURI of an InstanceSpecification classified by a kind of Unit identifies the particular "measurement unit" [VIM3-1.9] that the InstanceSpecification represents.

Source

OMG Systems Modeling Language (SysML) 1.6

The only valid use of a QuantityKind instance is to be referenced by the quantityKind property of a ValueType or Unit.

Source

OMG Systems Modeling Language (SysML) 1.6

Two such InstanceSpecifications represent the same "kind-of-quantity" if and only if their definitionURIs have values and their values are equal.

Source

OMG Systems Modeling Language (SysML) 1.6

The definitionURI of an InstanceSpecification classified by a kind of QuantityKind identifies the particular "kind-of-quantity" [VIM3-1.2] that the InstanceSpecification represents.

Source

OMG Systems Modeling Language (SysML) 1.6

Visual nesting of InstanceSpecification symbols has no meaning in the underlying model, only assignment to a Slot does!

Instances with part-carrying Slots

Gallery

Tutorial

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

Section

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

Slide kind

SysML Block Definition Diagram (BDD)

InstanceSpecification::specification : ValueSpecification [0..1] ... A specification of how to compute, derive, or construct the instance.

Source

Unified Modeling Language 2.5.1

InstanceSpecification::slot : Slot [0..*] ... It is not necessary to model a Slot for every StructuralFeature, in which case the InstanceSpecification is a partial description.

Source

Unified Modeling Language 2.5.1

InstanceSpecification::slot : Slot [0..*] ... A Slot giving the value or values of a StructuralFeature of the instance. An InstanceSpecification can have one Slot per StructuralFeature of its Classifiers, including inherited features. ...

Source

Unified Modeling Language 2.5.1

InstanceSpecification::classifer : Classifier [0..*] ... The Classifier or Classifiers of the represented instance. If multiple Classifiers are specified, the instance is classified by all of them.

Source

Unified Modeling Language 2.5.1

An InstanceSpecification can act as a DeploymentTarget in a Deployment relationship, in the case that it represents an instance of a Node. It can also act as a DeployedArtifact, if it represents an instance of an Artifact.

Source

Unified Modeling Language 2.5.1

An InstanceSpecification is a model element that represents an instance in a modeled system.

Source

Unified Modeling Language 2.5.1

MagicDraw/Cameo: When you create an InstanceSpecification in a diagram it will a Select Classifier dialog. It is often faster to Cancel that and then just drag a Classifier onto the instance symbol from the diagram or model tree.

Instances with value-carrying Slots

Gallery

Tutorial

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

Section

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

Slide kind

SysML Block Definition Diagram (BDD)

MagicDraw/Cameo: The display option 'Show Value Type Units' does not seem to work on the Slots of an InstanceSpecification in a BDD

SysMLv1 "shared" Property challenge as objects: two Triangles share one LineSegment edge.

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

SysML Block Definition Diagram (BDD)

UML Object diagram

SysMLv1.x: An ElementGroup used for basic Parsing Analysis model element elicitation: Example 2

Gallery

Tutorial

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

Section

18:01: Logical grouping with the ElementGroup extension of Comment in SysMLv1.x

Slide kind

MagicDraw/Cameo: table

SysML Block Definition Diagram (BDD)

"Trust the Port or Pin Type!" - Often the name of the Type of an anonymous Port or Pin is completely sufficient to indicate its role, unless a clear indication of its direction or unique role is required.

Figure 8-4: Abstract syntax extensions for SysML 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

Figure D.41 - Special Case of Internal Block Diagram Showing Reference to Specific Properties (serial numbers)

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 Internal Block Diagram (IBD)

Rate::rate - In particular, the denominator for units used in the rate property shall be time units.

Source

OMG Systems Modeling Language (SysML) 1.6

The «rate» stereotype has a rate property of type InstanceSpecification. The values of this property shall be instances of classifiers stereotyped by «valueType» or «distributionDefinition» ...

Source

OMG Systems Modeling Language (SysML) 1.6

SysML: Webel: "Trust the Type!" - Often the name of the Type of an anonymous Property or instance-level element is completely sufficient to indicate its role - unless multiple Properties of the same Type have different roles within the same owner context!

Figure D.2 - Defining ValueTypes and Units to be used in the Sample Problem

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

MagicDraw/Cameo can't show tagged values in {braces} below owner name on instance symbols

Using an InstanceValue in a ValueSpecificationAction is similar to creating an instance using a CreateObjectAction, except that values may be given for the StructuralFeatures of the instance using slots on the InstanceSpecification of the InstanceValue.

Source

Unified Modeling Language 2.5.1

SysML: Naming: Always use either anonymous or first letter lower case for Property, ObjectNode and InstanceSpecification names; no exceptions (unless using names to "quote text")! Valid: 'lowerCamelCase' OR 'tla' vs TLA acronym OR 'uCC' vs UpperCamelCase

fUML-1.4 EXCLUDES InstanceSpecification::specification

Subscribe to InstanceSpecification

Site looks mangled? Get help here

We are Australia's Systems Modeling Language (SysML^®) and Model-Based Systems Engineering (MBSE) specialists!

Catch our SysML/MBSE course Early Bird Deal 30% off all courses fully booked by 31st May 2025!

Home of the Webel Parsing Analysis recipe for Model-Based Systems Engineering with SysML^®