Self-Supervising BPEL Processes

被引:66
作者
Baresi, Luciano [1 ]
Guinea, Sam [1 ]
机构
[1] Politecn Milan, Dipartimento Elettron & Informaz, I-20133 Milan, Italy
基金
美国国家科学基金会; 英国工程与自然科学研究理事会;
关键词
Software engineering; software/program verification; assertion checkers; assertion languages; performance; design tools and techniques; distributed/Internet-based software engineering tools and techniques; RUNTIME;
D O I
10.1109/TSE.2010.37
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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 crosscutting 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.
引用
收藏
页码:247 / 263
页数:17
相关论文
共 38 条
[1]  
ALONSO G, 1997, ADV T MODELS ARCHITE
[2]   PAWS: A framework for executiong adaptive Web-service processes [J].
Ardagna, Banilo ;
Comuzzi, Marco ;
Mussi, Enrico ;
Pernici, Barbara ;
Plebani, Pierluigi .
IEEE SOFTWARE, 2007, 24 (06) :39-46
[3]   Adaptive service composition in flexible processes [J].
Ardagna, Danilo ;
Pernici, Barbara .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2007, 33 (06) :369-384
[4]  
BAJAJ S, 2006, VERSION, V1
[5]  
Baresi L, 2005, LECT NOTES COMPUT SC, V3826, P269
[6]  
BARESI L, 2007, P 19 INT C ADV INF S, P340
[7]  
BARESI L, 2006, P WORKSH SOFTW ARCH, P337
[8]  
BARESI L, 2008, P 1 IND SOFTW ENG C, P39
[9]  
Baresi L, 2006, 30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, P249
[10]   An overview of JML tools and applications [J].
Burdy L. ;
Cheon Y. ;
Cok D.R. ;
Ernst M.D. ;
Kiniry J.R. ;
Leavens G.T. ;
Leino K.R.M. ;
Poll E. .
International Journal on Software Tools for Technology Transfer, 2005, 7 (3) :212-232