Please use this identifier to cite or link to this item:
Full metadata record
|dc.identifier.citation||Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, 2007: pp.85-94||en|
|dc.description.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.||en|
|dc.description.statementofresponsibility||Jian Yu, Jun Han, Paolo Falcarin and Maurizio Morisio||en|
|dc.title||Using temporal business rules to synthesize service composition process models||en|
|dc.contributor.school||School of Computer Science||en|
|dc.contributor.conference||International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (1st : 2007 : Barcelona, Spain)||en|
|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.