Typed business process specification

Authors Colin Atkinson
Dirk Draheim
Verena Geist
Title Typed business process specification
Booktitle Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2010)
Type in proceedings
Publisher IEEE
Department EAP
ISBN 978-1-4244-7966-5
Month October
Year 2010
Pages 69-78
SCCH ID# 1006
Abstract

In this paper we propose a typed approach to business process specification based on typed workflow charts. These can be exploited as a domain-specific programming language and facilitate tight integration between workflow definition and system dialogue programming. The approach also supports the integration of business process modeling and business process automation. We discuss two ways of exploiting this potential for integration, one is the design of an integrated business process management suite and the other is a software artifact tracker based on a view-based, multidimensional software modeling tool.