Skip to content

Metamodel ctx

Jump to bottom
Philippe DUL edited this page Mar 1, 2023 · 5 revisions

ctx

SystemAnalysis aims at defining the system context analysis modelling language. It is named ContextArchitecture due to MDSysE naming inheritance.

SystemAnalysis

Model describing functional and non-functional issues - functions & related items - associated to (created during) a modelling phase

Common Types: Namespace, NamedElement, AbstractNamedElement, ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
allocatedOperationalAnalyses OperationalAnalysis 0..*
allocatedOperationalAnalysisRealizations OperationalAnalysisRealization 0..*
allocatingLogicalArchitectures LogicalArchitecture 0..*
containedCapabilityPkg CapabilityPkg 0..1
containedSystemFunctionPkg SystemFunctionPkg 0..1
ownedMissionPkg MissionPkg 0..1
ownedOperationalAnalysisRealizations OperationalAnalysisRealization 0..*
ownedSystemComponentPkg SystemComponentPkg 0..1

Inherited fields (from ComponentArchitecture, BlockArchitecture, AbstractFunctionalArchitecture, ModellingArchitecture, Structure)

Reference Type Range Description
allocatedArchitectures BlockArchitecture 0..*
allocatingArchitectures BlockArchitecture 0..*
ownedAbstractCapabilityPkg AbstractCapabilityPkg 0..1
ownedComponentExchangeCategories ComponentExchangeCategory 0..*
ownedComponentExchangeRealizations ComponentExchangeRealization 0..*
ownedComponentExchanges ComponentExchange 0..*
ownedDataPkg DataPkg 0..1
ownedFunctionalAllocations ComponentFunctionalAllocation 0..*
ownedFunctionPkg FunctionPkg 0..1
ownedInterfacePkg InterfacePkg 0..1
ownedPropertyValuePkgs PropertyValuePkg 0..*
ownedRequirementPkgs RequirementsPkg 0..*
provisionedArchitectureAllocations ArchitectureAllocation 0..*
provisioningArchitectureAllocations ArchitectureAllocation 0..*
system Component 0..1

SystemFunction

Function at System level

Common Types: Namespace, NamedElement, AbstractNamedElement, ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
allocatingSystemComponents SystemComponent 0..*
childrenSystemFunctions SystemFunction 0..*
containedSystemFunctions SystemFunction 0..*
ownedSystemFunctionPkgs SystemFunctionPkg 0..*
realizedOperationalActivities OperationalActivity 0..*
realizingLogicalFunctions LogicalFunction 0..*

Inherited fields (from AbstractFunction, InvolvedElement, AbstractInstance, Property, Feature, TypedElement, AbstractTypedElement, MultiplicityElement, FinalizableElement, AbstractFunctionalChainContainer, CallBehaviorAction, CallAction, InvocationAction, AbstractAction, ExecutableNode, ActivityNode, AbstractEvent, AbstractType)

Attribute Type Range Description
aggregationKind AggregationKind 0..1
condition EString 0..1
final EBoolean 0..1
isAbstract EBoolean 0..1
isDerived EBoolean 0..1
isPartOfKey EBoolean 0..1
isReadOnly EBoolean 0..1
isStatic EBoolean 0..1
kind FunctionKind 0..1
maxInclusive EBoolean 0..1
minInclusive EBoolean 0..1
ordered EBoolean 0..1
unique EBoolean 0..1
visibility VisibilityKind 0..1
Reference Type Range Description
abstractType AbstractType 0..1
abstractTypedElements AbstractTypedElement 0..*
allocationBlocks AbstractFunctionalBlock 0..*
arguments InputPin 0..*
association Association 0..1
availableInStates State 0..*
behavior AbstractBehavior 0..1
componentFunctionalAllocations ComponentFunctionalAllocation 0..*
context AbstractType 0..1
inActivityPartition ActivityPartition 0..1
incoming ActivityEdge 0..*
inFunctionRealizations FunctionRealization 0..*
inInterruptibleRegion InterruptibleActivityRegion 0..1
inputs InputPin 0..*
inStructuredNode InterruptibleActivityRegion 0..1
involvingCapabilities Capability 0..*
involvingCapabilityRealizations CapabilityRealization 0..*
involvingFunctionalChains FunctionalChain 0..*
involvingInvolvements Involvement 0..*
linkedStateMachine StateMachine 0..1
localPostcondition AbstractConstraint 0..1
localPrecondition AbstractConstraint 0..1
outFunctionRealizations FunctionRealization 0..*
outgoing ActivityEdge 0..*
outputs OutputPin 0..*
ownedDefaultValue DataValue 0..1
ownedFunctionalChains FunctionalChain 0..*
ownedFunctionalExchanges FunctionalExchange 0..*
ownedFunctionRealizations FunctionRealization 0..*
ownedFunctions AbstractFunction 0..*
ownedHandlers ExceptionHandler 0..*
ownedMaxCard NumericValue 0..1
ownedMaxLength NumericValue 0..1
ownedMaxValue DataValue 0..1
ownedMinCard NumericValue 0..1
ownedMinLength NumericValue 0..1
ownedMinValue DataValue 0..1
ownedNullValue DataValue 0..1
representingInstanceRoles InstanceRole 0..*
results OutputPin 0..*
subFunctions AbstractFunction 0..*
type Type 0..1

SystemFunctionPkg

a container for System Functions

Common Types: Namespace, NamedElement, AbstractNamedElement, ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
ownedSystemFunctionPkgs SystemFunctionPkg 0..*
ownedSystemFunctions SystemFunction 0..*

Inherited fields (from FunctionPkg, Structure)

Reference Type Range Description
ownedCategories ExchangeCategory 0..*
ownedPropertyValuePkgs PropertyValuePkg 0..*

SystemCommunicationHook

an endpoint of a relationship between the System and external actors

Common Types: NamedElement, AbstractNamedElement, ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
communication SystemCommunication 0..1
type Component 0..1

SystemCommunication

a communication relationship between the System (seen as a black box) and some external entities (typically Actors)

Common Types: ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
ends SystemCommunicationHook 2..2

Inherited fields (from Relationship, AbstractRelationship)

Reference Type Range Description
realizedFlow AbstractInformationFlow 0..1

CapabilityInvolvement

Link between a system component and a system capability that means the system component is involved in the capability

Common Types: ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
capability Capability 1..1
systemComponent SystemComponent 1..1

Inherited fields (from Involvement, Relationship, AbstractRelationship)

Reference Type Range Description
involved InvolvedElement 1..1
involver InvolverElement 1..1
realizedFlow AbstractInformationFlow 0..1

MissionInvolvement

Link between a system component and a system mission that means the system component is involved in the mission

Common Types: ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
mission Mission 1..1
systemComponent SystemComponent 1..1

Inherited fields (from Involvement, Relationship, AbstractRelationship)

Reference Type Range Description
involved InvolvedElement 1..1
involver InvolverElement 1..1
realizedFlow AbstractInformationFlow 0..1

Mission

Operational goal. It must be satisfied by usage of System capabilities.

A mission can be compared to a UML UseCase : A use case is the specification of a set of actions performed by a system, which yields an observable result that is, typically, of value for one or more actors or other stakeholders of the system. [source: UML superstructure v2.2]

Common Types: NamedElement, AbstractNamedElement, ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
exploitedCapabilities Capability 0..*
involvedSystemComponents SystemComponent 0..*
ownedCapabilityExploitations CapabilityExploitation 0..*
ownedMissionInvolvements MissionInvolvement 0..*

Inherited fields (from InvolverElement)

Reference Type Range Description
involvedInvolvements Involvement 0..*

MissionPkg

Package that contains system missions

Common Types: Namespace, NamedElement, AbstractNamedElement, ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
ownedMissionPkgs MissionPkg 0..*
ownedMissions Mission 0..*

Inherited fields (from Structure)

Reference Type Range Description
ownedPropertyValuePkgs PropertyValuePkg 0..*

Capability

Ability of an organisation, system or process to provide a service that supports the achievement of high-level operational goals

