The Community for Technology Leaders
2006 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006) (2006)
Paphos
Nov. 15, 2006 to Nov. 19, 2006
ISBN: 978-0-7695-3071-0
pp: 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. 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.
INDEX TERMS
null
CITATION

K. Wolf et al., "Analysis Techniques for Service Models," 2006 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006)(ISOLA), Paphos, 2006, pp. 11-17.
doi:10.1109/ISoLA.2006.58
96 ms
(Ver 3.3 (11022016))