How to implement a theory of correctness in the area of business processes and services

N. Lohmann, K. Wolf

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    13 Citations (Scopus)


    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 . This paper aims at presenting this tool family 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.
    Original languageEnglish
    Title of host publicationBusiness Process Management (8th International Conference, BPM 2010, Hoboken NJ, USA, September 13-16, 2010. Proceedings)
    EditorsR. Hull, J. Mendling, S. Tai
    Place of PublicationBerlin
    ISBN (Print)978-3-642-15617-5
    Publication statusPublished - 2010

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743


    Dive into the research topics of 'How to implement a theory of correctness in the area of business processes and services'. Together they form a unique fingerprint.

    Cite this