Common Types: Namespace, NamedElement, AbstractNamedElement, ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
involvedSystemComponents SystemComponent 0..*
ownedCapabilityInvolvements CapabilityInvolvement 0..*
purposeMissions Mission 0..*
purposes CapabilityExploitation 0..*
realizedOperationalCapabilities OperationalCapability 0..*
realizingCapabilityRealizations CapabilityRealization 0..*

Inherited fields (from AbstractCapability, Structure, InvolverElement, AbstractFunctionalChainContainer)

Reference Type Range Description
abstractCapabilityExtensionPoints AbstractCapabilityExtensionPoint 0..*
availableInStates State 0..*
extendedAbstractCapabilities AbstractCapability 0..*
extending AbstractCapabilityExtend 0..*
extendingAbstractCapabilities AbstractCapability 0..*
extends AbstractCapabilityExtend 0..*
includedAbstractCapabilities AbstractCapability 0..*
includes AbstractCapabilityInclude 0..*
including AbstractCapabilityInclude 0..*
includingAbstractCapabilities AbstractCapability 0..*
incomingCapabilityAllocation AbstractCapabilityRealization 0..*
involvedAbstractFunctions AbstractFunction 0..*
involvedFunctionalChains FunctionalChain 0..*
involvedInvolvements Involvement 0..*
outgoingCapabilityAllocation AbstractCapabilityRealization 0..*
ownedAbstractCapabilityRealizations AbstractCapabilityRealization 0..*
ownedAbstractFunctionAbstractCapabilityInvolvements AbstractFunctionAbstractCapabilityInvolvement 0..*
ownedFunctionalChainAbstractCapabilityInvolvements FunctionalChainAbstractCapabilityInvolvement 0..*
ownedFunctionalChains FunctionalChain 0..*
ownedPropertyValuePkgs PropertyValuePkg 0..*
ownedScenarios Scenario 0..*
postCondition Constraint 0..1
preCondition Constraint 0..1
sub AbstractCapability 0..*
subGeneralizations AbstractCapabilityGeneralization 0..*
super AbstractCapability 0..*
superGeneralizations AbstractCapabilityGeneralization 0..*

CapabilityExploitation

a relationship between a mission and a capability that it exploits

Common Types: ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
capability Capability 1..1
mission Mission 1..1

Inherited fields (from Relationship, AbstractRelationship)

Reference Type Range Description
realizedFlow AbstractInformationFlow 0..1

CapabilityPkg

Package that contains system capabilities

Common Types: Namespace, NamedElement, AbstractNamedElement, ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
ownedCapabilities Capability 0..*
ownedCapabilityPkgs CapabilityPkg 0..*

Inherited fields (from AbstractCapabilityPkg, Structure)

Reference Type Range Description
ownedPropertyValuePkgs PropertyValuePkg 0..*

OperationalAnalysisRealization

Realization link betwen a system analysis and an operational analysis

Realization is a specialized abstraction relationship between two sets of model elements, one representing a specification (the supplier) and the other represents an implementation of the latter (the client). Realization can be used to model stepwise refinement, optimizations, transformations, templates, model synthesis, framework composition, etc. [source:UML superstructure v2.2]

Common Types: ModelElement, CapellaElement, TraceableElement, PublishableElement

Inherited fields (from ArchitectureAllocation, Allocation, Relationship, AbstractRelationship, AbstractTrace)

Reference Type Range Description
allocatedArchitecture BlockArchitecture 1..1
allocatingArchitecture BlockArchitecture 1..1
realizedFlow AbstractInformationFlow 0..1
sourceElement TraceableElement 1..1
targetElement TraceableElement 1..1

SystemComponentPkg

a package containing System Components

Common Types: Namespace, NamedElement, AbstractNamedElement, ModelElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Reference Type Range Description
ownedSystemComponentPkgs SystemComponentPkg 0..*
ownedSystemComponents SystemComponent 0..*

Inherited fields (from ComponentPkg, Structure)

