@inproceedings{cec76e435f2d48f085bf9a178ebb4759,
title = "How to implement a theory of correctness in the area of business processes and services",
abstract = "During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganizational business processes). For most of the results, we presented tools and experimental evidence for the computational capabilities of our approaches. Over the time, the implementations grew to a consistent and interoperable family of tools, which we call service-technology.org . This paper aims at presenting this tool family service-technology.org as a whole. We briefly sketch the underlying formalisms and covered problem settings and describe the functionality of the participating tools. Furthermore, we discuss several lessons that we learned from the development and use of this tool family. We believe that the lessons are interesting for other academic tool development.",
author = "N. Lohmann and K. Wolf",
year = "2010",
doi = "10.1007/978-3-642-15618-2\_7",
language = "English",
isbn = "978-3-642-15617-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "61--77",
editor = "R. Hull and J. Mendling and S. Tai",
booktitle = "Business Process Management (8th International Conference, BPM 2010, Hoboken NJ, USA, September 13-16, 2010. Proceedings)",
address = "Germany",
}