Synthesizing service composition models on the basis of temporal business rules

  • Authors:

  • Jian Yu;Yan-Bo Han;Jun Han;Yan Jin;Paolo Falcarin;Maurizio Morisio

  • Affiliations:

  • Department of Automation and Information, Politecnico di Torino, Torino, Italy and School of Computer Science, The University of Adelaide, SA, Australia;Grid and Service Computing Research Center, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China;Faculty of ICT, Swinburne University of Technology, Hawthorn, Australia;Faculty of ICT, Swinburne University of Technology, Hawthorn, Australia;Department of Automation and Information, Politecnico di Torino, Torino, Italy;Department of Automation and Information, Politecnico di Torino, Torino, Italy

  • Venue:
  • Journal of Computer Science and Technology
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a framework and associated techniques to generate the process model of a service composition from a set of temporal business rules. Dedicated techniques including pathfinding, branching structure identification and parallel structure identification are used for semi-automatically synthesizing the process model from the semantics-equivalent Finite State Automata of the rules. These process models naturally satisfy the prescribed behavioral constraints of the rules. With the domain knowledge encoded in the temporal business rules, an executable service composition program, e.g., a BPEL program, can be further generated from the process models. A running example in the e-business domain is used for illustrating our approach throughout this paper.