CoreSense Ontology (CSO)
type: Ontology
version IRI: http://w3id.org/coresense/cso/2026-07-28
description: The machine-consumable OWL 2 form of the CoreSense Ontology. CSO is authored by hand to match the SysML v2 model in sysml/ and the prose definitions in CS-115, which remain the conceptual source of record.
license: LICENSE-2.0
publisher: The CORESENSE Consortium
source: CS-115.pdf
version info: 2026-07-28

description
type: AnnotationProperty

license
type: AnnotationProperty

publisher
type: AnnotationProperty

source
type: AnnotationProperty

title
type: AnnotationProperty

alternative label
type: AnnotationProperty

definition
type: AnnotationProperty

addresses mission
type: ObjectProperty
range: mission
definition: Relates a mission plan or mission specification to the mission it serves.

assesses projection
type: ObjectProperty
type: FunctionalProperty
domain: evaluation
range: projection
definition: Relates an evaluation to the projection it assesses.

assigned to agent
type: ObjectProperty
domain: action
range: agent
definition: Relates an action to the agent made responsible for it.

behavior of
type: ObjectProperty
range: system
property chain axiom: has trajectory
property chain axiom: trajectory of
definition: Relates a behavior to the system that exhibits or may exhibit it.

capability of
type: ObjectProperty
type: FunctionalProperty
domain: capability
range: system
definition: Relates a capability to the system that holds it.

commanded by
type: ObjectProperty
domain: actuator
range: agent
definition: Relates an actuator to an agent that commands it.

commands
type: ObjectProperty
domain: agent
range: action
definition: Relates an agent to an action whose execution it orders.

concerns extended system
type: ObjectProperty
range: extended system
definition: Relates a term to the extended system it is stated about.

contributes to behavior
type: ObjectProperty
domain: role
range: potential behavior
definition: Relates a role to a potential behavior it contributes to.

contributes to function
type: ObjectProperty
domain: role
range: function
definition: Relates a role to a function it contributes to.

describes entity
type: ObjectProperty
domain: feature
range: entity
definition: Relates a feature to the entity it characterizes.

describes phenomenon
type: ObjectProperty
domain: feature
range: phenomenon
definition: Relates a feature to the phenomenon it characterizes.

desires
type: ObjectProperty
domain: stakeholder
range: goal
alternative label: desire
definition: Relates a stakeholder to a goal it wishes to see achieved or maintained.

environment of
type: ObjectProperty
type: FunctionalProperty
domain: environment
range: system
definition: Relates an environment to the system whose environment it is.

executes
type: ObjectProperty
range: action
definition: Relates an agent or actuator to an action it carries out.

exerts
type: ObjectProperty
sub property of: has modelet
domain: engine
range: modelet
definition: Relates an engine to a modelet it is able to exert.

exerts modelet
type: ObjectProperty
domain: exertion
range: modelet
definition: Relates an exertion to a modelet executed in it.

exhibited by
type: ObjectProperty
domain: phenomenon
range: entity
definition: Relates a phenomenon to an entity that exhibits it.

focuses on system
type: ObjectProperty
range: system
property chain axiom: concerns extended system
property chain axiom: has target system
definition: Relates a system of interest to the target system of the extended system it concerns.

follows policy
type: ObjectProperty
domain: action specification
range: policy
definition: Relates an action specification to the policy that determined its candidate actions.

has adverse event
type: ObjectProperty
domain: risk
range: adverse occurrence
definition: Relates a risk to the adverse occurrence whose potential it measures.

has aspect
type: ObjectProperty
type: FunctionalProperty
domain: modelet
range: modelet aspect
definition: Relates a modelet to the aspect of its referent that it represents.

has assignee
type: ObjectProperty
domain: action order
range: agent
definition: Relates an action order to the agent designated to execute it.

has candidate action
type: ObjectProperty
domain: policy
range: action
definition: Relates a policy to an action it may select as an admissible response.

has component
type: ObjectProperty
domain: system
range: entity
definition: Relates a system to one of the entities that compose it.

has component state
type: ObjectProperty
domain: system state
range: entity state
definition: Relates a system state to the state of one of the components of that system.

has context
type: ObjectProperty
range: context
definition: Relates a term to the context within which it is stated.

has desired state
type: ObjectProperty
domain: goal
range: system state
definition: Relates a goal to a system state it aims to achieve or maintain.

has environment
type: ObjectProperty
type: FunctionalProperty
domain: extended system
range: environment
definition: Relates an extended system to the environment of its target system.

has environment entity
type: ObjectProperty
range: entity
definition: Relates an environment, or an extended system, to an entity that belongs to that environment.

has epistemic state
type: ObjectProperty
type: FunctionalProperty
domain: model metadata
range: epistemic state
definition: Relates model metadata to the epistemic standing of the model.

has expected performance
type: ObjectProperty
domain: functionality
range: performance measure
definition: Relates a functionality to a performance measure it is expected to attain.

has input feature
type: ObjectProperty
domain: meaning
range: feature
definition: Relates a meaning to a feature it was derived from.

has interest in
type: ObjectProperty
domain: stakeholder
range: extended system
alternative label: interest
definition: Relates a stakeholder to an extended system whose behavior or outcomes matter to it.

has measure type
type: ObjectProperty
type: FunctionalProperty
range: performance measure type
definition: Relates a metric or performance measure to its kind of performance measure.

has metadata
type: ObjectProperty
domain: model
range: model metadata
definition: Relates a model to its descriptive metadata record.

has metamodeling level
type: ObjectProperty
type: FunctionalProperty
domain: model metadata
range: MOF level
definition: Relates model metadata to the OMG MOF layer at which the model sits.

has metric
type: ObjectProperty
domain: mission success criterion
range: metric
definition: Relates a mission success criterion to the metric it is expressed with.

has model type
type: ObjectProperty
type: FunctionalProperty
domain: model
range: model type
definition: Relates a model to its kind of representation.

has modelet
type: ObjectProperty
range: modelet
definition: Relates a model, engine, cognitive function or meaning to a modelet it comprises or draws on.

has performance constraint
type: ObjectProperty
domain: model metadata
range: performance constraint
definition: Relates model metadata to a performance constraint on the use of the model.

has performance measure
type: ObjectProperty
domain: evaluation
range: performance measure
definition: Relates an evaluation to a performance measure it takes into account.

has planned action
type: ObjectProperty
domain: task
range: action
definition: Relates a task to one of the actions planned to carry it out.

has potential behavior
type: ObjectProperty
type: FunctionalProperty
domain: projection
range: potential behavior
definition: Relates a projection to the potential behavior it maps.

has provenance
type: ObjectProperty
type: FunctionalProperty
domain: model metadata
range: provenance
definition: Relates model metadata to the origin and lifecycle standing of the model.

has referent
type: ObjectProperty
type: FunctionalProperty
range: entity
alternative label: represents referent
definition: Relates a model or modelet to the entity it represents.

has relation
type: ObjectProperty
domain: system
range: binary relation
definition: Relates a system to one of the binary relations holding between its components.

has relation state
type: ObjectProperty
domain: system state
range: binary relation state
definition: Relates a system state to the state of one of the relations of that system.

has risk
type: ObjectProperty
domain: evaluation
range: risk
definition: Relates an evaluation to a risk it takes into account.

has scalability constraint
type: ObjectProperty
domain: model metadata
range: scalability constraint
definition: Relates model metadata to a scalability constraint on the use of the model.

has source
type: ObjectProperty
type: FunctionalProperty
domain: binary relation
range: entity
definition: Relates a binary relation to the entity it holds from.

has specification
type: ObjectProperty
type: FunctionalProperty
domain: action order
range: action specification
definition: Relates an action order to the action specification it activates.

has stakeholder
type: ObjectProperty
range: stakeholder
definition: Relates a term to the stakeholder whose standpoint it is stated from.

has state
type: ObjectProperty
domain: system trajectory
range: system state
definition: Relates a system trajectory to one of the system states in its sequence.

has status
type: ObjectProperty
type: FunctionalProperty
domain: action order status
range: action status
definition: Relates an action order status to the execution status it holds.

has subject
type: ObjectProperty
range: entity
definition: Relates a measure or characterization to the entity it is stated about.

has success criterion
type: ObjectProperty
domain: mission specification
range: mission success criterion
definition: Relates a mission specification to one of its mission success criteria.

has system-environment relation
type: ObjectProperty
sub property of: has relation
domain: extended system
range: binary relation
definition: Relates an extended system to a binary relation holding between its target system and an entity of its environment.

has target
type: ObjectProperty
type: FunctionalProperty
domain: binary relation
range: entity
definition: Relates a binary relation to the entity it holds to.

has target system
type: ObjectProperty
sub property of: has component
type: FunctionalProperty
domain: extended system
range: system
definition: Relates an extended system to the system that is its target.

has task
type: ObjectProperty
domain: mission plan
range: task
definition: Relates a mission plan to one of the tasks it comprises.

has time interval
type: ObjectProperty
type: FunctionalProperty
range: time interval
definition: Relates an occurrence to the time interval over which it is considered.

has trajectory
type: ObjectProperty
range: system trajectory
definition: Relates an exhibited or potential behavior to a system trajectory it comprises.

has trigger condition
type: ObjectProperty
type: FunctionalProperty
domain: trigger
range: trigger condition
definition: Relates an action trigger to the condition whose satisfaction fires it.

instantiates capability
type: ObjectProperty
domain: functionality
range: capability
definition: Relates a functionality to the capability it instantiates.

manifests capability
type: ObjectProperty
domain: exhibited behavior
range: capability
definition: Relates an exhibited behavior to a capability it makes manifest.

measures behavior
type: ObjectProperty
domain: performance measure
range: exhibited behavior
definition: Relates a performance measure to the exhibited behavior it assesses.

observes
type: ObjectProperty
domain: sensor
range: entity
definition: Relates a sensor to an entity it is able to observe.

pairs engine
type: ObjectProperty
type: FunctionalProperty
domain: modelet-engine pair
range: engine
definition: Relates a modelet-engine pair to its engine.

pairs modelet
type: ObjectProperty
type: FunctionalProperty
domain: modelet-engine pair
range: modelet
definition: Relates a modelet-engine pair to its modelet.

played by
type: ObjectProperty
domain: role
range: entity
definition: Relates a role to an entity that assumes it.

produces data
type: ObjectProperty
domain: sense
range: data
definition: Relates a sense action to the raw data it yields.

pursues goal
type: ObjectProperty
range: goal
definition: Relates a term to a goal it is intended to contribute to.

realized by
type: ObjectProperty
type: FunctionalProperty
domain: estimation
range: modelet-engine pair
definition: Relates an estimation to the modelet-engine pair that realizes it.

realizes
type: ObjectProperty
domain: capability
range: function
definition: Relates a capability to the function it makes available.

requires capability
type: ObjectProperty
domain: task
range: capability
definition: Relates a task to a capability of the target system that the task requires.

responds to trigger
type: ObjectProperty
range: trigger
definition: Relates a policy or action specification to the action trigger it answers.

selects action
type: ObjectProperty
domain: action specification
range: action
definition: Relates an action specification to an action it selects for execution.

senses
type: ObjectProperty
domain: sensor
range: sense
definition: Relates a sensor to a sense action it performs.

senses entity
type: ObjectProperty
domain: sense
range: entity
definition: Relates a sense action to the entity it acquires data about.

state of
type: ObjectProperty
type: FunctionalProperty
domain: entity state
range: entity
definition: Relates an entity state to the entity whose state it is.

state of relation
type: ObjectProperty
type: FunctionalProperty
domain: binary relation state
range: binary relation
definition: Relates a binary relation state to the binary relation whose state it is.

status of
type: ObjectProperty
type: FunctionalProperty
domain: action order status
range: action order
definition: Relates an action order status to the action order whose status it records.

trajectory of
type: ObjectProperty
type: FunctionalProperty
domain: system trajectory
range: system
definition: Relates a system trajectory to the system whose evolution it describes.

used by
type: ObjectProperty
domain: model
range: entity
definition: Relates a model to the entity that uses it.

uses engine
type: ObjectProperty
type: FunctionalProperty
domain: exertion
range: engine
definition: Relates an exertion to the engine that performs it.

abstraction level
type: DatatypeProperty
domain: model metadata
range: string
definition: The scope and detail level of a model, including the phenomena it includes and excludes.

actual response time
type: DatatypeProperty
type: FunctionalProperty
domain: performance constraint
range: decimal
definition: The response time actually attained when a model is used, in seconds.

aspect description
type: DatatypeProperty
domain: modelet
range: string
definition: A textual account of the aspect of its referent that a modelet represents.

assumption
type: DatatypeProperty
domain: model metadata
range: string
definition: A declared assumption, constraint or simplification made by a model.

benefit
type: DatatypeProperty
type: FunctionalProperty
domain: stakeholder value
range: decimal
definition: The amount of benefit provided to a stakeholder in a context.

cost
type: DatatypeProperty
type: FunctionalProperty
domain: stakeholder value
range: decimal
definition: The cost at which benefit is provided to a stakeholder in a context.

desired effect
type: DatatypeProperty
domain: mission
range: string
definition: An effect or target condition a mission aims to bring about.

final time
type: DatatypeProperty
type: FunctionalProperty
domain: time interval
range: dateTime
definition: The time instant at which a time interval ends.

has acceptance criterion
type: DatatypeProperty
domain: capability
range: string
definition: A criterion under which a capability counts as successfully performed.

has condition
type: DatatypeProperty
range: string
definition: A condition deemed relevant in a context, or required for a capability to hold.

has description
type: DatatypeProperty
range: string
definition: A textual account of a term instance.

