Typed Business Process Specification

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, multi-dimensional software modeling tool.