Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

View graph of relations

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 languageEnglish
Title of host publicationAgent and Multi-Agent Systems. Technologies and Applications : 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings
PublisherSpringer
Publication date2012
Pages534-543
ISBN (print)978-3-642-30946-5
ISBN (electronic)978-3-642-30947-2
DOIs
StatePublished

Conference

Conference6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications
CountryCroatia
CityDubrovnik
Period25/06/1227/06/12
Internet addresshttp://amsta-12.kesinternational.org/
NameLecture Notes in Computer Science
Volume7327
ISSN (Print)0302-9743
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 41013052