has knowledge item
type: DatatypeProperty
domain: context
range: string
definition: A piece of content retained about an extended system in a context.

has responsibility
type: DatatypeProperty
domain: role
range: string
definition: A responsibility carried by an entity that assumes a role.

has role constraint
type: DatatypeProperty
domain: role
range: string
definition: A constraint imposed on an entity that assumes a role.

identifier
type: DatatypeProperty
type: FunctionalProperty
domain: model metadata
range: string
definition: A unique identifier for a model instance.

information
type: DatatypeProperty
domain: feature
definition: The information content encoded by a feature.

initial time
type: DatatypeProperty
type: FunctionalProperty
domain: time interval
range: dateTime
definition: The time instant at which a time interval starts.

intended use
type: DatatypeProperty
domain: model metadata
range: string
definition: The purpose a model is intended for, such as simulation or prediction.

is actionable
type: DatatypeProperty
type: FunctionalProperty
domain: model
range: boolean
definition: Whether a model can be used to produce action.

is adaptable
type: DatatypeProperty
type: FunctionalProperty
domain: system
range: boolean
definition: Whether a system is able to change its own structure or behavior.

is composable
type: DatatypeProperty
type: FunctionalProperty
range: boolean
definition: Whether a model or modelet can be composed with others.

is exertable on its own
type: DatatypeProperty
type: FunctionalProperty
range: boolean
definition: Whether a model or modelet can be exerted without being composed with others.

likelihood
type: DatatypeProperty
type: FunctionalProperty
domain: risk
range: Datatype
  on datatype: decimal
  with restrictions:
    min inclusive: 0.0
  with restrictions:
    max inclusive: 1.0
definition: The probability, between 0 and 1, that the adverse event of a risk occurs.

maximum response time
type: DatatypeProperty
type: FunctionalProperty
domain: performance constraint
range: decimal
definition: The largest response time admissible when a model is used, in seconds.

maximum number of users
type: DatatypeProperty
type: FunctionalProperty
domain: scalability constraint
range: nonNegativeInteger
definition: The largest number of concurrent users admissible when a model is used.

measure value
type: DatatypeProperty
type: FunctionalProperty
domain: performance measure
range: decimal
definition: The value attained by a performance measure.

model class
type: DatatypeProperty
domain: model metadata
range: string
definition: The abstract structure or mathematical category of a model.

model formalism
type: DatatypeProperty
domain: model metadata
range: string
definition: The notation or formal representation used to express a model.

modelled phenomenon
type: DatatypeProperty
domain: model metadata
range: string
definition: The real-world or conceptual system or process that a model represents.

name
type: DatatypeProperty
type: FunctionalProperty
range: string
definition: The name by which a term instance is known.

number of users
type: DatatypeProperty
type: FunctionalProperty
domain: scalability constraint
range: nonNegativeInteger
definition: The number of concurrent users actually served when a model is used.

raw value
type: DatatypeProperty
domain: data
definition: An encoded value carried by a datum.

satisfaction condition
type: DatatypeProperty
type: FunctionalProperty
domain: mission success criterion
range: string
definition: The condition under which a mission success criterion counts as met.

severity
type: DatatypeProperty
type: FunctionalProperty
domain: risk
range: decimal
definition: The magnitude of the negative effect should the adverse event of a risk occur.

time instant
type: DatatypeProperty
type: FunctionalProperty
range: dateTime
definition: The time instant at which a state holds.

action
type: Class
subclass of: Thing
comment: Editorial definition; the SysML v2 model reuses the standard library element Actions::Action.
definition: An action is a performance that an agent executes or commands in order to bring about a change in an extended system.

action order
type: Class
subclass of: Restriction
  on property: has assignee
  some values from: agent
subclass of: Restriction
  on property: has specification
  qualified cardinality: 1
  on class: action specification
source: CS-115.pdf
definition: An action order is an executable directive, issued within a given context of an extended system, that activates the execution of the actions in a given action specification by the designated agents.

action order status
type: Class
subclass of: Restriction
  on property: has status
  some values from: action status
subclass of: Restriction
  on property: status of
  qualified cardinality: 1
  on class: action order
comment: Editorial definition; the SysML v2 model declares this element without prose.
definition: An action order status records the execution status reached by a given action order.

action specification
type: Class
subclass of: Thing
source: CS-115.pdf
definition: An action specification is a concrete description, produced in response to an action trigger within a given context according to a chosen policy, that: (i) selects one or more actions from the candidate set determined by that policy, and (ii) assigns one or more responsible agents to each selected action.

action status
type: Class
equivalent class: Class
  one of: aborted
  one of: failed
  one of: not triggered
  one of: succeeded
  one of: timed out
