Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorYu, Jianen
dc.contributor.authorHan, Junen
dc.contributor.authorFalcarin, Paoloen
dc.contributor.authorMorisio, Maurizioen
dc.identifier.citationProceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, 2007: pp.85-94en
dc.description.abstractBased 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.statementofresponsibilityJian Yu, Jun Han, Paolo Falcarin and Maurizio Morisioen
dc.titleUsing temporal business rules to synthesize service composition process modelsen
dc.typeConference paperen
dc.contributor.schoolSchool of Computer Scienceen
dc.contributor.conferenceInternational 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.