Service Interaction Modeling: Bridging Global and Local Views

Zaha, Johannes Maria; Dumas, Marlon; Hofstede, Arthur H. M. ter; Barros, Alistair; Decker, Gero

doi:10.1109/edoc.2006.50

Cited by 72 publications

(53 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…detecting interactions in a choreography that will never be executed). A more in-depth discussion on desirable properties of Let's Dance choreographies is provided in [20]. In particular, this latter reference discusses the issue of local enforceability of Let's Dance choreographies, which is a prerequisite to generating local models from choreographies.…”

Section: Conclusion and Future Research Directionsmentioning

confidence: 99%

Let’s Dance: A Language for Service Behavior Modeling

Zaha

Barros²,

Dumas

et al. 2006

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

Self Cite

124

View full text Add to dashboard Cite

Abstract. In Service-Oriented Architectures (SOAs), software systems are decomposed into independent units, namely services, that interact with one another through message exchanges. To promote reuse and evolvability, these interactions are explicitly described right from the early phases of the development lifecycle. Up to now, emphasis has been placed on capturing structural aspects of service interactions. Gradually though, the description of behavioral dependencies between service interactions is gaining increasing attention as a means to push forward the SOA vision. This paper deals with the description of these behavioral dependencies during the analysis and design phases. The paper outlines a set of requirements that a language for modeling service interactions at this level should fulfill, and proposes a language whose design is driven by these requirements.

show abstract

Section: Conclusion and Future Research Directionsmentioning

confidence: 99%

Let’s Dance: A Language for Service Behavior Modeling

Zaha

Barros²,

Dumas

et al. 2006

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE

Self Cite

124

View full text Add to dashboard Cite

show abstract

“…A similar approach has been done with use of the BPE-calculus and the Concurrency Workbench (CWB) in [21] and Petri nets in [29]. [33] tackles the formal specification of a protocol of interaction between services expressed as a pattern of messages.…”

Section: Propositional Workflows Propositional Propertiesmentioning

confidence: 99%

“…It is important to note, however, that although these works do not model data, this abstraction is an appropriate simplification to tackle problems that are outside the scope of the present paper. For example, [33] provides an algorithm that determines whether services are "locally enforceable"; modelling the data content in messages in such a work is an open problem, and would render such a question much more complex and perhaps intractable in practice.…”

Section: Propositional Workflows Propositional Propertiesmentioning

confidence: 99%

See 1 more Smart Citation

Model Checking Data-Aware Workflow Properties with CTL-FO+

Hallé¹,

Villemaire²,

Cherkaoui³

et al. 2007

11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)

View full text Add to dashboard Cite

Most works that extend workflow validation beyond syntactical checking consider constraints on the sequence of messages exchanged between services. However, these constraints are expressed only in terms of message names and abstract away their actual data content. Using the context of the User-controlled Lightpath initiative (UCLP) hosted by the CANARIE consortium, we provide examples of realworld "data-aware" web service constraints where the sequence of messages and their content are interdependent. We present CTL-FO + , an extension over Computation Tree Logic that includes first-order quantification on state variables in addition to temporal operators. We show how CTL-FO + is adequate for expressing data-aware constraints, give a complete model checking algorithm for CTL-FO + and establish its complexity to be PSPACE-complete. This makes using CTL-FO + for validating workflow properties no harder than using the Linear Temporal Logic (LTL) already used by some web service tools. Finally, we show how the modelling of data-aware properties is an increase in expressiveness that cannot be efficiently simulated by these tools.

show abstract

“…In [25,24], a new modeling technique called Let's Dance was introduced, together with a set of desirable properties of interacting processes, such as local enforceability. The basic idea of this approach is avoiding to connect the communication interfaces of the participants, but to concentrate on the actual interactions and define control flow between them.…”

Section: Modeling and Impactmentioning

confidence: 99%

Reflections on a Decade of Interorganizational Workflow Research

Aalst

Weske

2013

Seminal Contributions to Information Systems Engineering

View full text Add to dashboard Cite

The Public-To-Private (P2P) approach presented at CAiSE in 2001 provides a correctness-by-construction approach to realize interorganizational workflows. A behavioral inheritance notion is used to ensure correctness: organizations can alter their private workflows as long as these remain subclasses of the agreedupon public workflow. The CAiSE'01 paper illustrates the strong relationship between business process management and service-orientation. Since 2001, there is a trend from the investigation of individual process orchestrations to interacting processes, i.e., process choreographies. In this paper, we reflect on the original problem statement and discuss related work.

show abstract

Service Interaction Modeling: Bridging Global and Local Views

Cited by 72 publications

References 7 publications

Let’s Dance: A Language for Service Behavior Modeling

Let’s Dance: A Language for Service Behavior Modeling

Model Checking Data-Aware Workflow Properties with CTL-FO+

Reflections on a Decade of Interorganizational Workflow Research

Contact Info

Product

Resources

About