Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition

This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can be handled by different web services, and describes a system of inter-related web services as the flow of documents between them. The notation allows the typical web services composition pattern, asynchronous messaging, and has the capability to deal with long-running service-to-service interactions and dynamic configuration behaviors.

[1]  Jan Bosch,et al.  Software Reuse: Methods, Techniques, and Tools , 2004, Lecture Notes in Computer Science.

[2]  Tony Andrews Business Process Execution Language for Web Services Version 1.1 , 2003 .

[3]  Matthew MacDonald,et al.  Web Services Architecture , 2004 .

[4]  Peter Henderson,et al.  Modelling architectures for dynamic systems , 2003 .

[5]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[6]  Peter Henderson,et al.  Reusable Web Services , 2004, ICSR.

[7]  Peter Henderson,et al.  Laws for dynamic systems , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[8]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[9]  Corina Cîrstea,et al.  An operational semantics for DFM, a formal notation for modelling asynchronous Web services coordination , 2005, Fifth International Conference on Quality Software (QSIC'05).