DocumentCode :
1134938
Title :
Bridging Global and Local Models of Service-Oriented Systems
Author :
Zaha, Johannes Maria ; Dumas, Marlon ; ter Hofstede, Arthur H. M. ; Barros, Alistair ; Decker, Gero
Volume :
38
Issue :
3
fYear :
2008
fDate :
5/1/2008 12:00:00 AM
Firstpage :
302
Lastpage :
318
Abstract :
A service-oriented system is a collection of independent services that interact with one another through message exchanges. Languages such as the Web Services Description Language (WSDL) and the Business Process Execution Language (BPEL) allow developers to capture the interactions in which an individual service can engage, both from a structural and from a behavioral perspective. However, in large service-oriented systems, stakeholders may require a global picture of the way services interact with each other, rather than multiple small pictures focusing on individual services. Such global models are especially useful when a set of services interact in such a way that none of them sees all messages being exchanged, yet interactions between some services may affect the way other services interact. Unfortunately, global models of service interactions may sometimes capture behavioral constraints that cannot be enforced locally. In other words, some global models may not be translatable into a set of local models such that the sum of the local models equals the original global model. Starting from a previously proposed language for global modeling of service interactions, this paper defines an algorithm for determining if a global model is locally enforceable and an algorithm for generating local models from global ones. It also shows how local models are mapped into templates of BPEL process definitions.
Keywords :
Web services; message passing; specification languages; BPEL; WSDL; Web service choreography; Web services description language; business process execution language; global service interaction model; message exchange; service-oriented system; Australia; Computer science; Distributed computing; Information systems; Information technology; Service oriented architecture; Simple object access protocol; Unified modeling language; Web services; XML; choreography; orchestration; service-oriented architecture; web service;
fLanguage :
English
Journal_Title :
Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on
Publisher :
ieee
ISSN :
1094-6977
Type :
jour
DOI :
10.1109/TSMCC.2008.919193
Filename :
4492364
Link To Document :
بازگشت