INTERFACE EXPRESSIONS MONITORING FOR BPEL PROCESSES

Wassim Jendoubi, Guy Tremblay, Aziz Salah

2011

Abstract

In this paper, we show how Web services descriptions can be extended with simple declarative behavior specification using interface expressions, a form of regular expressions that describe the possible sequences of externally observable events that a WS-BPEL process can perform. We describe how a concrete (executable) WS-BPEL process can be monitored with respect to such interface expressions, to ensure that it satisfies its associated abstract specification or to detect the occurrence, or non-occurrence, of some particular sequences of events. More specifically, we describe the implementation of such a run-time monitor, called BPEL.RPM, that uses the Open ESB BPEL service engine.

Download


Paper Citation


in Harvard Style

Jendoubi W., Tremblay G. and Salah A. (2011). INTERFACE EXPRESSIONS MONITORING FOR BPEL PROCESSES . In Proceedings of the 7th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-989-8425-51-5, pages 131-134. DOI: 10.5220/0003319001310134

in Bibtex Style

@conference{webist11,
author={Wassim Jendoubi and Guy Tremblay and Aziz Salah},
title={INTERFACE EXPRESSIONS MONITORING FOR BPEL PROCESSES},
booktitle={Proceedings of the 7th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2011},
pages={131-134},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003319001310134},
isbn={978-989-8425-51-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - INTERFACE EXPRESSIONS MONITORING FOR BPEL PROCESSES
SN - 978-989-8425-51-5
AU - Jendoubi W.
AU - Tremblay G.
AU - Salah A.
PY - 2011
SP - 131
EP - 134
DO - 10.5220/0003319001310134