subclass of: Thing
definition: The execution status reached by an action order.

actuator
type: Class
subclass of: entity
subclass of: Restriction
  on property: commanded by
  some values from: agent
subclass of: Restriction
  on property: executes
  some values from: action
source: CS-115.pdf
definition: An actuator is a physical entity that, when provided with an input, produces a physical effect on the environment or the system (e.g., motion, force, or flow), thereby executing actions commanded by an agent.

adverse occurrence
type: Class
subclass of: Thing
comment: Editorial definition; the SysML v2 model declares this element without prose.
alternative label: adverse event
definition: An adverse occurrence is an occurrence whose happening would negatively affect an entity, system, or extended system.

agent
type: Class
subclass of: entity
subclass of: Class
  union of: Restriction
    on property: commands
    some values from: action
  union of: Restriction
    on property: executes
    some values from: action
source: CS-115.pdf
definition: An agent is an entity capable of executing or commanding actions.

binary relation
type: Class
subclass of: Restriction
  on property: has source
  some values from: entity
subclass of: Restriction
  on property: has target
  some values from: entity
source: CS-115.pdf
definition: A binary relation is a relation between two entities, holding from a source entity to a target entity.

binary relation state
type: Class
subclass of: Restriction
  on property: state of relation
  some values from: binary relation
source: CS-115.pdf
definition: The state of a binary relation at a given time instant is the tuple of the values of its attributes.

capability
type: Class
subclass of: Restriction
  on property: capability of
  some values from: system
subclass of: Restriction
  on property: realizes
  some values from: function
source: CS-115.pdf
definition: A capability is the ability of a system to perform a specific function successfully under stated conditions and acceptance criteria.

cognitive capability
type: Class
subclass of: capability
subclass of: Restriction
  on property: realizes
  some values from: cognitive function
source: CS-115.pdf
definition: A cognitive capability is a capability of a system that is realized by a cognitive function and enables the system to use knowledge to produce intentional action.

cognitive function
type: Class
subclass of: function
subclass of: Restriction
  on property: has modelet
  some values from: modelet
source: CS-115.pdf
definition: A cognitive function is a function that processes information by executing one or more modelets.

concern
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: has stakeholder
  some values from: stakeholder
source: CS-115.pdf
definition: A concern is a matter of interest to a stakeholder that, in a given context, can be derived from a need and may give rise to requirements.

context
type: Class
subclass of: Restriction
  on property: concerns extended system
  some values from: extended system
source: CS-115.pdf
definition: Given an extended system, the context is the set of the content retained about that extended system, together with the assumptions and conditions, deemed relevant to interpret, evaluate and act within that extended system.

data
type: Class
subclass of: Restriction
  on property: concerns extended system
  some values from: extended system
source: CS-115.pdf
definition: Data are encoded representations of aspects of an entity or system (e.g., phenomena, properties, states, or attributes) in a form suitable for communication, storage, or processing.

engine
type: Class
subclass of: entity
subclass of: Restriction
  on property: exerts
  some values from: modelet
source: CS-115.pdf
definition: An engine is a component that exerts a modelet to derive a result.

entity
type: Class
subclass of: Thing
source: CS-115.pdf
definition: An entity is any thing in the universe of discourse that can be distinguished from all other things in that universe.

entity state
type: Class
subclass of: Restriction
  on property: state of
  some values from: entity
source: CS-115.pdf
definition: The state of an entity at a given time instant is the tuple of the values of its attributes.

environment
type: Class
subclass of: Restriction
  on property: environment of
  some values from: system
source: CS-115.pdf
definition: The environment of a system is the collection of entities that are not part of the system but are capable of influencing or being influenced by it.

epistemic state
type: Class
equivalent class: Class
  one of: evidenced
  one of: limited
  one of: uncertain
  one of: validated
subclass of: Thing
definition: The epistemic standing of a model: validated, evidenced, uncertain or limited.

estimation
type: Class
subclass of: cognitive function
subclass of: Restriction
  on property: realized by
  qualified cardinality: 1
  on class: modelet-engine pair
source: CS-115.pdf
definition: Estimation is a cognitive function realized by a modelet-engine pair whose purpose is to infer unknown or uncertain quantities of a referent from available data and prior knowledge.

evaluation
type: Class
subclass of: Restriction
  on property: assesses projection
  qualified cardinality: 1
  on class: projection
source: CS-115.pdf
definition: Evaluation is an assessment of a projection with respect to a specific set of goals.

exertion
type: Class
subclass of: action
subclass of: Restriction
  on property: exerts modelet
  some values from: modelet
