Please use this identifier to cite or link to this item:
|Title:||Using temporal business rules to synthesize service composition process models|
|Citation:||Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, 2007: pp.85-94|
|Conference Name:||International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (1st : 2007 : Barcelona, Spain)|
|School/Discipline:||School of Computer Science|
|Jian Yu, Jun Han, Paolo Falcarin and Maurizio Morisio|
|Abstract:||Based on our previous work on the conformance verification of service compositions, in this paper we present a framework and associated techniques to generate the process models of a service composition from a set of temporal business rules. Dedicated techniques including path-finding, branch structure introduction, and parallel structure introduction are used to semiautomatically synthesize the process models 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.|
|Appears in Collections:||Computer Science publications|
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.