|
1. |
Analysis Techniques for Service Models
Reisig, W.; Fahland, D.; Lohmann, N.; Massuthe, P.; Stahl, C.; Weinberg, D.; Wolf, K.; Kaschner, K.;
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
15-19 Nov. 2006
Page(s):11
-
17
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. In order to emphasize that our models properly reflect real world issues of services, we also show that services represented in established languages such as WS-BPEL can be transformed into our formal method.
|
Cart
