@inproceedings{8d7f733dfe0740e88357173b3a89dc11,
title = "Soundness-preserving refinements of service compositions",
abstract = "Soundness is one of the well-studied properties of processes; it denotes that a final state can be reached from every state that is reachable from the initial state. Soundness-preserving refinements are important for enabling the compositional design of systems. In this paper we concentrate on refinements of service compositions. We model service compositions using Petri nets, and consider specific pairs of places that belong to different services. Starting from a sound service composition, we show how to check whether such a pair of places can be refined by another sound service composition, so that soundness is preserved through the refinement.",
author = "\{Hee, van\}, K.M. and A.J. Mooij and N. Sidorova and \{Werf, van der\}, J.M.E.M.",
year = "2011",
doi = "10.1007/978-3-642-19589-1\_9",
language = "English",
isbn = "978-3-642-19588-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "131--145",
editor = "M. Bravetti and T. Bultan",
booktitle = "Web Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010. Revised selected papers)",
address = "Germany",
}