Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling and Analysis of Dynamic Reconfiguration in BP-calculus

Lookup NU author(s): Dr Manuel Mazzara



The BP-calculus is a formalism based on the pi-calculus and encoded 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.

Publication metadata

Author(s): Abouzaid F, Mullins J, Mazzara M, Dragoni N

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 15

Print publication date: 01/04/2012

Source Publication Date: April 2012

Report Number: 1322

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne