Loading...

Realizability and dynamic reconfiguration of chor specifications

Roohi, N ; Sharif University of Technology

779 Viewed
  1. Type of Document: Article
  2. Abstract:
  3. Choreography description languages aim at specifying from a global point of view interactions among a set of services involved in a new system. From this specification, local implementations or peers can be automatically generated. Generation of peers that precisely implement the choreography specification is not always possible: This problem is known as realizability. When peers corresponding to this specification are being executed we may want to modify the choreography specification and reconfigure dynamically the system. This is the case for instance if we add or remove interactions due to the addition of functionalities to the system at hand or the loss of a service. In this article, we present our solutions to check if a choreography is realizable and if a specific reconfiguration can be applied or not
  4. Keywords:
  5. Dynamic reconfiguration ; Choreography ; Dynamic re-configuration ; Labeled transition systems ; Process calculus ; Realizability ; Calculations ; Dynamic models ; Specifications
  6. Source: Informatica (Ljubljana) ; Volume 35, Issue 1 , 2011 , Pages 39-49 ; 03505596 (ISSN)
  7. URL: http://www.informatica.si/index.php/informatica/article/view/332