Book chapter · Conference paper
Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus
The BP-calculus is a formalism based on the π-calculus and encoded in WS-BPEL. The BP-calculus is intended to specificaly 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.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2012 |
Pages: | 534-543 |
Proceedings: | 6th International KES Conference on Agents and Multi-agent Systems – Technologies and ApplicationsInternational Conference on Agent and Multi-Agent Systems: Technology and Applications |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | 6th Kes International Conference, Kes-amsta 2012,dubrovnik, Croatia, June 25-27, 2012. Proceedings |
ISBN: | 3642309461 , 364230947X , 364230947x , 9783642309465 and 9783642309472 |
ISSN: | 16113349 and 03029743 |
Types: | Book chapter and Conference paper |
DOI: | 10.1007/978-3-642-30947-2_58 |
ORCIDs: | Dragoni, Nicola |