Yu, Jian and Han, Jun and Falcarin, Paolo and Morisio, Maurizio (2007) ‘Using Temporal Business Rules to Synthesize Service Composition Process Models’, In First International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (ACT4SOC), Barcelona, Spain, July 2007.
Yu, J.(2007) ACT4SOC.pdf - Presentation
Available under License Creative Commons Attribution No Derivatives.
Download (151Kb) | Preview
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.
|Item Type:||Conference or Event Item (Paper)|
|Additional Information:||Citation: Yu, J; Han, J; Falcarin, P; Morisio, M. (2007) ‘Using Temporal Business Rules to Synthesize Service Composition Process Models’. In First International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (ACT4SOC), Barcelona, Spain, July 2007..|
|Divisions:||Schools > Architecture Computing and Engineering, School of|
|Depositing User:||Mr Stephen Grace|
|Date Deposited:||06 Apr 2010 14:48|
|Last Modified:||22 Feb 2013 13:12|
Actions (login required)