Analysis Techniques for Service Models

Authors:
Wolfgang Reisig;Dirk Fahland;Niels Lohmann;Peter Massuthe;Christian Stahl;Daniela Weinberg;Karsten Wolf;Kathrin Kaschner
Affiliations:
-;-;-;-;-;-;-;-
Venue:
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Year:
2006

Citing 0
Cited 2

Search, adapt, and reuse: the future of scientific workflows

ACM SIGMOD Record
Controversy Corner: Automatic execution of business process models: Exploiting the benefits of Model-driven Engineering approaches

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paradigm of Service-Oriented Computing (SOC) provides a framework for interorganizational business processes and for the emerging programming-in-the-large. The basic idea of SOC, the interaction of services, rises a lot of issues such as proper termination of interacting services or substitution of a service by another one. Such issues can be addressed by means of models of services. We show how services can intelligibly be modeled, and we present algorithms and tools to analyze properties of service models. To make sure that our models properly reflect real world issues of services, we model and investigate services represented in established languages such as WS-BPEL.