Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus

Faisal Abouzaid, John Mullins, Manuel Mazzara, Nicola Dragoni

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 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
    Publication statusPublished - 2012
    Event6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications - Dubrovnik, Croatia
    Duration: 25 Jun 201227 Jun 2012
    http://amsta-12.kesinternational.org/

    Conference

    Conference6th International KES Conference on Agents and Multi-agent Systems – Technologies and Applications
    CountryCroatia
    CityDubrovnik
    Period25/06/201227/06/2012
    Internet address
    SeriesLecture Notes in Computer Science
    Volume7327
    ISSN0302-9743

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

    Cite this