2009 Volume 26 Issue 3 Pages 3_56-3_68
Enterprises must flexibly change their business processes in response to changes in their business environment to survive in the intensely competitive society in these days. To secure this flexibility, it is essential to share domain knowledge why they are using present business processes and competitiveness of their own business process. In this paper, we propose a new method to compose a business process by stepwise application of goal decomposition from formal description of a business goal, and we demonstrate that business processes composed by the method can be verified to satisfy given business requirements. This method is applicable to composition of planning business processes whose formalization have been thought as a difficult task. We also show that we can formalize business domain knowledge, and that business goal decomposition can be patternized.