[1] Foster I, Kesselman C. The Grid: Blueprint for a New ComputingInfrastructure. San Fransisco: Morgan-Kaufmann,1998.[2] Cao J, Jarvis S A, Saini S, Nudd G R. GridFlow: Workflowmanagement for grid computing. In Proc. the 3rdIEEE/ACM Int. Symp. on Cluster Computing and the Grid,Tokyo, Japan, May 12-15, 2003, pp.198-205.[3] Brown D A, Brady P R et al. A case study on the use of workflowtechnologies for scientific analysis: Gravitational wavedata analysis. In Workflows for eScience: Scientific Work-flows for Grids, Taylor I J, Dealman E, Gannon D B et al(eds.), Springer Verlag, 2007, pp.39-59.[4] Cao J, Fingberg J, Berti G et al. Implementation of gridenabledmedical simulation applications using workflow techniques.In Proc. the 2nd Int. Workshop on Grid and Cooper-ative Computing, Shanghai, China, Dec. 7-10, 2003, pp.34-41.[5] Liu Y, M¨uller S, Xu K. A static compliance checking frameworkfor business process models. IBM Systems Journal,2007, 46(2): 335-362.[6] Chen J, Yang Y. A taxonomy of grid workflow verification andvalidation. Concurrency and Computation: Practice and Ex-perience, 2008, 20(4): 347-360.[7] Chen J, Yang Y. Multiple states based temporal consistencyfor dynamic verification of fixed-time constraints in grid workflowsystems. Concurrency and Computation: Practice andExperience, 2007, 19(7): 965-982.[8] Tan W, Fan Y, Zhou M. A petri net-based method for compatibilityanalysis and composition ofWeb services in businessprocess execution Language. IEEE Transactions on Automa-tion Science and Engineering, 2009, 6(1): 94-106.[9] Tan W, Fan Y, Zhou M et al. Data-driven service compositionin enterprise SOA solutions: A petri net approach.IEEE Trans. Automation Science and Engineering, 2010,7(3): 686-694.[10] Li X, Fan Y, Sheng Q Z et al. A petri net approach to analyzingbehavioral compatibility and similarity of Web services.IEEE Trans. Systems, Man, and Cybernetics, Part A: Sys-tems and Humans, 2010, 41(3): 510-521.[11] Xiong P, Fan Y, Zhou M. Web service configuration undermultiple quality-of-service attribute. IEEE Trans. Automa-tion Science and Engineering, 2009, 6(2): 311-321.[12] Xiong P, Fan Y, Zhou M. QoS-aware Web service configuration.IEEE Trans. Systems, Man and Cybernetics, Part A,2008, 38(4): 888-895.[13] Clarke E M, Grumberg O, Peled D A. Model Checking, MITPress, 1999.[14] Xu K,Wang Y X,Wu C. Formal verification technique for gridservice chain model and its application. Science in China, Se-ries F: Information Sciences, 2007, 50(1): 1-20.[15] Xu K, Cao J, Liu L, Wu C. Performance optimization of temporalreasoning for grid workflows using relaxed region analysis.In Proc. the 22nd IEEE Int. Conf. Advanced Infor-mation Networking and Applications Workshops, GinoWan,Japan, March 25-28, 2008, pp.187-194.[16] Salaün G, Bordeaux L, Schaerf M. Describing and reasoningon Web services using process algebra. In Proc. Int. Conf.Web Services, San Diego, USA, June 6-9, 2004, pp.43-50.[17] Németh Z, Sunderam V. Characterizing grids: Attributes,definitions, and formalisms. J. Grid Computing, 2003, 1(1):9-23.[18] Huang S, Mulcahy J J. Software reuse in the evolution of ane-commerce system: A case study. International Journal ofComputing & Information Technology, 2(1): 1-15.[19] Cai H. Scale-free Web services. In Proc. Int. Conf. WebServices, Salt Lake City, USA, July 9-13, 2007, pp.288-295.[20] Milner R. Communicating and Mobile Systems: the Pi Calculus.Cambridge University Press, 1999.[21] Wang S, Armstrong M P. A quadtree approach to domaindecomposition for spatial interpolation in grid computing environments.Parallel Computing, 2003, 29(10): 1481-1504.[22] Cimatti A, Clarke E et al. NuSMV2: An open source tool forsymbolic model checking. In Proc. the 14th Int. Conf. Com-puter Aided Verification, Copenhagen, Denmark, July 27-31,2002, 359-364.[23] Deelman E, Kesselman C et al. GriPhyN and LIGO, buildinga virtual data grid for gravitational wave scientists. In Proc.the 11th Int. Symp. High Performance Distributed Comput-ing, Edinburgh, Scotland, July 24-26, 2002, pp.225-234.[24] Liu R, Kumar A. An analysis and taxonomy of unstructuredworkflows. In Proc. the 3rd Int. Conf. Business ProcessManagement, Nancy, France, Sept. 5-9, 2005, pp.268-284.[25] Grumberg O, Long D E. Model checking and modular verification.ACM Transactions on Programming Languages andSystems, 1999, 16(3): 843-871. |