An Abstract Model for Process Mediation

We define a high-level model to mathematically capture the behavioural interface of abstract Virtual Providers (VP), their refinements and their composition into rich mediator structures. We show for a Virtual Internet Service Provider example how to use such a model for rigorously formulating and proving properties of interest.

[1]  Gregory H. Harris,et al.  Review of "Abstract state machines: a method for high-level system design and analysis" by Egon Börger and Robert Stärk. Springer-Verlag 2003. , 2004, SOEN.

[2]  Paulo F. Pires,et al.  Building Reliable Web Services Compositions , 2002, Web, Web-Services, and Database Systems.

[3]  Christof Bornhövd,et al.  Semantically meaningful data exchange in loosely coupled environments , 2000 .

[4]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[5]  Dieter Fensel,et al.  The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[6]  Rob Harrop,et al.  Configuring Web Services , 2004 .

[7]  Yugyung Lee,et al.  Compositional knowledge management for medical services on semantic web , 2004, WWW Alt. '04.

[8]  Egon Börger,et al.  A high-level specification for Semantic Web Service Discovery Services , 2006, ICWE '06.

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

[10]  Egon Börger,et al.  An Execution Semantics for Mediation Patterns , 2005, WIW.

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

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

[13]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[14]  Piergiorgio Bertoli,et al.  Planning and Monitoring Web Service Composition , 2004, AIMSA.

[15]  Egon Börger,et al.  The ASM Refinement Method , 2003, Formal Aspects of Computing.

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

[17]  Egon Börger,et al.  A Compositional Framework for Service Interaction Patterns and Interaction Flows , 2005, ICFEM.