Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/56114
Type: | Conference paper |
Title: | Using temporal business rules to synthesize service composition process models |
Author: | Yu, Jian Han, Jun Falcarin, Paolo Morisio, Maurizio |
Citation: | Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, 2007: pp.85-94 |
Publisher: | ICSOFT |
Issue Date: | 2007 |
ISBN: | 9789898111081 |
Conference Name: | International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (1st : 2007 : Barcelona, Spain) |
School/Discipline: | School of Computer Science |
Statement of Responsibility: | 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. |
Description (link): | http://softeng.polito.it/falcarin/pubs.htm |
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.