Synthesizing Service Composition Models on the Basis of Temporal Business Rules

Transformational approaches to generating design andimplementation models from requirements can bring effectiveness andquality to software development. In this paper we present a frameworkand associated techniques to generate the process model of a servicecomposition from a set of temporal business rules. Dedicated techniquesincluding path-finding, branching structure identification and parallelstructure identification are used for semi-automatically synthesizing theprocess model from the semantics-equivalent Finite State Automata ofthe rules. These process models naturally satisfy the prescribedbehavioral constraints of the rules. With the domain knowledge encodedin the temporal business rules, an executable service compositionprogram, e.g., a BPEL program, can be further generated from the processmodels. A running example in the e-business domain is used forillustrating our approach throughout this paper.