Logical Specifications Layer
L1 – Node Types
| Element Name | Element Kind | Definition |
|---|---|---|
| ApplicableMoE | Type | An ApplicableMeasureCategory where the categories are MeasureOfEffectivenessCategories and the things being measured are Capabilities. |
| Capability | Type | A DispositionalProperty that is the set of all things that are capable of achieving a particular outcome. |
| DomainInArchitecture | Type | A ModemWholePartType that asserts a LogicalDomain is part of a LogicalArchitecture. |
| LogicalArchitecture | Type | A NodeParent whose parts are either Nodes, KnownResources or LogicalDomains. |
| LogicalDomain | Type | A NodeParent that is a collection of Nodes that share some common feature. |
| LogicalIndividualType | Type | A ModemIndividualType that is specified independently of any implemenation mechanism (i.e. without specifying the ResourceType). |
| LogicalProcess | Type | A ProcessType used to specify functionality without being specific about the type of Resource that provides the functionality. |
| Measure | Type | A Property whose members are Individuals that all share a common, measurable property, or whose properties lie within a MeasureRange. Examples: 2kg, 4 weeks, 2km. |
| MeasureCategory | Type | A MeasureType whose members are recognised types of MeasureInstance. Examples: Mass (included in IDEAS), Length (included in IDEAS), Velocity, Hardness. |
| MeasureInContext | Type | A ModemIndividualType that brings together EnvironmentalFactors with a Measure in order to qualify the measure Examples: 40mph in desert, 1km range in cloudy conditions |
| MeasurePoint | Type | A Measure whose members are Individuals that all share a common property that can be measured. Examples: 2kg, 4 weeks, 2km. |
| MeasureRange | Type | A Measure that is characterised by two MeasurePoints that define its upper and lower bounds. |
| Node | Type | A NodeState that is used in context of a NodeParent. |
| NodeParent | Type | A LogicalIndividualType that is any type of thing that has subTypes that are Nodes. |
| NodeRole | Type | A RoleInLogicalProcess which is the extent of a Node's participation in an OperationalActivity. Note: An OperationalActivity can only be conducted by one Node. |
| NodeUsage | Type | An AgentWholeAndPartType where a NodeParent has a Node as a part. |
| OperationalActivity | Type | A ProcessType that is a type of logical process, specified independently of how the process is carried out. Note: an OperationalActivity may only be carried out by a logical Node. |
| SecurityDomain | Type | A LogicalDomain whose parts all share a common SecurityPolicy. |
| SecurityPolicy | Type | A Constraint that is concerned with security. |
| capabilityForNode | TupleType | A bodyTypeSuperSubType that asserts that a Node exhibits or is required to exhibit a Capability. |
| environmentalContext | TupleType | A couple that relates a MeasureInContext to an EnvironmentalFactor in order to qualify the measure. |
| logicalSecurityPolicy | TupleType | A constraintOnType that sets the security policy for LogicalIndividualType. |
| lowerBoundOfMeasureRange | TupleType | A superSubtype that asserts the MeasureInstance that is the lower bound (i.e. minimum measure) of a MeasureRange. |
| measureTypeInstance | TupleType | A typeInstance that asserts a Measure is an instance of a MeasureCategory. Examples: 2kg is a mass, 40m/s is a velocity. |
| qualifiedMeasure | TupleType | A superSubtype that relates a MeasureInContext to the measure it qualifies. |
| requiredMeasureOfPerformance | TupleType | A measureOfType that asserts a Node is required to achieve a level of performance specified by a Measure. |
| upperBoundOfMeasureRange | TupleType | A superSubtype that asserts the MeasureInstance that is the upper bound (i.e. maximum measure) of a MeasureRange. |
>Table ‑: L1 Element List
L2 – Logical Scenario
| Element Name | Element Kind | Definition |
|---|---|---|
| ApplicableMoE | Type | An ApplicableMeasureCategory where the categories are MeasureOfEffectivenessCategories and the things being measured are Capabilities. |
| Capability | Type | A DispositionalProperty that is the set of all things that are capable of achieving a particular outcome. |
| CBRNEnvironment | Type | An EnvironmentalFactor that defines the type of chemical, biological, radiological and nuclear environment in which an Enterprise may operate. |
| ConsumerRoleInService | Type | An AgentParticipationType that relates a ServiceSpecification to its role in supporting an OperationalActivity. |
| DomainInArchitecture | Type | A ModemWholePartType that asserts a LogicalDomain is part of a LogicalArchitecture. |
| EnvironmentalFactor | Type | A GeopoliticalLocationStateType that defines some aspect of the environment in which an Enterprise may operate. |
| FlowBundle | Type | A TypicalWholePart where the whole is a FlowGroup and the part is a LogicalFlow. |
| FlowGroup | Type | A LogicalFlow that is composed of other LogicalFlows. |
| FromNode | Type | An RoleInLogicalProcess where a LogicalFlow flows from a Node. |
| GeoName | Type | A StringName that identifies a GeopoliticalLocation Examples: "France", "London, England", "Magnetic North Pole", "-90+000+2800CRSWGS_84/". |
| InformationFlow | Type | A LogicalFlow where the FlowedElement is information. |
| IntegerRepresentation | Type | A NumericSignType and Representation in which a string of digits (or bits) represents an integer. |
| ISO6709Representation | Type | GeoName expressed using the ISO6709:2008 standard notation. Examples: "-90+000+2800CRSWGS_84/", "+48.8577+002.295/". |
| KnownResource | Type | A ResourceType that plays a part in a LogicalArchitecture. Note: An OV-2 is meant to show logical interactions between nodes. However, sometimes it is known that a connection runs to/from a particular type of resource. |
| LightConditions | Type | An EnvironmentmentalFactor that defines the types of light (e.g. broad daylight, dusk, moonlit, etc.) in which an Enterprise may operate. |
| LogicalArchitecture | Type | A NodeParent whose parts are either Nodes, KnownResources or LogicalDomains. |
| LogicalFlow | Type | An ExchangeType that flows between OperationalActivities and/or Nodes. |
| LogicalIndividualType | Type | A ModemIndividualType that is specified independently of any implemenation mechanism (i.e. without specifying the ResourceType). |
| LogicalProcess | Type | A ProcessType used to specify functionality without being specific about the type of Resource that provides the functionality. |
| LogicalServiceConsumerRole | Type | A ParticipationExtentType which is the extent of an OperationalActivity's participation in as the consumer of a ServiceSpecification. |
| Measure | Type | A Property whose members are Individuals that all share a common, measurable property, or whose properties lie within a MeasureRange. Examples: 2kg, 4 weeks, 2km. |
| MeasureCategory | Type | A MeasureType whose members are recognised types of MeasureInstance. Examples: Mass (included in IDEAS), Length (included in IDEAS), Velocity, Hardness. |
| MeasureInContext | Type | A ModemIndividualType that brings together EnvironmentalFactors with a Measure in order to qualify the measure. Examples: 40mph in desert, 1km range in cloudy conditions |
| MeasurePoint | Type | A Measure whose members are Individuals that all share a common property that can be measured. Examples: 2kg, 4 weeks, 2km. |
| MeasureRange | Type | A Measure that is characterised by two MeasurePoints that define its upper and lower bounds. |
| Needline | Type | A FlowGroup that is a bundle of LogicalFlows between Nodes. |
| Node | Type | A NodeState that is used in context of a NodeParent. |
| NodeEnvironment | Type | A TypicalWholePart that indicates an of EnvironmentalFactor of the environment in which the Node will operate. |
| NodeParent | Type | A LogicalIndividualType that is any type of thing that has subTypes that are Nodes. |
| NodeRole | Type | A RoleInLogicalProcess which is the extent of a Node's participation in an OperationalActivity. Note: An OperationalActivity can only be conducted by one Node. |
| NodeUsage | Type | An AgentWholeAndPartType where a NodeParent has a Node as a part. |
| OperationalActivity | Type | A ProcessType that is a type of logical process, specified independently of how the process is carried out. Note: an OperationalActivity may only be carried out by a logical Node. |
| ProblemDomain | Type | A LogicalDomain that contains (has parts that are) those Nodes which may be realised by physical resources specified in SV-1. There may be more than one alternative solution for a given ProblemDomain specified as a set of SV suites. There may be only one ProblemDomain in a LogicalArchitecture. |
| ResourceFlow | Type | A LogicalFlow where the flowed element is a ResourceType. |
| ResourceType | Type | A PhysicalArchitectureIndividualType that is a type of IndividualResource. This is not used as a component of a ResourceType, but may use components. [ABSTRACT]. |
| SecurityDomain | Type | A LogicalDomain whose parts all share a common SecurityPolicy. |
| SecurityPolicy | Type | A Constraint that is concerned with security. |
| ServiceConsumerNodeRole | Type | A ProcessWholeRoleExtentType that relates an OperationalActivity to the role of a ServiceSpecification that supports it. |
| ServiceLevel | Type | A ServiceDeliveryType based on a ServiceSpecification that sets a level of service using of Measures that correspond to ServiceAttributes. |
| ServiceSpecification | Type | A ServiceDeliveryType that is the specification of a ServiceDelivery Note: was called "Service" in M3. |
| StringName | Type | A Name and a StringRepresentations that is a name expressed as text. |
| StringRepresentation | Type | A Representation whose all members are all strings. |
| TerrainType | Type | An EnvironmentalFactor that defines the type of ground conditions that an Enterprise may operate in. Note: TerrainType is a subtype of GeopoliticalLocationStateType as the terrain may change over time (e.g. muddy, frozen ground, deep snow, etc.). |
| ToNode | Type | A RoleInLogicalProcess where a LogicalFlow flows to a Node. |
| TrustLine | Type | A LogicalFlow that asserts that the trustingParty (either a Node or a KnownResource) trusts the trustedParty to a given level (indicated by the level attribute). Note: No unit of measure is associated with the level - security architects must define their own scale of trust levels for a given architecture or set of architectures. |
| WeatherConditions | Type | An EnvironmentalFactor that defines the type of weather in which an Enterprise may operate. |
| GeopoliticalLocation | IndividualType | A Location and a GeoPoliticalArea. |
| Location | IndividualType | A location anywhere on the earth. The means of describing the location is a string (locationDescription). The information contained in that string is governed by the taxonomy reference - e.g. if the Location is a “GPS reference”, the string will contain the GPS coordinates. Note: was called "ActualLocation" in M3 v1.2 |
| PointLocation | IndividualType | A Location expressed as a point on a ReferenceEllipsoidOrGeoid. |
| capabilityForNode | TupleType | A bodyTypeSuperSubType that asserts that a Node exhibits or is required to exhibit a Capability. |
| environmentalContext | TupleType | A couple that relates a MeasureInContext to an EnvironmentalFactor in order to qualify the measure. |
| levelOfService | TupleType | A modemIndividualTypeSpecialisation where a ServiceLevel is sets levels of service based on a ServiceSpecification. |
| locationNamedBy | TupleType | A namedBy that identifies a Location. |
| logicalSecurityPolicy | TupleType | A constraintOnType that sets the security policy for LogicalIndividualType. |
| lowerBoundOfMeasureRange | TupleType | A superSubtype that asserts the MeasureInstance that is the lower bound (i.e. minimum measure) of a MeasureRange. |
| measureTypeInstance | TupleType | A typeInstance that asserts a Measure is an instance of a MeasureCategory. Examples: 2kg is a mass, 40m/s is a velocity. |
| nodeLocation | TupleType | A couple used to assert the Location at/in which a Node resides. Note: given that OV-2 is a logical model, more often than not, the environment rather than the actual location should be specified - i.e. use NodeEnvironment. |
| qualifiedMeasure | TupleType | A superSubtype that relates a MeasureInContext to the measure it qualifies. |
| requiredMeasureOfPerformance | TupleType | A measureOfType that asserts a Node is required to achieve a level of performance specified by a Measure. |
| trustLevel | TupleType | A representedBy that uses an IntegerRepresentation to specify an arbitrary level of trust between the Nodes connected by a Trustline. |
| typeOfKnownResource | TupleType | A modemIndividualTypeSpecialisation where a KnownResource is a subtype of a ResourceType. |
| upperBoundOfMeasureRange | TupleType | A superSubtype that asserts the MeasureInstance that is the upper bound (i.e. maximum measure) of a MeasureRange. |
Table ‑: L2 Element List
L3 – Node Interactions
| Element Name | Element Kind | Definition |
|---|---|---|
| ArtefactType | Type | A NonHumanResourceType that is a type of Artefact. Examples are "car", "radio", "diesel", etc. Note: It has no human components. |
| CapabilityConfiguration | Type | A composite structure representing the physical and human resources (and their interactions) that when brought together provide one or more Capabilities. A CapabilityConfiguration is a set of Resources configured to provide a capability, and should be guided by [doctrine] which may take the form of Standard or OperationalConstraint stereotypes. |
| ConsumerActivity | Type | An IndividualExchangeRoleType where an OperationalActivity is the consumer of a LogicalFlow. |
| DataModelTypeRepresentation | Type | A DataModelComponent that can be used to represent the type of something. |
| EnergyFlow | Type | A LogicalFlow where energy is transferred from one Node to another. |
| FlowBundle | Type | A TypicalWholePart where the whole is a FlowGroup and the part is a LogicalFlow. |
| FlowedElement | Type | A ModemIndividualType that can be flowed along a LogicalFlow. |
| FlowedElementRole | Type | An ExchangedItemRoleType where a FlowedElement is exchanged along a LogicalFlow. |
| FlowGroup | Type | A LogicalFlow that is composed of other LogicalFlows. |
| FrequencyRange | Type | A MeasureRange that specifies maximum and minimum frequencies, measured in Hertz as real numbers. |
| FromNode | Type | An RoleInLogicalProcess where a LogicalFlow flows from a Node. |
| HumanResourceType | Type | HumanResource. A PersonType, PostType, OrganisationType or OrganisationRoleType. [ABSTRACT] Note: was called "OrganisationalResource" in M3 v1.2. Note: was called "OrganisationalResourceType" in M3. |
| InformationElement | Type | An InformationInstanceType that flows between OperationalActivities and Nodes. The structure of an InformationElement may be defined using a LogicalDataModel. |
| InformationElementWholePart | Type | A TypicalWholePart where one InformationElement is a part of another. |
| InformationFlow | Type | A LogicalFlow where the FlowedElement is information. |
| InformationRole | Type | A FlowedElementRole where information is flowed. |
| LogicalExport | Type | A SendType where a LogicalFlow exports from a Node or OperationalActivity. Note: this is the equivalent of OpActivityOutputPin in M3. |
| LogicalFlow | Type | An ExchangeType that flows between OperationalActivities and/or Nodes. |
| LogicalFlowExport | Type | A SendInExchangeType where a LogicalFlow exports from a Node or OperationalActivity. |
| LogicalFlowImport | Type | A ReceiveInExchangeType where a LogicalFlow imports to a Node or OperationalActivity. |
| LogicalImport | Type | A ReceiveType where a LogicalFlow imports to a Node or OperationalActivity Note: this is the equivalent of OpActivityInputPin in M3. |
| Measure | Type | A Property whose members are Individuals that all share a common, measurable property, or whose properties lie within a MeasureRange. Examples: 2kg, 4 weeks, 2km. |
| MeasureRange | Type | A Measure that is characterised by two MeasurePoints that define its upper and lower bounds. |
| NaturalResourceType | Type | A NonHumanResourceType that is a type of NaturalResource. |
| Node | Type | A NodeState that is used in context of a NodeParent. |
| NonHumanResourceType | Type | A ResourceType that is a type of NonHumanResource (i.e. an Artefact or NaturalResource) [ABSTRACT]. |
| OperationalActivity | Type | A ProcessType that is a type of logical process, specified independently of how the process is carried out. Note: an OperationalActivity may only be carried out by a logical Node. |
| OrganisationRoleType | Type | A type of role a human resource may carry out in an organisation. This is not used as a component of a ResourceType. |
| OrganisationType | Type | A ResponsibleHumanResourceType and a ConstructedHumanResourceType that is a type of Organisation. This is not used as a component of a ResourceType. |
| PersonType | Type | A ResponsibleHumanResourceType that is a type of person. |
| PostType | Type | A ConstructedHumanResourceType and ResponsibleHumanResourceType specifying a type of Post. This is not used as a component of a ResourceType. A type of point of contact or responsible person. Note that this is the type of post - e.g. Desk Officer, Commander, etc. |
| ProducerActivity | Type | An IndividualExchangeRoleType where the involved ProcessType is an OperationalActivity that is the producer of a LogicalFlow. |
| Property | Type | An IndividualType whose members all exhibit a common trait or feature. Often the Individuals are states having a property (the state of being 18 degrees centigrade), where this property can be a CategoricalProperty (qv.) or a DispositionalProperty (qv.). Examples: Ability to fly at Mach 2, 10kg. |
| ResourceFlow | Type | A LogicalFlow where the flowed element is a ResourceType. |
| ResourceFlowRole | Type | A FlowedElementRole where a ResourceType is flowed. |
| ResourceType | Type | A PhysicalArchitectureIndividualType that is a type of IndividualResource. This is not used as a component of a ResourceType, but may use components. [ABSTRACT]. |
| RoleInFlow | Type | An ExchangedItemRoleInExchangeType where the role in exchange is a LogicalFlow. |
| RoleInInformationFlow | Type | A RoleInFlow where Information is being flowed. |
| RoleInResourceFlow | Type | A RoleInFlow where a ResourceType is being flowed. |
| RoleOfFlowedElement | Type | An IndividualRoleAsExchangedItemType where a FlowedElement is exchanged. |
| RoleOfInformation | Type | A RoleOfFlowedElement where the flowed element is Information. |
| RoleOfResourceInFlow | Type | A RoleOfFlowedElement where the flowed element is ResourceType |
| infoElementRepresentation | TupleType | A representedByDataType that asserts an InformationElement is represented by a DataModelTypeRepresentation. |
| logicalFlowMeasure | TupleType | A logicalFlowProperty and a measureOfType - i.e. an assignment of a Measure to a LogicalFlow. |
| logicalFlowProperty | TupleType | A propertyOfType where the Property applies to a LogicalFlow. |
Table ‑: L3 Element List
L4 – Logical Activities
| Element Name | Element Kind | Definition |
|---|---|---|
| ActivityComposition | Type | A TypicalWholePart that relates a parent (whole) OperationalActivity to its child (part). |
| ActivityGroup | Type | An OperationalActivity that is entirely composed of other OperationalActivities |
| ActivityGrouping | Type | An ActivityComposition where the parent Activity is an ActivityGroup. |
| AffectedNode | Type | An IndividualRoleType where the role extent is an AffectedRole and the whole is a Node. |
| AffectedRole | Type | A RoleExtentType that corresponds to the part of a Node affected by an Activity that acts upon it. Note: by "part", this includes temporal parts, so all of the Node may be affected for a period of time. This was previously <<ActsUpon>> in M3. |
| CBRNEnvironment | Type | An EnvironmentalFactor that defines the type of chemical, biological, radiological and nuclear environment in which an Enterprise may operate. |
| ConsumerActivity | Type | An IndividualExchangeRoleType where an OperationalActivity is the consumer of a LogicalFlow. |
| ConsumerRoleInService | Type | An AgentParticipationType that relates a ServiceSpecification to its role in supporting an OperationalActivity. |
| ControlInput | Type | A LogicalImport where the imported LogicalFlow controls the OperationalActivity. Note: this exists to provide compatibility with IDEF0. |
| EffectActivity | Type | An ProcessWholeRoleExtentPartType where the ProcessType is an OperationalActivity. |
| EnergyFlow | Type | A LogicalFlow where energy is transferred from one Node to another. |
| EnvironmentalFactor | Type | A GeopoliticalLocationStateType that defines some aspect of the environment in which an Enterprise may operate. |
| InformationFlow | Type | A LogicalFlow where the FlowedElement is information. |
| LightConditions | Type | An EnvironmentmentalFactor that defines the types of light (e.g. broad daylight, dusk, moonlit, etc.) in which an Enterprise may operate. |
| LogicalExport | Type | A SendType where a LogicalFlow exports from a Node or OperationalActivity. Note: this is the equivalent of OpActivityOutputPin in M3 |
| LogicalFlow | Type | An ExchangeType that flows between OperationalActivities and/or Nodes. |
| LogicalFlowExport | Type | A SendInExchangeType where a LogicalFlow exports from a Node or OperationalActivity. |
| LogicalFlowImport | Type | A ReceiveInExchangeType where a LogicalFlow imports to a Node or OperationalActivity. |
| LogicalImport | Type | A ReceiveType where a LogicalFlow imports to a Node or OperationalActivity Note: this is the equivalent of OpActivityInputPin in M3. |
| LogicalServiceConsumerRole | Type | A ParticipationExtentType which is the extent of an OperationalActivity's participation in as the consumer of a ServiceSpecification. |
| Measure | Type | A Property whose members are Individuals that all share a common, measurable property, or whose properties lie within a MeasureRange. Examples: 2kg, 4 weeks, 2km. |
| MeasureCategory | Type | A MeasureType whose members are recognised types of MeasureInstance. Examples: Mass (included in IDEAS), Length (included in IDEAS), Velocity, Hardness. |
| MeasureInContext | Type | A ModemIndividualType that brings together EnvironmentalFactors with a Measure in order to qualify the measure. Examples: 40mph in desert, 1km range in cloudy conditions |
| MeasurePoint | Type | A Measure whose members are Individuals that all share a common property that can be measured. Examples: 2kg, 4 weeks, 2km. |
| MeasureRange | Type | A Measure that is characterised by two MeasurePoints that define its upper and lower bounds. |
| MechanismInput | Type | A LogicalImport where the imported LogicalFlow provides a mechanism for conducting the OperationalActivity. Note: this exists to provide compatibility with IDEF0 |
| Node | Type | A NodeState that is used in context of a NodeParent. |
| NodeRole | Type | A RoleInLogicalProcess which is the extent of a Node's participation in an OperationalActivity. Note: An OperationalActivity can only be conducted by one Node. |
| OperationalActivity | Type | A ProcessType that is a type of logical process, specified independently of how the process is carried out. Note: an OperationalActivity may only be carried out by a logical Node. |
| ProducerActivity | Type | An IndividualExchangeRoleType where the involved ProcessType is an OperationalActivity that is the producer of a LogicalFlow. |
| ResourceFlow | Type | A LogicalFlow where the flowed element is a ResourceType. |
| ServiceConsumerNodeRole | Type | A ProcessWholeRoleExtentType that relates an OperationalActivity to the role of a ServiceSpecification that supports it. |
| ServiceLevel | Type | A ServiceDeliveryType based on a ServiceSpecification that sets a level of service using of Measures that correspond to ServiceAttributes. |
| ServiceSpecification | Type | A ServiceDeliveryType that is the specification of a ServiceDelivery Note: was called "Service" in M3. |
| StandardActivity | Type | A ProcessType that is a standard procedure (e.g. doctrinal tasks). Note: This is equivalent to what some defence organisations call JETLs. Note: was called "StandardOperationalActivity" in M3. |
| TerrainType | Type | An EnvironmentalFactor that defines the type of ground conditions that an Enterprise may operate in. Note: TerrainType is a subtype of GeopoliticalLocationStateType as the terrain may change over time (e.g. muddy, frozen ground, deep snow, etc.). |
| WeatherConditions | Type | An EnvironmentalFactor that defines the type of weather in which an Enterprise may operate. |
| EnduringTask | IndividualType | An Undertaking recognised by an enterprise as being essential to achieving its goals - i.e. a strategic specification of what the enterprise does. |
| activityBasedOn | TupleType | A modemIndividualTypeSpecialisation that asserts that an OperationalActivity is based on a StandardActivity - e.g. a specialist usage of doctrine. |
| environmentalContext | TupleType | A couple that relates a MeasureInContext to an EnvironmentalFactor in order to qualify the measure. |
| levelOfService | TupleType | A modemIndividualTypeSpecialisation where a ServiceLevel is sets levels of service based on a ServiceSpecification. |
| lowerBoundOfMeasureRange | TupleType | A superSubtype that asserts the MeasureInstance that is the lower bound (i.e. minimum measure) of a MeasureRange. |
| measureTypeInstance | TupleType | A typeInstance that asserts a Measure is an instance of a MeasureCategory. Examples: 2kg is a mass, 40m/s is a velocity. |
| qualifiedMeasure | TupleType | A superSubtype that relates a MeasureInContext to the measure it qualifies. |
| serviceLevelMeasure | TupleType | A measureOfType that specifies a ServiceLevel. |
| templateForTask | TupleType | A modemIndividualTypeInstance that relates an EnduringTask to an EnduringTaskTemplate that specifies it. |
| upperBoundOfMeasureRange | TupleType | A superSubtype that asserts the MeasureInstance that is the upper bound (i.e. maximum measure) of a MeasureRange. |
Table ‑: L4 Element List
L5 – Logical States
| Element Name | Element Kind | Definition |
|---|---|---|
| Node | Type | A NodeState that is used in context of a NodeParent. |
| NodeState | Type | A LogicalIndividualType that is a type of state that a Node can be in. This includes the limit case of the whole-life state type - i.e. the Node itself.. |
| StateMachine | Type | A StateMachineViews used to model typical states and transitions for ModemIndividualElementTypes. |
| StateMachineRegion | Type | A StateMachineRegions which is part of a StateMachine. |
| StateSpecification | Type | An OwnedStateSets used in a MODEM state machine. |
| StateTransition | Type | A StateSuccessionType indicating there is a possible transition between StateSpecifications. |
| regionOfStateMachine | TupleType | A stateMachineViewTypesRegionInstances which relates a StateMachineRegion to a StateMachine. |
| stateInRegion | TupleType | A regionTypeInstance that asserts a StateSpecification features in a StateMachineRegion. |
| stateMachineForNode | TupleType | An appliedStateMachine that relates a Node to its state machine. |
| stateTransitionInRegion | TupleType | A regionTypeInstance that asserts a StateTransition features in a StateMachineRegion. |
Table ‑: L5 Element List
L6 – Logical Sequence
| Element Name | Element Kind | Definition |
|---|---|---|
| ActivityOnLifeline | Type | A TypicalWholePart where a SequencedActivity is part of a NodeLifeline. Note: a given SequencedActivity may appear on one and only one NodeLifeline |
| Delay | Type | A TriggerItem that is a pause between Processes, Events, etc. |
| EventBoundedLogicalProcess | Type | A LogicalProcess that can have LogicalEvents marking its start and end points. |
| FromNode | Type | An RoleInLogicalProcess where a LogicalFlow flows from a Node. |
| ItemInLogicalScenario | Type | An ItemInScenario where the item (part) is a LogicalScenarioItem and the scenario (whole) is a LogicalScenario. |
| LifelineForNode | Type | A StateOfNode that asserts that a NodeLifeLine is a typical temporal part of a Node. |
| LogicalDelay | Type | A LogicalSequencedItem that is part of a LogicalScenario that has a specified temporal extent, but an unspecified spatial extent. |
| LogicalEndEvent | Type | An EndBorderType that relates a EventBoundedLogicalProcess to the LogicalEvent that marks its end. Note: there may be no more than one LogicalEndEvent for a given EventBoundedLogicalProcess. |
| LogicalEvent | Type | An Event that marks the beginning or end of an EventBoundedLogicalProcess. |
| LogicalFlow | Type | An ExchangeType that flows between OperationalActivities and/or Nodes. |
| LogicalScenario | Type | A Scenario that does not specify particular ResourceTypes - i.e. one that consists of Nodes and LogicalProcesses. |
| LogicalScenarioPart | Type | A LogicalIndividualType that is part of a LogicalScenario - note this can include other LogicalScenarios. |
| LogicallySequencedItem | Type | A LogicalScenarioPart which may be temporally ordered using LogicalSequencing. |
| LogicalSequencing | Type | An ImmediateBeforeAfterType that asserts one LogicallySequencedItem occurs immediately after the other. |
| LogicalStartEvent | Type | A StartBorderType that relates an EventBoundedLogicalProcess to the LogicalEvent that marks its start. Note: there may be no more than one LogicalStartEvent for a given EventBoundedLogicalProcess. |
| Node | Type | A NodeState that is used in context of a NodeParent. |
| NodeLifeline | Type | A NodeState whose extent is defined by a LogicalScenario. |
| OperationalActivity | Type | A ProcessType that is a type of logical process, specified independently of how the process is carried out. Note: an OperationalActivity may only be carried out by a logical Node. |
| SequencedActivity | Type | An EventBoundedLogicalProcess that is the typical useage of an OperationalActivity in a NodeLifeLine. |
| SequencedLogicalFlow | Type | A LogicalScenarioPart that is the typical useage of a LogicalFlow between two NodeLifeLines. |
| Time | Type | A MeasureInstance whose members are Individuals that have a particular temporal dimension of the same length. Examples: 22 seconds, 14 weeks, The time taken for light to travel 2km in a vacuum. |
| TimeRange | Type | A MeasureRange where the bounds are Times. |
| ToNode | Type | A RoleInLogicalProcess where a LogicalFlow flows to a Node. |
| activityInSequence | TupleType | A modemIndividualTypeSpecialisation that relates an OperationaActivity to its usage (as a SequencedActivity) on a NodeLifeLine. Note: A SequencedActivity is based on only one OperationaActivity. |
| delayRange | TupleType | A measureOfType that relates a LogicalDelay to the delayRange in which it falls. |
| delayTime | TupleType | A measureOfType that relates a LogicalDelay to its Time. |
| flowInScenario | TupleType | A modemIndividualTypeSpecialisation that relates a LogicalFlow to its usage (as a SequencedLogicalFlow) in a LogicalScenario. Note: A SequencedLogicalFlow is based on only one LogicalFlow. |
Table ‑: L6 Element List
L7 – Logical Data Model
| Element Name | Element Kind | Definition |
|---|---|---|
| AggregateDataType | Type | A DataModelTypeRepresentation which is an aggregate of other DataModelTypeRepresentations. |
| ArrayDataType | Type | An AggregateDataType whose members are addressed using a numeric index. |
| Attribute | Type | A DataModelComponent that is a defined property of an Entity. |
| BagDataType | Type | An AggregateDataType whose members are not kept in any particular order - i.e. there is no way to address a particular member. |
| BinaryDataType | Type | A SimpleDataType whose instances are binary objects. Note: Data Models may instantiate several different BinaryDataTypes - e.g. "BLOB", "MPEG", "varbinary", etc |
| CardinalitySpecifier | Type | An IntegerRepresentation that specifies the cardinality of an EntityRelationshipEnd. |
| DataModel | Type | A StructuredRepresentation defining the structure of data, showing classifications of data elements and relationships between them.. |
| DataModelComponent | Type | A Representation that can be part of a DataModel. |
| DataModelTypeRepresentation | Type | A DataModelComponent that can be used to represent the type of something. |
| EndOfEntityRelationship | Type | A RepresentationStructure where an EntityRelationship has 2 or more EntityRelationshipEnds. |
| Entity | Type | A DataModelComponent that defines an item of interest.. |
| EntityRelationship | Type | A DataModelComponent that represents a relationship between two or more Entities. |
| EnumerationType | Type | A DataModelTypeRepresentation which consists of named values. |
| FloatingPointDataType | Type | A NumericDataType whose instances are real numbers. Note: Data Models may instantiate several different IntegerDataTypes - e.g. "float", "double", "real", etc. |
| HashedAggregate | Type | An AggregateDataType whose members are indexed using an identifier. |
| InformationElement | Type | An InformationInstanceType that flows between OperationalActivities and Nodes. The structure of an InformationElement may be defined using a LogicalDataModel. |
| InformationElementWholePart | Type | A TypicalWholePart where one InformationElement is a part of another. |
| IntegerDataType | Type | A NumericDataType whose instances are integer numbers. Note: Data Models may instantiate several different IntegerDataTypes - e.g. "LongInt", "short", "word", etc |
| ItemInDataModel | Type | A RepresentationInStructure where a DataModelComponent is part of a DataModel |
| ListDataType | Type | An AggregateDataType whose members are stored and accessed as an ordered list. |
| LogicalDataModel | Type | A DataModel that is a specification of business information requirements as a formal data structure, where relationships and classes (entities) are used to specify the logic which underpins the information. |
| LogicalDataType | Type | A SimpleDataType whose instances are true/false or true/false/unknown. Note: Data Models may instantiate several different LogicalDataTypes - e.g. "Boolean", "YesNo", "BOOL", etc. |
| MaxAggregateSize | Type | A RepresentationInStructure that specifies the maximum size of an AggregateDataType. |
| MinAggregateSize | Type | A RepresentationInStructure that specifies the minimum size of an AggregateDataType. |
| MaxCardinalityOfRelationshipEnd | Type | A RepresentationInStructure that asserts a CardinalitySpecifier is part of an EntityRelationshipEnd, and that it represents the maximum cardinality value of that end. Note: If no Maximum Cardinality is specified (i.e. there is no instance of this tuple type related to the EntityRelationshipEnd) then the default is "many" or " * ". |
| MinCardinalityOfRelationshipEnd | Type | A RepresentationInStructure that asserts a CardinalitySpecifier is part of an EntityRelationshipEnd, and that it represents the minimum cardinality value of that end. Note: If no Minimum Cardinality is specified (i.e. there is no instance of this tuple type related to the EntityRelationshipEnd) then the default is zero. |
| NumericDataType | Type | A SimpleDataType whose instances are numbers. |
| SimpleDataType | Type | A DataModelTypeRepresentation that is used to specify the type of a literal (e.g. text, integer, floating point number, etc.). |
| StringRepresentation | Type | A Representation whose all members are all strings. |
| TextDataType | Type | A SimpleDataType whose instances are text literals. Note: Data Models may instantiate several different TextDataTypes - e.g. "String", "XML Text", "WideString", etc. |
| aggregateElementType | TupleType | A couple that relates an AggregateDataType to the DataModelTypeRepresentation that specifies the data type of each of its elements. |
| attributeType | TupleType | A couple that relates an Attribute to the DataModelTypeRepresentation that specifies its type. |
| dataElementRepresentation | TupleType | A representedByDataType that asserts an DataElement is represented by a DataModelTypeRepresentation. |
| enumerationItem | TupleType | A Couple that relates a StringRepresentation to an EnumerationType of which it is an element. |
| entityHasAttribute | TupleType | A couple asserting that an Entity has an Attribute. |
| entityRelationship | TupleType | A DataModelComponent that represents a relationship between two or more Entities. |
| infoElementRepresentation | TupleType | A representedByDataType that asserts an InformationElement is represented by a DataModelTypeRepresentation. |
| supportedMessageFormat | TupleType | A couple that relates an Interface to a MessageSpecification that it can support. |
Table ‑: L7 Element List
L8 – Logical Constraints
To be added - Figure ‑: L8 Logical Diagram
To be added - Table ‑: L8 Element List
Lr – Lines of Development
| Element Name | Element Kind | Definition |
|---|---|---|
| Capability | Type | A DispositionalProperty that is the set of all things that are capable of achieving a particular outcome. |
| CapabilityConfiguration | Type | A composite structure representing the physical and human resources (and their interactions) that when brought together provide one or more Capabilities. A CapabilityConfiguration is a set of Resources configured to provide a capability, and should be guided by [doctrine] which may take the form of Standard or OperationalConstraint stereotypes. |
| CapabilityConfigurationInPackage | Type | A ResourceInPackage where the ResourceType is a CapabilityConfiguration and the package is a ResourcePackageSpecification. |
| CapabilityPackageSpecification | Type | A ResourcePackageSpecification that contains at least one CapabilityConfiguration. |
| DefinedIndicatorForThreadType | Type | A StatusOfThreadType that specifies a StatusIndicator may be used to classify ProjectThreads of a particular ProjectThreadType. |
| HumanAndNonHumanConfigurationType | Type | A ResourceType that has both Human and Non-Human components. |
| ProjectThreads | Type | A ThreadInProjectType that relates a ProjectType to its ProjectThreadTypes. |
| ProjectThreadType | Type | A ProjectThreadPowertype that is used to classify ProjectThreads. |
| ProjectType | Type | A ProjectType that is used to classify Projects. |
| ResourceInPackage | Type | A ResourceUsage that specifies that a ResourceType is part of a DeliveryPackageSpecification. |
| ResourcePackageSpecification | Type | A ResourcePackageType that specifies the types of Resource (i.e. ResourceTypes) that make up a ResourcePackage. |
| ResourceType | Type | A PhysicalArchitectureIndividualType that is a type of IndividualResource. This is not used as a component of a ResourceType, but may use components. [ABSTRACT] |
| StatusIndicator | Type | A ThreadStatusType that classifies a ThreadStatusAtMilestone to indicate its status. |
| EnterprisePackageEvent | IndividualType | A ResourcePackageState that is an event that occurs in a WholeLifeEnterprise - e.g. the introduction of a new Capability at the point of a PackageInService. |
| PackageInService | IndividualType | An IndividualResourceState that marks in in-service point for a ResourcePackage. |
| PackageOutOfService | IndividualType | An IndividualResourceState which marks the point at which a ResourcePackage ceases to be in service. Note: the components of the package may go on in service in some other configuration, but the package itself is retired. |
| Project | IndividualType | An Undertaking that is a time-limited endeavour to create a specific set of products or services. |
| ProjectMilestone | IndividualType | A ProjectPart that marks the end of one ProjectPhase and possibly the beginning of another. Note: the temporal extent of a ProjectMilestone is likely to be finite - e.g. there may be milestone meetings, funding reviews, etc. before another Project or ProjectPhase can start. |
| ProjectPhase | IndividualType | A ProjectState that is a temporal part of a Project and has been nominated as a phase of a Project. |
| ResourcePackage | IndividualType | A HumanAndNonHumanConfiguration that is a collection of IndividualResources for a purpose. Example: All the fully configured aircraft delivered in an acquisition programme. Example: A force element package put together for a particular operation. Example: A tranche of new assets delivered into an enterprise. |
| ResourcePackageState | IndividualType | A temporal part of a ResourcePackage. |
| ThreadStatusAtMilestone | IndividualType | A ProjectThreadState that is part of a ProjectMilestone. |
| WholeLifeEnterprise | IndividualType | An EnterprisePhase that represents the whole existance of an enterprise. |
| capabilityRealisation | TupleType | A modemIndividualTypeSpecialisation that relates a CapabilityConfiguration to a Capability. |
| indicationOfStatus | TupleType | A modemIndividualTypeInstance where a ThreadStatusAtMilestone is classified by a StatusIndicator. |
| inService | TupleType | A startBorder that indicates that an PackageInService marks the introduction into service of a ResourcePackage. |
| milestoneBegins | TupleType | A startBoundary that asserts a ProjectMilestone marks the beginning of a Project or ProjectPhase. |
| milestoneDependency | TupleType | A beforeAfter that asserts one ProjectMilestone shall occur before the other. Note: This is intended to related milestones from different projects where progress in one project depends on the other. |
| milestoneEnds | TupleType | An endBoundary that asserts a ProjectMilestone marks the end of a Project or ProjectPhase. |
| outOfService | TupleType | An endBorder that indicates that an PackageOutOfService marks the termination of service of a ResourcePackage. |
| packageEventInEnterprise | TupleType | An enterpriseWholePart where a EnterprisePackageEvent is part of a WholeLifeEnterprise - e.g. the package is rolled-out into the enterprise. |
| packageSpecification | TupleType | A modemIndividualTypeInstance that relates a ResourcePackage to the ResourcePackageSpecification that specifies the types of Resource it consists of. |
| projectSequence | TupleType | A beforeAfter that asserts one Project cannot start until another has finished. |
| projectTypeInstance | TupleType | A modemIndividualTypeInstance that asserts a Project is an instance of a ProjectType. |
| projectWholeAndPart | TupleType | A projectWholePart where both the whole and part are Projects. |
| projectWholePhase | TupleType | A projectPhaseTemporalPart where the whole is a Project. |
| resourceStateInMilestone | TupleType | A modemWholePart that asserts a ResourcePackageState occurs within a ProjectMilestone. |
| statusAtMilestone | TupleType | A modemWholePart which relates a ThreadStatusAtMilestone to the ProjectMilestone it is part of. |
Table ‑: Lr Element List