About Open Access
Modelling and Analysis of Dynamic Reconguration in BP-calculus
Lookup NU author(s)
Dr Manuel Mazzara
Abouzaid F, Mullins J, Mazzara M, Dragoni N
Conference Proceedings (inc. Abstract)
1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS)
Year of Conference
Source Publication Date
25-27 June 2012
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
The BP-calculus is a formalism based on the pi- calculus andencoded in WS-BPEL. The BP-calculus is intended to specifically model and verify Service Oriented Applications. One important feature of SOA is the ability to compose services that may dynamically evolve along runtime. Dynamic reconfiguration of services increases their availability, but puts accordingly, heavy demands for validation, verification, and evaluation. In this paper we formally model and analyze dynamic reconfigurations and their requirements in BP-calculus and show how reconfigurable components can be modeled using handlers that are essential parts of WS-BPEL language.
Newcastle University Library, NE2 4HQ, United Kingdom. Tel: 0044 (191) 208 7657
©2017 Newcastle University Library