返回
摘要
En 中文
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.
Keyword:
Software engineering
software/program verification
assertion checkers
assertion languages
performance
design tools and techniques
distributed/Internet-based software engineering tools and techniques
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.8K
被引数:
1.1W
机构
引用论文
SURGERY IN PARKINSON'S DISEASE DIVISION OF LATERAL PYRAMIDAL TRACT FOR TREMOR帕金森病外侧锥体束区震颤的手术治疗
The Lancet
IF0
Effect of grazing strategy, ryegrass overdrilling and herbicide application on vulpia content, tiller density and seed production in perennial pastures放牧策略、黑麦草超量播种和除草剂施用对多年生草地中罂粟含量、分蘖密度和种子产量的影响

