Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus

Faisal Abouzaid; John Mullins; Manuel Mazzara; Nicola Dragoni

doi:10.1007/978-3-642-30947-2_58

Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus

Faisal Abouzaid, John Mullins, Manuel Mazzara, Nicola Dragoni

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

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.

Original language	English
Title of host publication	Agent and Multi-Agent Systems. Technologies and Applications : 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings
Publisher	Springer
Publication date	2012
Pages	534-543
ISBN (Print)	978-3-642-30946-5
ISBN (Electronic)	978-3-642-30947-2
DOIs	https://doi.org/10.1007/978-3-642-30947-2_58
Publication status	Published - 2012
Event	6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications - Dubrovnik, Croatia Duration: 25 Jun 2012 → 27 Jun 2012 http://amsta-12.kesinternational.org/

Conference

Conference	6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications
Country	Croatia
City	Dubrovnik
Period	25/06/2012 → 27/06/2012
Internet address	http://amsta-12.kesinternational.org/

Series	Lecture Notes in Computer Science
Volume	7327
ISSN	0302-9743

Access to Document

10.1007/978-3-642-30947-2_58

Fingerprint Dive into the research topics of 'Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus'. Together they form a unique fingerprint.

Cite this

Abouzaid, F., Mullins, J., Mazzara, M., & Dragoni, N. (2012). Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. In Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings (pp. 534-543). Springer. Lecture Notes in Computer Science, Vol.. 7327 https://doi.org/10.1007/978-3-642-30947-2_58

Abouzaid, Faisal ; Mullins, John ; Mazzara, Manuel ; Dragoni, Nicola. / Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer, 2012. pp. 534-543 (Lecture Notes in Computer Science, Vol. 7327).

@inproceedings{66c49cb74df74a4d850d0d01d5bd50d7,

title = "Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus",

abstract = "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.",

author = "Faisal Abouzaid and John Mullins and Manuel Mazzara and Nicola Dragoni",

year = "2012",

doi = "10.1007/978-3-642-30947-2_58",

language = "English",

isbn = "978-3-642-30946-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "534--543",

booktitle = "Agent and Multi-Agent Systems. Technologies and Applications",

note = "6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications ; Conference date: 25-06-2012 Through 27-06-2012",

url = "http://amsta-12.kesinternational.org/",

}

Abouzaid, F, Mullins, J, Mazzara, M & Dragoni, N 2012, Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. in Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer, Lecture Notes in Computer Science, vol. 7327, pp. 534-543, 6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications, Dubrovnik, Croatia, 25/06/2012. https://doi.org/10.1007/978-3-642-30947-2_58

Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. / Abouzaid, Faisal; Mullins, John; Mazzara, Manuel; Dragoni, Nicola.

Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer, 2012. p. 534-543 (Lecture Notes in Computer Science, Vol. 7327).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus

AU - Abouzaid, Faisal

AU - Mullins, John

AU - Mazzara, Manuel

AU - Dragoni, Nicola

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-30947-2_58

DO - 10.1007/978-3-642-30947-2_58

M3 - Article in proceedings

SN - 978-3-642-30946-5

T3 - Lecture Notes in Computer Science

SP - 534

EP - 543

BT - Agent and Multi-Agent Systems. Technologies and Applications

PB - Springer

T2 - 6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications

Y2 - 25 June 2012 through 27 June 2012

ER -

Abouzaid F, Mullins J, Mazzara M, Dragoni N. Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. In Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer. 2012. p. 534-543. (Lecture Notes in Computer Science, Vol. 7327). https://doi.org/10.1007/978-3-642-30947-2_58