Reference Type Range Description
ownedComponentExchangeCategories ComponentExchangeCategory 0..*
ownedComponentExchangeRealizations ComponentExchangeRealization 0..*
ownedComponentExchanges ComponentExchange 0..*
ownedFunctionalAllocations ComponentFunctionalAllocation 0..*
ownedParts Part 0..*
ownedPhysicalLinkCategories PhysicalLinkCategory 0..*
ownedPhysicalLinks PhysicalLink 0..*
ownedPropertyValuePkgs PropertyValuePkg 0..*
ownedStateMachines StateMachine 0..*

SystemComponent

An entity, with discrete structure within the system, that interacts with other Components of the system, thereby contributing at its lowest level to the system properties and characteristics. [source: Sys EM , ISO/IEC CD 15288]

Common Types: AbstractNamedElement, ModelElement, Namespace, NamedElement, CapellaElement, TraceableElement, PublishableElement

Specific fields

Attribute Type Range Description
dataComponent EBoolean 0..1
Reference Type Range Description
allocatedSystemFunctions SystemFunction 0..*
capabilityInvolvements CapabilityInvolvement 0..*
dataType Classifier 0..*
involvingCapabilities Capability 0..*
involvingMissions Mission 0..*
missionInvolvements MissionInvolvement 0..*
ownedSystemComponentPkgs SystemComponentPkg 0..*
ownedSystemComponents SystemComponent 0..*
realizedEntities Entity 0..*
realizingLogicalComponents LogicalComponent 0..*

Inherited fields (from Component, Block, ModellingBlock, Type, AbstractType, AbstractFunctionalBlock, Classifier, GeneralizableElement, InterfaceAllocator, CommunicationLinkExchanger, InvolvedElement)

Attribute Type Range Description
abstract EBoolean 0..1
actor EBoolean 1..1
human EBoolean 1..1
Reference Type Range Description
abstractTypedElements AbstractTypedElement 0..*
access CommunicationLink 0..*
acquire CommunicationLink 0..*
allocatedFunctions AbstractFunction 0..*
allocatedInterfaces Interface 0..*
call CommunicationLink 0..*
consume CommunicationLink 0..*
containedComponentPorts ComponentPort 0..*
containedParts Part 0..*
containedPhysicalPorts PhysicalPort 0..*
containedProperties Property 0..*
execute CommunicationLink 0..*
functionalAllocations ComponentFunctionalAllocation 0..*
implementedInterfaceLinks InterfaceImplementation 0..*
implementedInterfaces Interface 0..*
involvingInvolvements Involvement 0..*
ownedAbstractCapabilityPkg AbstractCapabilityPkg 0..1
ownedCommunicationLinks CommunicationLink 0..*
ownedComponentExchangeCategories ComponentExchangeCategory 0..*
ownedComponentExchanges ComponentExchange 0..*
ownedComponentRealizations ComponentRealization 0..*
ownedDataPkg DataPkg 0..1
ownedFeatures Feature 0..*
ownedFunctionalAllocation ComponentFunctionalAllocation 0..*
ownedGeneralizations Generalization 0..*
ownedInterfaceAllocations InterfaceAllocation 0..*
ownedInterfaceImplementations InterfaceImplementation 0..*
ownedInterfacePkg InterfacePkg 0..1
ownedInterfaceUses InterfaceUse 0..*
ownedPhysicalLinkCategories PhysicalLinkCategory 0..*
ownedPhysicalLinks PhysicalLink 0..*
ownedPhysicalPath PhysicalPath 0..*
ownedStateMachines StateMachine 0..*
produce CommunicationLink 0..*
providedInterfaces Interface 0..*
provisionedInterfaceAllocations InterfaceAllocation 0..*
realizedComponents Component 0..*
realizingComponents Component 0..*
receive CommunicationLink 0..*
representingParts Part 0..*
requiredInterfaces Interface 0..*
send CommunicationLink 0..*
sub GeneralizableElement 0..*
subGeneralizations Generalization 0..*
super GeneralizableElement 0..*
superGeneralizations Generalization 0..*
transmit CommunicationLink 0..*
typedElements TypedElement 0..*
usedInterfaceLinks InterfaceUse 0..*
usedInterfaces Interface 0..*
write CommunicationLink 0..*

Capella

Clone this wiki locally