论文信息 - An Execution Semantics for Mediation Patterns

An Execution Semantics for Mediation Patterns

This paper utilizes the abstract, formal specification of mediators as described by the Virtual Provider approach for an explicit specification of the execution semantics of workflow interaction patterns.

Egon Börger | Jens Lemcke | Michael Altenhofen

[1] Egon Börger,et al. A High-Level Specification for Mediators(Virtual Providers) , 2005, Business Process Management Workshops.

[2] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .

[3] Wil M. P. van der Aalst,et al. Workflow Patterns , 2004, Distributed and Parallel Databases.

[4] R. Stärk,et al. Abstract State Machines , 2003, Springer Berlin Heidelberg.

[5] Marlon Dumas,et al. Service interaction patterns : towards a reference framework for service-based business process interconnection , 2005 .

[6] Egon Börger,et al. Abstract State Machines , 2003 .

[7] T. D. Fletcher,et al. Web Services Choreography Description Language Version 1.0, W3C , 2004 .

[8] Wil M. P. van der Aalst,et al. Advanced Workflow Patterns , 2000, CoopIS.

[9] Egon Börger,et al. Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .