How to Implement a Theory of Correctness in the Area of Business Processes and Services
How to Implement a Theory of Correctness in the Area of Business Processes and Services
复制标题
如何在业务流程和服务领域实施正确性理论
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
K. Wolf
中科院分区：
文献类型：
--
作者：
Niels Lohmann;K. Wolf
在过去的几年里，我们提出了一些结果，涉及到各种问题的正确性模型的业务流程和服务（即。例如，组织间业务流程）。对于大多数结果，我们提出了工具和实验证据，我们的方法的计算能力。随着时间的推移，这些实现发展成为一个一致的、可互操作的工具系列，我们称之为SERVICE-TECHNOLOGY. ORG。
本文旨在介绍这个工具家族SERVICE-TECHNOLOGY. ORG.作为一个整体。我们简要概述了基本的形式主义和涵盖的问题设置，并描述了参与工具的功能。此外，我们讨论了几个教训，我们从这个工具系列的开发和使用。我们相信，这些经验教训对其他学术工具的开发是有趣的。
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.