[1]
Thomas Erl, Service-Oriented Architecture: Concepts, Technology, and Design, Prentice Hall Professional Technical Reference, Upper Saddle River, NJ, (2005).
Google Scholar
[2]
OASIS Standard. (April 2007). Web Service Business Process Execution Language Version 2. 0. Available: http: /docs. oasis-open. org/wsbpel/2. 0/wsbpel-v2. 0. pdf.
Google Scholar
[3]
Ian Sommerville, Software Engineering, 4th ed., Addison-Wesley, Wokingham, Berkshire, UK, (1992).
Google Scholar
[4]
Nawal Guermouche, Silvano Dal Zilio, Towards Timed Requirement Verification for Service Choreographies, presented at 8th International Conference on Collaborative Computing: Networking, Applications and Worksharing, Collaboratecom, Pittsburgh, PA, United States, October 14-17, (2012).
DOI: 10.4108/icst.collaboratecom.2012.250441
Google Scholar
[5]
Abdaladhem Albreshne, Patrik Fuhrer and Jacques Pasquier, Web Services Orchestration and Composition Case Study of Web services Composition, September (2009).
Google Scholar
[6]
Enrique Martinez, Maria Emilia Cambronero, Gregorio Diaz, and Valentin Valero, Design and verification of Web Services Compositions, presented at 2009 Fourth International Conference on Internet and Web Applications and Services, Venice/Mestre, Italy, May 24-28, (2009).
DOI: 10.1109/iciw.2009.65
Google Scholar
[7]
Guilan Dai, Rujuan Li, Chongchong Zhao, Changjun Hu, Timing Constraints Specification and Verification for Web ServiceCompositions, presented at 2008 IEEE Asia-Pacific Services Computing Conference, Yilan, Taiwan, December 9-12, (2008).
DOI: 10.1109/apscc.2008.59
Google Scholar
[8]
Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu, Timed Modeling and Verification of BPEL Processes Using Time Petri Nets, presented at 2009 Ninth International Conference on Quality Software, Jeju, South Korea, August 24-25, (2009).
DOI: 10.1109/qsic.2009.20
Google Scholar
[9]
Jia Mei, Huaikou Miao1, Qingguo Xu1, Pan Liu, Modeling and Verifying Web Service Applications with Time Constraints, presented at 9th IEEE/ACIS International Conference on Computer and Information Science, Kaminoyama (Yamagata), Japan, August 18-20, (2010).
DOI: 10.1109/icis.2010.20
Google Scholar
[10]
Wenrui Li, Zhongxue Yang, Pengcheng Zhang and ZhijianWang, Model checking WS-BPEL with universal modal sequence diagrams, presented at 2011 10th IEEE/ACIS International Conference on Computer and Information Science, Sanya, Hainan Island, China, May 16-18, (2011).
DOI: 10.1109/icis.2011.58
Google Scholar
[11]
Rujuan Liu, Changjun Hu, ChongChong Zhao, Zhong Gao. Verification for Time Consistency of Web Service Flow, presented at Seventh IEEE/ACIS International Conference on Computer and Information Science, Portland, Oregon, USA, May 14-16, (2008).
DOI: 10.1109/icis.2008.40
Google Scholar
[12]
Franck van Breugel, Maria Koshkina, Models and Verification of BPEL, September (2006).
Google Scholar
[13]
Patrice Bonhomme, Gerard Berthelot, Pascal Aygalinc and Soizick Calvez, Verification Technique for Time Petri Nets, presented at 2004 IEEE International Conference on System, Man and Cybernetics, The Hague, Netherlands, October 10-13, (2004).
DOI: 10.1109/icsmc.2004.1401203
Google Scholar
[14]
Denduang Pradubsuwun, Tomochiro Yoneda and Chris Myers, "Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. IEICE vol. E88-D No. 7, Japan, July (2005).
DOI: 10.1093/ietisy/e88-d.7.1646
Google Scholar
