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.

References

  1. Andrews, T., et al. (2003). Business process execution language for web services (BPEL4WS) version 1.1. http://www-128.ibm.com/developerworks/library/wsbpel.
  2. Clements, P. and al. (2003). Documenting Software Architectures: Views and Beyond. Addison-Wesley.
  3. Delgado, N., Gates, A., and Roach, S. (2004). A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Transactions on Software Engineering, 30(12):859-872.
  4. Plasil, F. and Visnovsky, S. (2002). Behavior protocols for software components. IEEE Tran. Soft. Eng., 28(11):1056-1076.
  5. Schneider, F. (2000). Enforceable security policies. ACM Trans. Inf. Syst. Secur., 3(1):30-50.
  6. Tremblay, G. and Chae, J. (2005). Towards specifying contracts and protocols for Web services. In MCETECH 7805, pages 73-85.
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