A formal model for service interaction topologies

In a Service-Oriented Architecture (SOA), a system consists of a collection of independent units (services) and interactions among them through message exchanges. Modeling of service interaction and interaction topology is key aspect in the development of next generation web services based software systems. In this paper, we propose a formal model for service interaction topologies named Coordination Behavioral Structure(CBS) which is composed of relationships between service interactions. Six kinds of relationships between interactions are presented to define the behavioral dependency among services. CBS graph which is the visual description of interaction topologies is proposed with extended compositors of relationships. For illustrating CBS model, two examples, purchase order and scientific collaboration are presented.

[1]  Yongwang Zhao,et al.  SOCOM: A Service-Oriented Collaboration Middleware for Multi-User Interaction with Web Services based Scientific Resources , 2007, Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07).

[2]  Marlon Dumas,et al.  Service Interaction Modeling: Bridging Global and Local Views , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

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

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

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

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