Please use this identifier to cite or link to this item:
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
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):
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.