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.
CITATION STYLE
Mooij, A. J., & Voorhoeve, M. (2009). Proof techniques for adapter generation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5387, pp. 55–72). https://doi.org/10.1007/978-3-642-01364-5_4
Mendeley helps you to discover research relevant for your work.