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

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#1
type: Restriction
on property: Vertex.container
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#2
type: Restriction
on property: Transition.guard
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#3
type: Restriction
on property: Transition.trigger
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#4
type: Restriction
on property: Transition.effect
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#5
type: Restriction
on property: Transition.redefinedTransition
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#6
type: Restriction
on property: State.submachine
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#7
type: Restriction
on property: State.doActvity
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#8
type: Restriction
on property: State.exit
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#9
type: Restriction
on property: State.entry
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#10
type: Restriction
on property: State.stateInvariant
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#11
type: Restriction
on property: State.redefinedState
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#12
type: Restriction
on property: StateMachine.extendedStateMachine
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#13
type: Restriction
on property: StateMachine.region
min cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#22
type: Restriction
on property: Region.extendedRegion
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#23
type: Restriction
on property: Region.state
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#24
type: Restriction
on property: Region.stateMachine
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#47
type: Restriction
on property: ConnectionPointReference.state
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#48
type: Restriction
on property: Pseudostate.state
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/a4fd0cdde74ad9a0414ccc109d8b115e#49
type: 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