Object Constraint Language

Sample problems and example diagrams in graphical language specifications are NOT necessarily indications of how one should model on a real-world project! They often just serve to demonstrate a particular aspect of the specified language.

MBSE: Languages and tools: NoMagic/Dassault vs SysML

Gallery

Tutorial

MINI TRAIL: Some recommended tools for getting started with Model-Based Systems Engineering with SysML and simulation with Modelica and/or Simulink

Section

MINI TRAIL: Some recommended tools for getting started with Model-Based Systems Engineering with SysML and simulation with Modelica and/or Simulink

Jump to first slide

MBSE: Languages and tools: NoMagic/Dassault vs SysML

Sections

Optical images, image sensors, image data

Gallery

Tutorial

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

Section

Slide kind

SysML Package Diagram

From hadron to meson Package Diagrams and focus BDDs

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)

SysML Package Diagram

The minimum on mesons

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)

Spin-1/2 particles so far

Gallery

Tutorial

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

Section

Slide kind

SysML Block Definition Diagram (BDD)

Neutrons and protons are spin-1/2 fermions and baryons

Gallery

Tutorial

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

Section

Slide kind

SysML Block Definition Diagram (BDD)

Leptons as fermions

Gallery

Tutorial

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

Section

Slide kind

SysML Block Definition Diagram (BDD)

This diagram expresses only the nominal states. Exception states, like “acceleratorFailure,” are not expressed on this diagram.

Source

OMG Systems Modeling Language (SysML) 1.6

Also note that this state machine refines the requirement “PowerSourceManagment,” which will be elaborated in the requirements sub clause of this sample problem.

Source

OMG Systems Modeling Language (SysML) 1.6

Note that this state machine was developed in conjunction with the DriveBlackBox interaction in Figure D.7.

Source

OMG Systems Modeling Language (SysML) 1.6

Figure D.8 depicts the operational states of the HSUV block, via a State Machine named “HSUVOperationalStates.”

Source

OMG Systems Modeling Language (SysML) 1.6

The operation oclIsInState(s) results in true if the object is in the state s. Possible states for the operation oclIsInState(s) are all states of the statemachine that defines the classifier's behavior. For nested states the statenames can be combined...

Source

Object Constraint Language Version 2.4

Object Constraint Language Version 2.4

The conditions for each alternative in the alt controlSpeed sub clause are expressed in OCL, and relate to the states of the HybridSUV block, as shown in Figure D.8.

Source

OMG Systems Modeling Language (SysML) 1.6

Object Constraint Language (OCL) zone

Keywords

Keywords

National eHealth Transition Authority (NEHTA)

Webel IT Australia has held Unified Modeling Language (UML^®) and Object Constraint Language (OCL) training and consultancy for the former National eHealth Transition Authority (NEHTA) - now the Australian Digital Health Agency (ADHA) - in Brisbane, Australia.

Subscribe to Object Constraint Language