Using Temporal Business Rules to Synthesize Service Composition Process Models

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.

[img]
Preview
Text
Yu, J.(2007) ACT4SOC.pdf - Presentation
Available under License Creative Commons Attribution No Derivatives.

Download (151Kb) | Preview

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.

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
URI: http://hdl.handle.net/10552/698

Actions (login required)

View Item View Item