Discrete Event Models for Web Service Processes-Reference-Cited by-同舟云学术

Discrete Event Models for Web Service Processes

Published:2012 Issue: Volume: Page:91-132
ISSN:
Container-title:Business Enterprise, Process, and Technology Management
language:
Short-container-title:

Author:

Yan Yuhong¹,Haydar May²

Affiliation:

1. Concordia University, Canada

2. Université de Montréal, Canada

Abstract

Web service processes are business processes composed of individual Web services. Web service process description languages, used in both choreography and orchestration, are influenced by techniques from workflow modeling, formal methods and software engineering. Since such languages are based on software scripts to be executed by a process engine, their expressive power indeed is beyond classic discrete event system models, such as process algebra and Petri nets. This chapter analyzes and compares different Web service process description languages, discusses the issues in using discrete event system models to model Web service processes, and also compares Web service processes with workflow processes. The chapter also discusses the suitable methods based on the formal models for various computing tasks, such as verification and validation.

Publisher

IGI Global

Reference115 articles.

1. Alur, R., Kannan, S., & Yannakakis, M. (1999, July). Communicating hierarchical state machines. In Weidermann, J., van Emde Boas, P., & Neilsen, M. (Eds.), Proceedings of the 26th Colloquium on Automata, Languages, and Programming (LNCS 1644, pp. 169-178).

2. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., et al. (2003). Business process execution language for web services (BPEL4WS) 1.1. Retrieved April 10, 2005, from ftp://www6.software.ibm.com/software/developer/library/ws-bpel.pdf

3. Arkin, A., Askary, S., Fordin, S., Jekeli, W., Orchard, D., & Kawaguchi, K. …Zimek, S. (2002). Web service choreography interface (WSCI) 1.0. Retrieved April 10, 2005 from http://www.w3.org/TR/wsci

4. A brief history of process algebra

5. Baeten, T. (1998). In terms of Nets: System design with petri net and process algebra (Unpublished doctoral dissertation). Eindhoven University, Eindhoven, The Netherlands.