Qinyi Wu Calton Pu Akhil Sahai Roger S. Barga DsCWeaver: Synchronization-Constraint Aspect Extension to Procedural Process Specification Languages. 96-117 2008 5 Int. J. Web Service Res. 3 http://www.igi-pub.com/articles/details.asp?ID=8241 db/journals/jwsr/jwsr5.html#WuPS08