BehaviorStateMachines
type: Ontology
publisher: Telecommunications Software and Systems Group 'www.tssg.org'
contributor: Nazim Agoulmine - Laboratoire de Réseaux et Systèmes Multimédia - Université d'Evry-Val d'Essonne @fr
contributor: John Strassner - Autonomic Research Lab - Motorola Labs
contributor: Mícheál Ó Foghlú - Telecommunications Software and Systems Group - Waterford Institute of Technology
creator: Elyes Lehtihet 'elehtihet@tssg.org'
date: 29/05/2005
subject: Unified Modeling Language (UML2) Superstructure
imports: http://purl.org/dc/elements/1.1/
imports: Communications.owl
imports: BasicBehaviors.owl
imports: PrimitiveTypes.owl
imports: Kernel.owl
imports: Activities.StructuredActivities.owl
imports: CompositeStructures.owl

Vertex
type: Class
subclass of: NamedElement
subclass of: Restriction
  on property: Vertex.container
  max cardinality: 1

Transition
type: Class
subclass of: RedefinableElement
subclass of: NamedElement
subclass of: Restriction
  on property: Transition.guard
  max cardinality: 1
subclass of: Restriction
  on property: Transition.trigger
  max cardinality: 1
subclass of: Restriction
  on property: Transition.effect
  max cardinality: 1
subclass of: Restriction
  on property: Transition.redefinedTransition
  max cardinality: 1

State
type: Class
subclass of: Vertex
subclass of: RedefinableElement
subclass of: Namespace
subclass of: Restriction
  on property: State.submachine
  max cardinality: 1
subclass of: Restriction
  on property: State.doActvity
  max cardinality: 1
subclass of: Restriction
  on property: State.exit
  max cardinality: 1
subclass of: Restriction
  on property: State.entry
  max cardinality: 1
subclass of: Restriction
  on property: State.stateInvariant
  max cardinality: 1
subclass of: Restriction
  on property: State.redefinedState
  max cardinality: 1

StateMachine
type: Class
subclass of: Behavior
subclass of: Restriction
  on property: StateMachine.extendedStateMachine
  max cardinality: 1
subclass of: Restriction
  on property: StateMachine.region
  min cardinality: 1

Region
type: Class
subclass of: RedefinableElement
subclass of: Namespace
subclass of: Restriction
  on property: Region.extendedRegion
  max cardinality: 1
subclass of: Restriction
  on property: Region.state
  max cardinality: 1
subclass of: Restriction
  on property: Region.stateMachine
  max cardinality: 1

ConnectionPointReference
type: Class
subclass of: Vertex
subclass of: Restriction
  on property: ConnectionPointReference.state
  max cardinality: 1

Pseudostate
type: Class
subclass of: Vertex
subclass of: Restriction
  on property: Pseudostate.state
  max cardinality: 1
subclass of: Restriction
  on property: Pseudostate.stateMachine
  max cardinality: 1

State.redefinitionContext
type: ObjectProperty
type: FunctionalProperty
domain: State
range: Classifier
comment: subsets redefinitionContext

ConnectionPointReference.state
type: ObjectProperty
domain: ConnectionPointReference
range: State
comment: subsets namespace

State.connection
type: ObjectProperty
domain: State
range: ConnectionPointReference
comment: subsets ownedMember

Region.redefinitionContext
type: ObjectProperty
type: FunctionalProperty
domain: Region
range: Classifier
comment: subsets redefinitionContext

Transition.guard
type: ObjectProperty
domain: Transition
range: Constraint
comment: subsets ownedElement

StateMachine.extendedStateMachine
type: ObjectProperty
domain: StateMachine
range: StateMachine
comment: redefines redefinedElement

State.connectionPoint
type: ObjectProperty
domain: State
range: Pseudostate
comment: subsets ownedElement

Pseudostate.state
type: ObjectProperty
domain: Pseudostate
range: State
comment: subsets owner

Transition.container
type: ObjectProperty
type: FunctionalProperty
domain: Transition
range: Region
comment: subsets namespace

Region.transition
type: ObjectProperty
domain: Region
range: Transition
comment: subsets ownedMember

Region.extendedRegion
type: ObjectProperty
domain: Region
range: Region
comment: redefines redefinedElement

State.doActvity
type: ObjectProperty
domain: State
range: Behavior
comment: subsets ownedElement

State.region
type: ObjectProperty
domain: State
range: Region
comment: subsets ownedMember

Region.state
type: ObjectProperty
domain: Region
range: State
comment: subsets namespace

State.exit
type: ObjectProperty
domain: State
range: Behavior
comment: subsets ownedElement

StateMachine.connectionPoint
type: ObjectProperty
domain: StateMachine
range: Pseudostate
comment: subsets ownedMember

Pseudostate.stateMachine
type: ObjectProperty
domain: Pseudostate
range: StateMachine
comment: subsets namespace

State.entry
type: ObjectProperty
domain: State
range: Behavior
comment: subsets ownedElement

Vertex.container
type: ObjectProperty
domain: Vertex
range: Region
comment: subsets namespace

Region.subvertex
type: ObjectProperty
domain: Region
range: Vertex
comment: subsets ownedMember

StateMachine.region
type: ObjectProperty
domain: StateMachine
range: Region
comment: subsets ownedMember

Region.stateMachine
type: ObjectProperty
domain: Region
range: StateMachine
comment: subsets namespace

Transition.effect
type: ObjectProperty
domain: Transition
range: Behavior
comment: subsets ownedElement

State.stateInvariant
type: ObjectProperty
domain: State
range: Constraint
comment: subsets ownedElement

Transition.redefinedTransition
type: ObjectProperty
domain: Transition
range: Transition
comment: redefines redefinedElement

State.redefinedState
type: ObjectProperty
domain: State
range: State
comment: redefines redefinedElement

Transition.redefinitionContext
type: ObjectProperty
type: FunctionalProperty
domain: Transition
range: Classifier
comment: subsets redefinitionContext