Current Slide

Choreography – Abstract State Machines (cont')

• The choreography model consists primarily of
  
  • state signature – defines ontology which is used by the choreography,
    
  • set of transition rules – express the interaction steps in the choreography and also the updates over the state.
• State signature allows to define
  
  • Set of imported ontologies
    
  • Set of modes which are associated with the concepts and/or relations.
• Modes can be of the following types:
  
  • static – extension of the concept/relation cannot be changed,
    
  • in - extension of the concept/relation can only be changed by the client and read by the choreography instance; grounding mechanism must be provided.
  • out - extension of the concept/relation can only be changed by the the choreography instance and read by the client; grounding mechanism must be provided.
    
  • shared - extension of the concept/relation can be changed and read by both choreography instance and client; grounding mechanism must be provided, and
    
  • controlled - extension of the concept/relation is changed and read only by the choreography instance.