Authors:
Wassim Jendoubi
;
Guy Tremblay
and
Aziz Salah
Affiliation:
UQAM, Canada
Keyword(s):
BPEL processes, Run-time monitoring, Interface protocols, Regular expressions.
Related
Ontology
Subjects/Areas/Topics:
Internet Technology
;
Protocols and Standards
;
Web Information Systems and Technologies
;
Web Services and Web Engineering
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.