2006 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006) (2006)
Nov. 15, 2006 to Nov. 19, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISoLA.2006.58
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.
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.