Proof Techniques for Adapter Generation
We study the composition and substitution of services from a theoretical perspective. An important notion is the operating guideline of a service y, which is defined as the set of services x such that the result of connecting x and y has a certain desired property. We define several related notions and derive results for them in a general context, thus abstracting from the underlying formalism, be it process algebra, Petri nets or something else. We then focus on the open Petri-net (and oWFN) formalism, and address the automated generation of adapters.
KeywordsComposition Operator Service Composition Transformation Rule Proof Technique Process Algebra
Unable to display preview. Download preview PDF.
- [CGP08]Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. In: Proceedings of Principles of Programming Languages, pp. 261–272 (2008)Google Scholar
- [GMW08]Gierds, C., Mooij, A.J., Wolf, K.: Specifying and generating behavioral service adaptors based on transformation rules. Preprints CS-02-08, Institut fur Informatik, Universitat Rostock (2008)Google Scholar
- [MS05]Massuthe, P., Schmidt, K.: Operating guidelines — an automata-theoretic foundation for the service-oriented architecture. In: Proceedings of Quality Software. IEEE, Los Alamitos (2005)Google Scholar