A Formal Model for Service Interaction Topologies

Yongwang Zhao,Dianfu Ma,Min Liu,Chunyang Hu
2008-01-01
Abstract: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.
What problem does this paper attempt to address?