Self-Supervising BPEL Processes
Luciano Baresi,Sam Guinea +1 more
TL;DR: The paper introduces two languages for defining monitoring and recovery and explains how to use them to enrich BPEL processes with self-supervision capabilities, and presents a supervision-aware runtime framework for executing the enriched processes.
read more
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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
2.9K
A framework for evaluating quality-driven self-adaptive software systems
Norha M. Villegas,Hausi A. Müller,Gabriel Tamura,Laurence Duchien,Rubby Casallas +4 more
- 23 May 2011
TL;DR: This paper proposes a framework for evaluating quality-driven self-adaptive software systems, based on a survey of self- Adaptive system papers and a set of adaptation properties derived from control theory properties, and establishes a mapping between these properties and software quality attributes.
Dynamic adaptation of service compositions with variability models
TL;DR: A solution based on a semantically rich variability model to support the dynamic adaptation of service compositions and its possible configurations are verified at design time using Constraint Programming.
150
The disappearing boundary between development-time and run-time
Luciano Baresi,Carlo Ghezzi +1 more
- 07 Nov 2010
TL;DR: It is advocated that future software engineering research should focus on providing intelligent support to software at run-time, breaking today's rigid boundary between development-time and run- time.
137
Online QoS Prediction for Runtime Service Adaptation via Adaptive Matrix Factorization
TL;DR: AMF is inspired from the widely-used collaborative filtering techniques in recommender systems, but significantly extends the conventional matrix factorization model with new techniques of data transformation, online learning, and adaptive weights to enable optimal runtime service adaptation.
131
References
Aspect-oriented programming
Gregor Kiczales,Erik Hilsdale +1 more
- 01 Sep 2001
TL;DR: This tutorial shows how to use AOP to implement crosscutting conerns in a concise modular way and includes a description of their underlying model, in terms of which a wide range of AOP languages can be understood.
5.6K
Web Services Business Process Execution Language Version 2.0
Charlton Barreto,Vaughn Bullard,Thomas Erl,John Evdemon,Diane Jordan,Khanderao Kand,Dieter König,Simon Moser,Ralph Stout,Ron Ten-Hove,Ivana Trickovic,Danny van der Rijn,Alex Yiu +12 more
- 01 Jan 2007
TL;DR: The continuity of the basic conceptual model between Abstract and Executable Processes in WSBPEL makes it possible to export and import the public aspects embodied in Abstract Processes as process or role templates while maintaining the intent and structure of the observable behavior.
3.1K
•Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
2.9K
Applying 'design by contract'
TL;DR: Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems are presented and the theory of contract design and the role of assertions in that theory are discussed.
Patterns in property specifications for finite-state verification
Matthew B. Dwyer,George S. Avrunin,James C. Corbett +2 more
- 16 May 1999
TL;DR: A survey of available specifications found that most are instances of the proposed pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification.