Typed business process specification
|Title||Typed business process specification|
|Booktitle||Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2010)|
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.