Using temporal business rules to synthesize service composition process models
Date
2007
Authors
Yu, Jian
Han, Jun
Falcarin, Paolo
Morisio, Maurizio
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, 2007: pp.85-94
Statement of Responsibility
Jian Yu, Jun Han, Paolo Falcarin and Maurizio Morisio
Conference Name
International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (1st : 2007 : Barcelona, Spain)
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.
School/Discipline
School of Computer Science