Bridging Global and Local Models of Service-Oriented Systems

Abstract

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 can not 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.

A Study Into the Factors That Influence the Understandability of Business Process Models

“…We are focusing on so-called activity-based or controlflow-based process models (in contrast to goal-oriented [15] and choreography-oriented languages [16]). Figure 1 shows an example of such a process model in a notation that we will use throughout this paper.…”

A Life Cycle for Coupled Multi-scale, Multi-field Experiments Realized through Choreographies

“…Choreographies are a concept known from the business domain that enables independent organizations to collaborate and reach a common business goal. Choreographies provide a global view on the interconnection of independent organizations communicating without a central coordinator [15], [16]. Therefore, choreographies are coordinated peer-to-peer-like interactions between services or orchestrations of services (i.e., workflows).…”

An approach to identifying causes of implied scenarios using unenforceable orders

“…Recently, in the service-oriented architecture area, several researches for detecting the implied scenarios were presented as a name of ''check of local enforceability'' [7,19]. However, those works only check whether the implied scenarios exist or not, like Alur et al's work [2].…”