Policies and aspects for the supervision of BPEL processes

Authors:
Luciano Baresi;Sam Guinea;Pierluigi Plebani
Affiliations:
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy
Venue:
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Year:
2007

Citing 12
Cited 7

The architecture of an active database management system

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Applying "Design by Contract"

Computer
The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services

Journal of Network and Systems Management
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Cremona: an architecture and library for creation and monitoring of WS-agreents

Proceedings of the 2nd international conference on Service oriented computing
A framework for requirents monitoring of service based systems

Proceedings of the 2nd international conference on Service oriented computing
A layered architecture for flexible Web service invocation

Software—Practice & Experience
SH-BPEL: a self-healing plug-in for Ws-BPEL engines

Proceedings of the 1st workshop on Middleware for Service Oriented Computing (MW4SOC 2006)
A user driven policy selection model

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Towards dynamic monitoring of WS-BPEL processes

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
WS-Policy for service monitoring

TES'05 Proceedings of the 6th international conference on Technologies for E-Services

Integration of UML modeling and policy-driven management of Web service systems

PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Runtime monitoring composite web services through stateful aspect extension

Journal of Computer Science and Technology
Towards self-healing web services composition

Proceedings of the First Asia-Pacific Symposium on Internetware
Support for the business motivation model in the WS-Policy4MASC language and MiniZnMASC middleware

ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Specification and monitoring of data-centric temporal properties for service-based systems

Journal of Systems and Software
Autonomic Business-Driven Dynamic Adaptation of Service-Oriented Systems and the WSPolicy4MASC Support for Such Adaptation

International Journal of Systems and Service-Oriented Engineering
Runtime verification of service-oriented systems: a well-rounded survey

International Journal of Web and Grid Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

The execution of business processes with BPEL relies on external Web services, which are not necessarily managed by the process owner. This implies the need to constantly verify the correctness of the interactions between the involved parties. This paper proposes a design process model for the definition of supervised processes, in which supervision rules are automatically generated starting from the policies that characterize the external services. These policies exploit WSCoL as a language for describing constraints on the messages exchanged with the business process. In addition, we also present a new version of Dynamo: a prototype of an aspect oriented execution environment that conjugates a BPEL engine and a supervision framework.