The Community for Technology Leaders
2006 IEEE International Conference on Web Services (ICWS'06) (2006)
Chicago, Illinois, USA
Sept. 18, 2006 to Sept. 22, 2006
ISBN: 0-7695-2669-1
pp: 320-330
Calton Pu , Coll. of Comput., Gatech
Qinyi Wu , Coll. of Comput., Gatech
Calton Pu , Coll. of Comput., Gatech
Qinyi Wu , Coll. of Comput., Gatech
ABSTRACT
BPEL is emerging as an open-standards language for Web service composition. However, its procedural style can lead to inflexible and tangled code for managing a crosscutting aspect - synchronization constraints that define permissible sequences of execution for activities in a process. In this paper, we present DSCWeaver, a tool that enables a synchronization-aspect extension to BPEL. It uses DSCL, a synchronization expression language, to specify constraints. DSCL has the desirable features of declarative syntax, fine granularity, and validation support. A designer can use DSCL to describe and validate the synchronization behavior and rely on DSCWeaver to generate BPEL code. We demonstrate the advantages of our approach in a service deployment process and evaluate its performance using two metrics: lines of code (LoC) and places to visit (PtV). Evaluation results show that our approach can effectively reduce development effort of process designers while providing performance competitive to un-woven BPEL code
INDEX TERMS
formal specification, specification languages, Web services
CITATION

G. Swint et al., "DSCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages," 2006 IEEE International Conference on Web Services (ICWS'06)(ICWS), Chicago, Illinois, USA, 2009, pp. 320-330.
doi:10.1109/ICWS.2006.54
84 ms
(Ver 3.3 (11022016))