fUML zone

Icon class

icon_class_computed

fas fa-project-diagram

icon_class

fas fa-project-diagram

Keywords

Institution

Object Management Group™ (OMG™)

Semantics of a Foundational Subset for Executable UML Models (fUML^®)

A subset of Unified Modeling Language (UML^®) with semantics for execution and an extended event and notification model.

Notes

[CAVEAT] fUML-1.4 EXCLUDES Port

[CAVEAT] fUML-1.4 EXCLUDES Property::defaultValue

[CAVEAT] fUML-1.4 EXCLUDES Property::subsettedProperty

[CAVEAT] fUML-1.4 EXCLUDES Property::redefinedProperty

[CAVEAT] fUML only covers a subset of Unified Modeling Language with semantics for execution and an extended event and notification model

[CAVEAT] fUML-1.4 EXCLUDES OpaqueExpression and OpaqueExpression

[CAVEAT] fUML-1.4 EXCLUDES BroadcastSignalAction

[CAVEAT] fUML-1.4 EXCLUDES SendObjectAction

[CAVEAT] fUML-1.4 EXCLUDES TimeEvent

[CAVEAT] fUML-1.4 EXCLUDES ChangeEvent

[CAVEAT] fUML-1.4 EXCLUDES AnyReceiveEvent

[CAVEAT] fUML-1.4 EXCLUDES Behavior::redefinedBehavior

[CAVEAT] fUML-1.4 EXCLUDES Behavior::precondition and Behavior::postcondition

[CAVEAT] fUML-1.4 EXCLUDES Expression

[CAVEAT] fUML-1.4 EXCLUDES StringExpression

[CAVEAT] fUML-1.4 EXCLUDES templates: TemplateSignature, TemplateParameter, TemplateableElement, ParameterableElement

[CAVEAT] fUML-1.4 EXCLUDES Constraint

[CAVEAT] fUML-1.4 EXCLUDES Interval, TimeConstraint, DurationConstraint

[CAVEAT] fUML-1.4 EXCLUDES Classifier::redefinedClassifier

[CAVEAT] fUML-1.4 EXCLUDES Classifier::powerTypeExtent

[CAVEAT] fUML-1.4 EXCLUDES Classifier::collaborationUse

[CAVEAT] fUML-1.4 EXCLUDES Classifier::representation

[CAVEAT] fUML-1.4 EXCLUDES Classifier::useCase

[CAVEAT] fUML-1.4 EXCLUDES Classifier::substitution

[CAVEAT] fUML-1.4 EXCLUDES BehavioralFeature::raisedException

[CAVEAT] fUML-1.4 EXCLUDES BehavioralFeature::ownedParameterSet

[CAVEAT] fUML-1.4 EXCLUDES Parameter::defaultValue

[CAVEAT] fUML-1.4 EXCLUDES Parameter::parameterSet

Relevant snippets (from other sources)

Visit also

Magic Cyber-Systems Engineer® (Cameo Systems Modeler®) zone

Magic Model Analyst® (Cameo Simulation Toolkit®) zone

Visit also (backlinks)

ISSUE: Cameo Simulation Toolkit: v2024x: Although does not respect inheritance of attributes of Signals on SendSignalAction or un-marshalling AcceptEventAction DOES require them on 'effect' Behaviors.

ISSUE: Cameo Simulation Toolkit: v2024x: Does not show argument Pins corresponding to inherited attributes of Signal on SendSignalAction or an un-marshalling AcceptEventAction. No known UML2.5.1 or fUML-1.4 constraint; no obvious tool display option.

fUML1.4: Cameo Simulation Toolkit: LIMITATION: CreateObjectAction is not allowed to instantiate a UML DataType or a SysMLValueType, only a Class as the CreateObjectAction::classifier! WORKAROUND: Use a ValueSpecificationAction instead with an instance.

Q: What types of simulation, execution, and calculation are available for SysML with MagicDraw/Cameo?

MBSE: Languages and tools: NoMagic/Dassault vs SysML

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

Webel's Best Practice policy notes for MBSE with SysML1.x (and UML) and the MagicDraw/Cameo tools

fUML-1.4 EXCLUDES SendObjectAction

Semantics of a Foundational Subset for Executable UML Models 1.4

fUML only covers a subset of Unified Modeling Language with semantics for execution and an extended event and notification model

Cameo Simulation Toolkit DOES NOT directly use the fUML-RI reference implementation (it uses a vendor-specific adaptation of it)!

Cameo Simulation Toolkit implements some aspects of UML and SysML that fUML does not include

Cameo Simulation Toolkit 19SP3 DOES NOT implement everything fUML-1.3 includes

External links

https://www.omg.org/spec/FUML/About-FUML/

Foundational UML (fUML) Reference Implementation (at Model Driven GitHub)

Flags