• DocumentCode
    1443097
  • Title

    Self-Supervising BPEL Processes

  • Author

    Baresi, Luciano ; Guinea, Sam

  • Author_Institution
    Dipt. di Elettron. e Inf., Politec. di Milano, Milan, Italy
  • Volume
    37
  • Issue
    2
  • fYear
    2011
  • Firstpage
    247
  • Lastpage
    263
  • Abstract
    Service compositions suffer changes in their partner services. Even if the composition does not change, its behavior may evolve over time and become incorrect. Such changes cannot be fully foreseen through prerelease validation, but impose a shift in the quality assessment activities. Provided functionality and quality of service must be continuously probed while the application executes, and the application itself must be able to take corrective actions to preserve its dependability and robustness. We propose the idea of self-supervising BPEL processes, that is, special-purpose compositions that assess their behavior and react through user-defined rules. Supervision consists of monitoring and recovery. The former checks the system´s execution to see whether everything is proceeding as planned, while the latter attempts to fix any anomalies. The paper introduces two languages for defining monitoring and recovery and explains how to use them to enrich BPEL processes with self-supervision capabilities. Supervision is treated as a cross-cutting concern that is only blended at runtime, allowing different stakeholders to adopt different strategies with no impact on the actual business logic. The paper also presents a supervision-aware runtime framework for executing the enriched processes, and briefly discusses the results of in-lab experiments and of a first evaluation with industrial partners.
  • Keywords
    Web services; business process re-engineering; program verification; service-oriented architecture; business logic; business process execution language; industrial partner; quality assessment; self supervising BPEL process; stakeholder; supervision aware runtime framework; Software engineering; assertion checkers; assertion languages; design tools and techniques; distributed/Internet-based software engineering tools and techniques.; performance; software/program verification;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.2010.37
  • Filename
    5432226