subclass of: Restriction
  on property: uses engine
  qualified cardinality: 1
  on class: engine
source: CS-115.pdf
alternative label: exert
definition: Exertion is the process of executing one or more modelets to given inputs in order to derive results about their referent.

exhibited behavior
type: Class
subclass of: Restriction
  on property: has trajectory
  qualified cardinality: 1
  on class: system trajectory
source: CS-115.pdf
definition: The exhibited behavior of a system over an observational interval is the trajectory followed by the system during that interval.

extended system
type: Class
subclass of: system
subclass of: Restriction
  on property: has environment
  qualified cardinality: 1
  on class: environment
subclass of: Restriction
  on property: has target system
  qualified cardinality: 1
  on class: system
source: CS-115.pdf
definition: An extended system is composed of a target system together with its selected environment and the relations between both of them.

feature
type: Class
subclass of: Restriction
  on property: concerns extended system
  some values from: extended system
source: CS-115.pdf
definition: A feature is a derived piece of information that encodes some characteristic of an entity, system, phenomenon, or context, obtained from observations or sensor data and used as input to functions or modelets.

function
type: Class
subclass of: Thing
source: CS-115.pdf
definition: A function is a transformation that maps specific inputs to outputs.

functionality
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: has expected performance
  some values from: performance measure
subclass of: Restriction
  on property: has subject
  some values from: entity
subclass of: Restriction
  on property: instantiates capability
  some values from: capability
subclass of: Restriction
  on property: pursues goal
  some values from: goal
source: CS-115.pdf
definition: A functionality is an instantiation of a capability with some expected performance that is intended to satisfy one or more goals within a given context.

goal
type: Class
subclass of: Restriction
  on property: concerns extended system
  some values from: extended system
subclass of: Restriction
  on property: has desired state
  some values from: system state
source: CS-115.pdf
definition: A goal is a subset of the possible states of an extended system representing the conditions that an agent intends to achieve or maintain.

MOF level
type: Class
equivalent class: Class
  one of: M0
  one of: M1
  one of: M2
  one of: M3
subclass of: Thing
alternative label: OMG MOF
definition: The OMG Meta Object Facility metamodeling layer, M0 to M3, at which a model sits.

meaning
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: has input feature
  some values from: feature
subclass of: Restriction
  on property: has modelet
  some values from: modelet
source: CS-115.pdf
definition: Meaning is the informational content produced by exerting one or more modelets on input features, representing an interpretation of a phenomenon of the associated extended system within a given context.

metric
type: Class
subclass of: Restriction
  on property: has measure type
  some values from: performance measure type
source: CS-115.pdf
definition: A metric is a measure used to assess mission success.

mission
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
source: CS-115.pdf
definition: A mission is a high-level goal expressed as desired effects or target conditions for an extended system within a given context.

mission plan
type: Class
subclass of: action
subclass of: Restriction
  on property: addresses mission
  some values from: mission
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: has task
  some values from: task
source: CS-115.pdf
definition: A mission plan is a collection of tasks, together with any required precedence relations among them, to be carried out in order to satisfy the mission within the given extended system and context.

mission specification
type: Class
subclass of: Restriction
  on property: addresses mission
  some values from: mission
subclass of: Restriction
  on property: has success criterion
  some values from: mission success criterion
subclass of: Restriction
  on property: pursues goal
  some values from: goal
source: CS-115.pdf
definition: A mission specification is the set of specific goals refining a given mission, together with the mission success criteria (expressed as metrics and their satisfaction conditions) that enable assessment of mission success.

mission success criterion
type: Class
subclass of: Restriction
  on property: has metric
  some values from: metric
source: CS-115.pdf
definition: A mission success criterion pairs a metric with a satisfaction condition in a given context.

model
type: Class
subclass of: entity
subclass of: Restriction
  on property: has model type
  some values from: model type
subclass of: Restriction
  on property: has modelet
  some values from: modelet
subclass of: Restriction
  on property: has referent
  some values from: entity
subclass of: Restriction
  on property: used by
  some values from: entity
source: CS-115.pdf
definition: A model is an entity that represents another entity (its referent).

model metadata
type: Class
subclass of: Thing
comment: Editorial definition; the SysML v2 model declares this as a metadata definition nested in Model.
definition: Model metadata is the descriptive record of a model, covering its identity, modelled phenomenon, intended use, formalism, abstraction and metamodeling level, epistemic state, provenance and declared assumptions.

model type
type: Class
equivalent class: Class
  one of: analytical model
  one of: descriptive model
  one of: hybrid model
  one of: meta model
  one of: physical model
subclass of: Thing
definition: The kind of model, by the nature of its representation.

