@inproceedings{a0df72bd5ba644d6b451d7b0a78cfa83,
title = "Proof techniques for adapter generation",
abstract = "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.",
author = "A.J. Mooij and M. Voorhoeve",
year = "2009",
doi = "10.1007/978-3-642-01364-5\_13",
language = "English",
isbn = "978-3-642-01363-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "207--223",
editor = "R. Bruni and K. Wolf",
booktitle = "Web Services and Formal Methods (5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers)",
address = "Germany",
}