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

  • Authors:

  • Niels Lohmann;Karsten Wolf

  • Affiliations:

  • Universität Rostock, Institut für Informatik, Rostock, Germany;Universität Rostock, Institut für Informatik, Rostock, Germany

  • Venue:
  • BPM'10 Proceedings of the 8th international conference on Business process management
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

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.