Issue No. 02 - March/April (2011 vol. 37)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2010.37
Luciano Baresi , Politecnico di Milano, Milano, Italy
Sam Guinea , Politecnico di Milano, Milano, Italy
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.
Software engineering, software/program verification, assertion checkers, assertion languages, performance, design tools and techniques, distributed/Internet-based software engineering tools and techniques.
Luciano Baresi, Sam Guinea, "Self-Supervising BPEL Processes", IEEE Transactions on Software Engineering, vol. 37, no. , pp. 247-263, March/April 2011, doi:10.1109/TSE.2010.37