Transforming business process models in the presence of irreducibility and concurrency

Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artefacts and their life cycle; the second paradigm is based on the business tasks and their sequencing. Transformation is an effective way to bridge the gap between business level analysis and IT solutions. We present algorithms that transform business process models based on these two paradigms into IT solutions of web service platform. The specific problems we addressed in this transformation are: (1) how to generate the implementation code of an optimal size for any arbitrary process model; (2) how to preserve the natural structure of business process models in the generated code and (3) how to translate concurrent processes. Copyright © 2007 Inderscience Enterprises Ltd.