modelet
type: Class
subclass of: Restriction
  on property: has aspect
  some values from: modelet aspect
subclass of: Restriction
  on property: has referent
  some values from: entity
source: CS-115.pdf
definition: A modelet is a model fragment that represents a specific aspect of a referent system or entity.

modelet aspect
type: Class
equivalent class: Class
  one of: behavior aspect
  one of: capability aspect
  one of: parameter aspect
  one of: performance aspect
  one of: property aspect
  one of: states aspect
  one of: structure aspect
subclass of: Thing
definition: The aspect of its referent that a modelet represents.

modelet-engine pair
type: Class
subclass of: Restriction
  on property: pairs engine
  qualified cardinality: 1
  on class: engine
subclass of: Restriction
  on property: pairs modelet
  qualified cardinality: 1
  on class: modelet
source: CS-115.pdf
definition: A modelet-engine pair is the pairing of a modelet with an engine that can exert it.

performance constraint
type: Class
subclass of: Thing
comment: Editorial definition; the SysML v2 model states this as a constraint definition.
definition: A performance constraint bounds the response time admissible when a model is used, for instance at run time.

performance measure
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: has measure type
  some values from: performance measure type
subclass of: Restriction
  on property: has subject
  some values from: entity
subclass of: Restriction
  on property: measures behavior
  some values from: exhibited behavior
source: CS-115.pdf
alternative label: performance
definition: Performance is a measure of how effectively the exhibited behavior of a system (or one of its components) contributes to fulfilling its goals when executing tasks within a given context.

performance measure type
type: Class
equivalent class: Class
  one of: measure of effectiveness
  one of: measure of performance
  one of: technical performance measure
subclass of: Thing
definition: The kind of performance measure used to assess a system: measure of effectiveness, measure of performance, or technical performance measure.

phenomenon
type: Class
subclass of: Restriction
  on property: concerns extended system
  some values from: extended system
subclass of: Restriction
  on property: exhibited by
  some values from: entity
source: CS-115.pdf
definition: A phenomenon is any distinguishable aspect or behavior of an extended system, or of one of its parts, within a given context.

policy
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
source: CS-115.pdf
definition: A policy is a rule or strategy that, for a given action trigger and a given context of an extended system, determines a set of candidate actions that are admissible responses to that trigger in that context.

potential behavior
type: Class
subclass of: Restriction
  on property: behavior of
  some values from: system
subclass of: Restriction
  on property: has time interval
  some values from: time interval
source: CS-115.pdf
definition: The potential behavior of a system over a time interval is the set of all trajectories the system may follow over that interval.

projection
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: has potential behavior
  qualified cardinality: 1
  on class: potential behavior
source: CS-115.pdf
definition: Projection is a representation that maps a given situation of an extended system in a given context, into a representation in a chosen space, over a specified projection domain.

provenance
type: Class
equivalent class: Class
  one of: derived
  one of: historical
  one of: original
  one of: versioned
subclass of: Thing
definition: The origin and lifecycle standing of a model: original, derived, historical or versioned.

risk
type: Class
subclass of: Restriction
  on property: has adverse event
  some values from: adverse occurrence
subclass of: Restriction
  on property: has context
  some values from: context
source: CS-115.pdf
definition: A risk is a measure of the potential for an adverse event to negatively affect an entity, system, or extended system within a given context.

role
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: played by
  some values from: entity
source: CS-115.pdf
definition: A role is a context- and time-dependent designation, with associated responsibilities and constraints, that an entity may assume in order to contribute to the achievement or maintenance of a goal.

scalability constraint
type: Class
subclass of: Thing
comment: Editorial definition; the SysML v2 model states this as a constraint definition.
definition: A scalability constraint bounds the load, such as the number of concurrent users, admissible when a model is used.

self model
type: Class
subclass of: model
subclass of: Restriction
  on property: has referent
  all values from: agent
subclass of: Restriction
  on property: used by
  all values from: agent
source: CS-115.pdf
definition: A self model is a model whose referent is the owning system itself, so that referent and user coincide.

sense
type: Class
subclass of: action
subclass of: Restriction
  on property: produces data
  some values from: data
subclass of: Restriction
  on property: senses entity
  some values from: entity
source: CS-115.pdf
definition: Sense is the action of acquiring raw sensor data about the phenomenon being observed in the extended system.

sensor
type: Class
subclass of: entity
source: CS-115.pdf
definition: A sensor is an entity that acquires raw sensor data about phenomena, properties, states, or attributes of an entity being observed in the extended system.

stakeholder
type: Class
subclass of: entity
source: CS-115.pdf
definition: A stakeholder is an entity for whom a system S is relevant because the behavior or outcomes of S can affect the achievement of its own goals.

