We use cookies to improve your experience with our site.
Jian Yu, Yan-Bo Han, Jun Han, Yan Jin, Paolo Falcarin, Maurizio Morisio. Synthesizing Service Composition Models on the Basis of Temporal Business Rules[J]. Journal of Computer Science and Technology, 2008, 23(6): 885-894.
Citation: Jian Yu, Yan-Bo Han, Jun Han, Yan Jin, Paolo Falcarin, Maurizio Morisio. Synthesizing Service Composition Models on the Basis of Temporal Business Rules[J]. Journal of Computer Science and Technology, 2008, 23(6): 885-894.

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.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return