Skip to content

Metamodel la

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

la

LogicalAnalysis aims at defining the system logical analysis modelling language (close to the OMG Computation Independent Model (CIM)).

LogicalArchitecture

Model describing logical architecture part (i.e. Independent from technological choices) - behavioural components & related items - associated to (created during) a modelling phase

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

Specific fields

Reference Type Range Description
allocatedSystemAnalyses SystemAnalysis 0..*
allocatedSystemAnalysisRealizations SystemAnalysisRealization 0..*
allocatingPhysicalArchitectures PhysicalArchitecture 0..*
containedCapabilityRealizationPkg CapabilityRealizationPkg 0..1
containedLogicalFunctionPkg LogicalFunctionPkg 0..1
ownedLogicalComponentPkg LogicalComponentPkg 0..1
ownedSystemAnalysisRealizations SystemAnalysisRealization 0..*

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

LogicalFunction

Function at Logical level

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

Specific fields

Reference Type Range Description
allocatingLogicalComponents LogicalComponent 0..*
childrenLogicalFunctions LogicalFunction 0..*
containedLogicalFunctions LogicalFunction 0..*
ownedLogicalFunctionPkgs LogicalFunctionPkg 0..*
realizedSystemFunctions SystemFunction 0..*
realizingPhysicalFunctions PhysicalFunction 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

LogicalFunctionPkg

Package that contains logical function elements

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

Specific fields

Reference Type Range Description
ownedLogicalFunctionPkgs LogicalFunctionPkg 0..*
ownedLogicalFunctions LogicalFunction 0..*

Inherited fields (from FunctionPkg, Structure)

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

LogicalComponent

Logical Components are the artifacts enabling decomposition of the system as a "white box", independently from any technological solutions. Logical components are identified according to logical abstractions (i.e. functional grouping, logical interfaces)

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

Specific fields

Reference Type Range Description
allocatedLogicalFunctions LogicalFunction 0..*
ownedLogicalArchitectures LogicalArchitecture 0..*
ownedLogicalComponentPkgs LogicalComponentPkg 0..*
ownedLogicalComponents LogicalComponent 0..*
realizedSystemComponents SystemComponent 0..*
realizingPhysicalComponents PhysicalComponent 0..*
subLogicalComponents LogicalComponent 0..*

Inherited fields (from Component, Block, ModellingBlock, Type, AbstractType, AbstractFunctionalBlock, Classifier, GeneralizableElement, InterfaceAllocator, CommunicationLinkExchanger, CapabilityRealizationInvolvedElement, 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..*
capabilityRealizationInvolvements CapabilityRealizationInvolvement 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..*
involvingCapabilityRealizations CapabilityRealization 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..*

LogicalComponentPkg

a package containing logical components

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

Specific fields

Reference Type Range Description
ownedLogicalComponentPkgs LogicalComponentPkg 0..*
ownedLogicalComponents LogicalComponent 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..*

CapabilityRealization

a realization of a capability of the above abstraction level

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

Specific fields

Reference Type Range Description
involvedComponents CapabilityRealizationInvolvedElement 0..*
ownedCapabilityRealizationInvolvements CapabilityRealizationInvolvement 0..*
realizedCapabilities Capability 0..*
realizedCapabilityRealizations CapabilityRealization 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..*

CapabilityRealizationPkg

a container for storing CapabilityRealization elements

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

Specific fields

Reference Type Range Description
ownedCapabilityRealizationPkgs CapabilityRealizationPkg 0..*
ownedCapabilityRealizations CapabilityRealization 0..*

Inherited fields (from AbstractCapabilityPkg, Structure)

Reference Type Range Description
ownedPropertyValuePkgs PropertyValuePkg 0..*

SystemAnalysisRealization

a realisation link between a system analysis and a logical architecture

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

ContextInterfaceRealization

an allocation link between an interface at the logical level, and the system-level interface that it realizes

Common Types: ModelElement, CapellaElement, TraceableElement, PublishableElement

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

Reference Type Range Description
allocatedInterface Interface 1..1
allocatingInterfaceAllocator InterfaceAllocator 1..1
realizedFlow AbstractInformationFlow 0..1
sourceElement TraceableElement 1..1
targetElement TraceableElement 1..1

Clone this wiki locally