stakeholder value
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: has stakeholder
  some values from: stakeholder
source: CS-115.pdf
definition: Stakeholder value is the amount of benefit at a cost provided to stakeholders within a given context.

super system
type: Class
subclass of: system
subclass of: Restriction
  on property: has component
  all values from: system
source: CS-115.pdf
definition: A super system is a system whose components are, themselves, systems.

system
type: Class
subclass of: entity
source: CS-115.pdf
definition: A system is an entity represented by a tuple (C, R), where C is a set of components and R is the set of binary relations between them.

system of interest
type: Class
subclass of: Restriction
  on property: concerns extended system
  some values from: extended system
subclass of: Restriction
  on property: has stakeholder
  some values from: stakeholder
source: CS-115.pdf
definition: For a given stakeholder, the system of interest is the part of an extended system that constitutes the focus of engineering activities.

system state
type: Class
subclass of: entity state
subclass of: Restriction
  on property: state of
  all values from: system
source: CS-115.pdf
definition: The state of a system at a time instant is the complete set of attribute values describing the current condition of its components and their relations.

system trajectory
type: Class
subclass of: Restriction
  on property: has state
  some values from: system state
subclass of: Restriction
  on property: has time interval
  some values from: time interval
subclass of: Restriction
  on property: trajectory of
  some values from: system
source: CS-115.pdf
alternative label: trajectory
definition: A trajectory is a time-ordered sequence of states representing one possible evolution of the system over a time interval.

task
type: Class
subclass of: action
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: has planned action
  some values from: action
source: CS-115.pdf
definition: A task is a set of planned actions, executed by one or more agents, that is intended to contribute to the achievement of one or more goals within a given context.

time interval
type: Class
subclass of: Thing
comment: Editorial definition; the SysML v2 model states this structurally rather than in prose.
definition: A time interval is the stretch of time delimited by an initial time instant and a later final time instant, both on the same time scale.

trigger
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
subclass of: Restriction
  on property: has trigger condition
  some values from: trigger condition
source: CS-115.pdf
alternative label: action trigger
definition: An action trigger is a condition on the state and/or exhibited behavior of an extended system, identified within a given context, whose satisfaction indicates the need to initiate the execution of one or more actions to contribute to the achievement or maintenance of one or more goals.

trigger condition
type: Class
subclass of: Restriction
  on property: has context
  some values from: context
comment: Editorial definition; the SysML v2 model declares this as an abstract constraint definition to be redefined in usages.
definition: A trigger condition is the condition, evaluated in a given context of an extended system, whose satisfaction fires an action trigger.

world model
type: Class
subclass of: model
subclass of: Restriction
  on property: has referent
  all values from: extended system
source: CS-115.pdf
definition: A world model is a model whose referent is the extended system being operated in.

derived
type: NamedIndividual
type: provenance

evidenced
type: NamedIndividual
type: epistemic state

historical
type: NamedIndividual
type: provenance

limited
type: NamedIndividual
type: epistemic state

M0
type: NamedIndividual
type: MOF level

M1
type: NamedIndividual
type: MOF level

M2
type: NamedIndividual
type: MOF level

M3
type: NamedIndividual
type: MOF level

measure of effectiveness
type: NamedIndividual
type: performance measure type
alternative label: MOE

measure of performance
type: NamedIndividual
type: performance measure type
alternative label: MOP

original
type: NamedIndividual
type: provenance

technical performance measure
type: NamedIndividual
type: performance measure type
alternative label: TPM

uncertain
type: NamedIndividual
type: epistemic state

validated
type: NamedIndividual
type: epistemic state

versioned
type: NamedIndividual
type: provenance

aborted
type: NamedIndividual
type: action status

analytical model
type: NamedIndividual
type: model type

behavior aspect
type: NamedIndividual
type: modelet aspect

capability aspect
type: NamedIndividual
type: modelet aspect

descriptive model
type: NamedIndividual
type: model type

failed
type: NamedIndividual
type: action status

hybrid model
type: NamedIndividual
type: model type

meta model
type: NamedIndividual
type: model type

not triggered
type: NamedIndividual
type: action status

parameter aspect
type: NamedIndividual
type: modelet aspect

performance aspect
type: NamedIndividual
type: modelet aspect

physical model
type: NamedIndividual
type: model type

property aspect
type: NamedIndividual
type: modelet aspect

states aspect
type: NamedIndividual
type: modelet aspect

structure aspect
type: NamedIndividual
type: modelet aspect

succeeded
type: NamedIndividual
type: action status

timed out
type: NamedIndividual
type: action status