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
Link To Document :
بازگشت