基于工作流的空间信息服务聚合技术研究
|
摘要
随着空间信息应用需求的不断增长,空间数据海量、异构分布、处理复杂、计算密集等问题逐渐成为制约空间信息广泛共享和应用的因素;空间信息服务(Geo-spatial Web Service,GWS)技术的出现和发展有效地解决了分布、异构环境下的空间信息共享和互操作问题,是分布式空间信息应用的趋势,也是新一代GIS技术的要求。不断丰富的空间信息服务使得通过集成已有服务的功能来提供新的增值服务成为一种重要的空间信息应用构造模式,空间信息服务聚合技术也成为空间信息领域一个新的研究热点。目前,国内外许多研究者围绕空间信息服务聚合技术展开研究工作,并获得了一些有价值的探索性成果。但从总体上来讲,目前空间信息服务聚合技术研究还处于起始阶段,聚合的计算框架、模型理论、关键技术等各方面仍不成熟,还存在许多亟待解决的关键问题。
针对当前空间信息服务聚合研究中存在的若干不足,本文重点在基于工作流的空间信息服务聚合框架、空间信息服务聚合流程建模和分析技术、空间信息服务QoS模型及应用体系以及空间信息服务聚合流程执行等几个方面进行深入研究,主要工作和创新点包括:
1、基于工作流的空间信息服务动态聚合框架:研究了空间信息服务动态聚合和传统工作流应用的不同,在此基础上提出了基于工作流技术的空间信息服务动态聚合实现机制、技术体系和参考模型,为研究空间信息服务聚合的关键技术、开发服务聚合支撑平台以及在此基础上构造特定的空间信息服务聚合应用提供了总体框架和顶层指导。
2、空间信息服务聚合流程建模和分析技术:首先基于动态服务聚合流程建模的需求和空间信息服务动态变化的应用实际,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与之相对应,对基本的WF-net进行扩展,提出服务聚合流程/资源网(WSCP/R-net)作为空间信息服务聚合流程的形式化描述模型,有效解决了现有的基于基本Petri网和工作流网的服务聚合建模方法所不能解决的不确定路径选择和服务的动态变化性问题;从流程结构正确性、数据依赖有效性和资源实现有效性三个方面提出了WSCP/R-net健壮性的概念,明确界定了聚合流程正确性的标准,并对WSCP/R-net模型的健壮性分析方法和WSCP/R-net模型的组合特性进行了研究;提出了空间信息服务聚合代数算子并对其性质进行了研究,在此基础上提出了6种聚合流程约简规则,从而可达到优化聚合流程、提高聚合流程执行效率的目的。
3、空间信息服务QoS模型和应用体系:从服务本身、网络环境和服务消费者三个层次出发,提出了一个可扩展的空间信息服务QoS模型GSQM,实现了对空间信息服务的度量和评价,并对GSQM不同质量要素信息的客观、公正采集方法进行了研究;研究了空间信息服务聚合流程QoS评价方法,有效支持了空间信息服务聚合流程的执行、监控以及服务选择等操作;针对目前的服务发现模型仅支持服务功能性描述、不能有效满足空间信息服务应用需求的现状,提出了一种新的支持QoS约束的服务发现模型SDMQ,并对模型的实现框架进行了研究。
4、空间信息服务聚合流程执行技术:针对现有的服务聚合流程描述语言不能有效满足空间信息服务动态聚合流程描述的特点,基于BPEL4WS提出了一种新的空间信息服务聚合流程描述语言SSPL;研究了满足健壮性要求的WSCP/R-net模型向SSPL的转换算法,在此基础上可以满足用户无显式编码来实现空间信息服务聚合应用的目的;研究了服务动态选择QoS全局优化模型,并在此基础上提出了一种解决服务动态选择QoS全局优化问题的实现算法GODSS。
5、基于论文研究成果,设计实现了“空间信息服务聚合实验系统”,并构建了“矿产资源评价”和“城市消防应急响应”两个典型应用案例,对论文所述模型、方法的可行性和有效性进行了验证。
With the increasing requirements of spatial information application, such problems as huge amounts of distributed data, heterogeneous data format, complexity of data processing, etc., become obstacles of sharing and integration of spatial information. Geo-spatial Web Service (GWS) efficiently resolves the sharing and interoperability of distributed and heterogeneous spatial information. With the enrichment of GWSs, it is an important pattern of using spatial information to dynamically integrate the various existent GWSs to form a newly value-added and complex GWS, so the technology of composition of GWSs is to be a new pop research area in the field of spatial information. Currently, researchers of the world have made some valuable achievements on GWSs composition, however, the computing framework, modeling theory and other key technologies are to be further researched.
In this thesis, our research focus on the GWSs composition framework based on workflow and some key issues of GWSs composition. The main contributions of this thesis are as follows:
1、Composition framework based on workflow. The thesis studies the difference between GWSs composition and traditional workflow applications, proposes the implement mechanism and technical architecture of GWSs composition and defines the reference model of GWSs composition platform, which provide holistic framework and top-level guidance for studying dynamic GWSs composition technology, designing GWSs composition platform, and implementing representative composite service applications.
2、Theories and methods of composite process modeling and process analysis. This thesis proposes a meta-model of Geo-spatial Web services composition process defining from two aspects, i.e. process and resource. According to the process definition meta-model, we propose a new Geo-spatial Web services composition Process/Resource model (WSCP/R-net) based on extended WF-net, which effectively resolves the problems on uncertain activity option and dynamic variation of service in composite process model. A notion with regard to soundness of process model is proposed from three aspects, i.e. the structural correctness of process model, validity of data link and validity of resource. The notion of soundness definitely gives a dividing line on correctness of composite GWS process. This thesis analyzes sufficient and essential terms of soundness, and studies compositional property of WSCP/R-net models which provides an effective method to construct a soundness WSCP/R-net model. According to WSCP/R-net, the thesis proposes composition algebra and studies the properties of it. Based on the composition algebra, 6 kinds of composite process reduction rules are induced to optimize the process.
3、Geo-spatial Web service QoS model and its application architecture. This thesis proposes an extendable GWS QoS model from three aspects, i.e. Geo-spatial Web Service itself, networking conditions and service consumer which can be used to distinguish GWSs with overlapping or identical functionality. We work over the QoS evaluation methods of composite GWS process which can be used to guide the execution, monitor and service selection of composition process. Aming at some disadvantages in traditional Web service discovery model for its lacking of QoS supporting, this thesis proposes a new service discovery model SDMQ supporting QoS constraints.
4、Technologies of composite service executing. SSPL, a new composite service process language, is defined to overcome the disadvantages of existing composite services process languages which can not adapt to the dynamic variation of Geo-spatial Web Services. An algorithm is described to translate WSCP/R-net model into SSPL. The thesis studies the model of dynamic services selection with QoS global optimization, presenting an algorithm GODSS to resolve dynamic services selection with QoS global optimization in GWSs Composition.
5、Design and implement experimental system and representative applications. According to the research findings presented above, we design and implement an experimental system and construct two representative applications to show that our achievements are effective and practical.
针对当前空间信息服务聚合研究中存在的若干不足,本文重点在基于工作流的空间信息服务聚合框架、空间信息服务聚合流程建模和分析技术、空间信息服务QoS模型及应用体系以及空间信息服务聚合流程执行等几个方面进行深入研究,主要工作和创新点包括:
1、基于工作流的空间信息服务动态聚合框架:研究了空间信息服务动态聚合和传统工作流应用的不同,在此基础上提出了基于工作流技术的空间信息服务动态聚合实现机制、技术体系和参考模型,为研究空间信息服务聚合的关键技术、开发服务聚合支撑平台以及在此基础上构造特定的空间信息服务聚合应用提供了总体框架和顶层指导。
2、空间信息服务聚合流程建模和分析技术:首先基于动态服务聚合流程建模的需求和空间信息服务动态变化的应用实际,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与之相对应,对基本的WF-net进行扩展,提出服务聚合流程/资源网(WSCP/R-net)作为空间信息服务聚合流程的形式化描述模型,有效解决了现有的基于基本Petri网和工作流网的服务聚合建模方法所不能解决的不确定路径选择和服务的动态变化性问题;从流程结构正确性、数据依赖有效性和资源实现有效性三个方面提出了WSCP/R-net健壮性的概念,明确界定了聚合流程正确性的标准,并对WSCP/R-net模型的健壮性分析方法和WSCP/R-net模型的组合特性进行了研究;提出了空间信息服务聚合代数算子并对其性质进行了研究,在此基础上提出了6种聚合流程约简规则,从而可达到优化聚合流程、提高聚合流程执行效率的目的。
3、空间信息服务QoS模型和应用体系:从服务本身、网络环境和服务消费者三个层次出发,提出了一个可扩展的空间信息服务QoS模型GSQM,实现了对空间信息服务的度量和评价,并对GSQM不同质量要素信息的客观、公正采集方法进行了研究;研究了空间信息服务聚合流程QoS评价方法,有效支持了空间信息服务聚合流程的执行、监控以及服务选择等操作;针对目前的服务发现模型仅支持服务功能性描述、不能有效满足空间信息服务应用需求的现状,提出了一种新的支持QoS约束的服务发现模型SDMQ,并对模型的实现框架进行了研究。
4、空间信息服务聚合流程执行技术:针对现有的服务聚合流程描述语言不能有效满足空间信息服务动态聚合流程描述的特点,基于BPEL4WS提出了一种新的空间信息服务聚合流程描述语言SSPL;研究了满足健壮性要求的WSCP/R-net模型向SSPL的转换算法,在此基础上可以满足用户无显式编码来实现空间信息服务聚合应用的目的;研究了服务动态选择QoS全局优化模型,并在此基础上提出了一种解决服务动态选择QoS全局优化问题的实现算法GODSS。
5、基于论文研究成果,设计实现了“空间信息服务聚合实验系统”,并构建了“矿产资源评价”和“城市消防应急响应”两个典型应用案例,对论文所述模型、方法的可行性和有效性进行了验证。
With the increasing requirements of spatial information application, such problems as huge amounts of distributed data, heterogeneous data format, complexity of data processing, etc., become obstacles of sharing and integration of spatial information. Geo-spatial Web Service (GWS) efficiently resolves the sharing and interoperability of distributed and heterogeneous spatial information. With the enrichment of GWSs, it is an important pattern of using spatial information to dynamically integrate the various existent GWSs to form a newly value-added and complex GWS, so the technology of composition of GWSs is to be a new pop research area in the field of spatial information. Currently, researchers of the world have made some valuable achievements on GWSs composition, however, the computing framework, modeling theory and other key technologies are to be further researched.
In this thesis, our research focus on the GWSs composition framework based on workflow and some key issues of GWSs composition. The main contributions of this thesis are as follows:
1、Composition framework based on workflow. The thesis studies the difference between GWSs composition and traditional workflow applications, proposes the implement mechanism and technical architecture of GWSs composition and defines the reference model of GWSs composition platform, which provide holistic framework and top-level guidance for studying dynamic GWSs composition technology, designing GWSs composition platform, and implementing representative composite service applications.
2、Theories and methods of composite process modeling and process analysis. This thesis proposes a meta-model of Geo-spatial Web services composition process defining from two aspects, i.e. process and resource. According to the process definition meta-model, we propose a new Geo-spatial Web services composition Process/Resource model (WSCP/R-net) based on extended WF-net, which effectively resolves the problems on uncertain activity option and dynamic variation of service in composite process model. A notion with regard to soundness of process model is proposed from three aspects, i.e. the structural correctness of process model, validity of data link and validity of resource. The notion of soundness definitely gives a dividing line on correctness of composite GWS process. This thesis analyzes sufficient and essential terms of soundness, and studies compositional property of WSCP/R-net models which provides an effective method to construct a soundness WSCP/R-net model. According to WSCP/R-net, the thesis proposes composition algebra and studies the properties of it. Based on the composition algebra, 6 kinds of composite process reduction rules are induced to optimize the process.
3、Geo-spatial Web service QoS model and its application architecture. This thesis proposes an extendable GWS QoS model from three aspects, i.e. Geo-spatial Web Service itself, networking conditions and service consumer which can be used to distinguish GWSs with overlapping or identical functionality. We work over the QoS evaluation methods of composite GWS process which can be used to guide the execution, monitor and service selection of composition process. Aming at some disadvantages in traditional Web service discovery model for its lacking of QoS supporting, this thesis proposes a new service discovery model SDMQ supporting QoS constraints.
4、Technologies of composite service executing. SSPL, a new composite service process language, is defined to overcome the disadvantages of existing composite services process languages which can not adapt to the dynamic variation of Geo-spatial Web Services. An algorithm is described to translate WSCP/R-net model into SSPL. The thesis studies the model of dynamic services selection with QoS global optimization, presenting an algorithm GODSS to resolve dynamic services selection with QoS global optimization in GWSs Composition.
5、Design and implement experimental system and representative applications. According to the research findings presented above, we design and implement an experimental system and construct two representative applications to show that our achievements are effective and practical.
引文
[1] McDonnel Rachael. International GIS dictionary. Cambridge:Geoinformation International, 1995
[2] 陈述彭,鲁学军,周成虎.地理信息系统导论.北京:科学出版社,1999
[3] 陈荦.分布式地理空间数据服务集成技术研究.国防科技大学博士论文,2005.10
[4] 吴焕萍.地理信息 Web 服务集成关键技术研究.北京大学博士学位论文,2005.6
[5] 贾文珏.分布式 GIS 服务链集成关键技术.武汉大学博士论文,2005.4
[6] 鲍 虎 军 等 . 我 国 GIS 技 术 与 应 用 的 现 状 和 对 策 [R].863-13 主 题 专 家组,http://www.spatialdata.org,2003
[7] IBM Corporation.Web services:Web services architect, Part 1:An introduction to dynamic e-business,2001
[8] 岳昆,王晓玲,周傲英.Web 服务核心支撑技术:研究综述.软件学报,15(3): 428~442, 2004
[9] 柴晓路.Web 服务架构与开放互操作技术.北京:清华大学出版社,2002
[10] Curbera F,Duftler M,Khalaf R,et al.Unraveling the Web Services Web:An Introduction to SOAP,WSDL,and UDDI.IEEE Internet Computing,6(02):86-93,2002
[11] 唐宇,陈荦,何凯涛等.空间信息栅格 SIG 框架体系与关键技术研究.遥感学报,8(5):425~433,2004
[12] Shekhar S,Chawlas 著,谢昆青,马修军,杨冬青等译.空间数据库(Spatial Database A tour).北京:机械工业出版社,2004
[13] 国家 863 计划 13 主题.国家 863 计划信息获取与处理技术主题课题申请指南.http://www.spatialdata.org/, 2002.3
[14] Richard ONCHAGA.Towards Quality-aware Composition of Geo-services.the 8th International Conference on the Global Spatial Data Infrastructure (GSDI-8),2005
[15] Liangzhao Zeng, Boualem Benatallah, Marlon Dumas.Quality Driven Web Service Composition.In proceeding of WWW, Budapest, Hungary, pp411~421, 2003
[16] S.Tsur, S.Abiteboul, R.Agrawal, et al.Are Web Services the Next Revolution in e-Commerce (Panel).The International Conference on Very Large Databases, Roma, Italy, 2001:614~617
[17] Liangzhao Zeng, Boualem Bentallah, Anne H.H.Ngu,et al.QoS-Aware Middleware for Web Services Composition.IEEE Transactions on Software Engineering,30(5):311~327,2004
[18] Nikola Milanovic and Miroslaw Malek.Current Solutions for Web Service Composition.IEEE INTERNET COMPUTING,8(6):51~59,2004
[19] ISO/TC211.Geographic information-Reference model.http://www.isotc211.org,2002
[20] Sun Yanfeng, Ma Xiujun,et al.A compensation Mechanism in GIS Web Service Composition.Proceedings of IEEE IGARSS, 2005
[21] ISO19119/OGC Topic12.The OpenGIS Service Architecture.Version 4.3,2002
[22] World Wide Web Consortium.Extensible Markup Language (XML) 1.0 (Second Edition).http://www.w3.org/TR/REC-xml, 2000
[23] OGC 03-025. OpenGIS Web Services Architecture. http://www.opengis.org/docs/03-025.pdf,2003
[24] Open GIS Consortium. Web Map Service Implementation Specification, Version 1.1.1, OGC 01-068r3, 2002, http://www.opengis.org/techno/specs/01-068r3.pdf
[25] Vretanos P. A. (Ed.) Web Feature Service Implementation Specification, Version 1.0.0 OGC 02-058, 2002, http://www.opengis.org/techno/specs/02-058.pdf
[26] Open GIS Consortium.Web Coverage Service (WCS) 1.0, 2003, http://www.opengeospatial.org/ docs/03-065r6.pdf
[27] ESRI Geography Network(Web Service). http://www.amergeog.org/geographynetwork.htm
[28] ESRI.An Overview of ArcWeb Services. http://www.esri.com/library/whitepapers/pdfs/arcweb-services.pdf, 2004
[29] Tom Barclay,et al.TerraService.NET:An Introduction to Web Services.2002 ,http://www.ec-gis.org/docs/F5130/WEBSERVICES.PDF
[30] MapPoint.http://www.microsoft.com/mappoint/products/webservice/default.mspx,2005
[31] 张登荣.地理空间信息共享与服务技术研究,空间信息网格(SIG)项目技术报告,浙江大学,2006
[32] Fabio Casati, Ski Ilnicki, Li-Jie Jin,Vasudev Krishnamoorthy, Ming-Chien Shan.Adaptive and Dynamic Service Composition in eFlow. HP Laboratories Palo Alto,2000
[33] Fabio Casati, Ski Ilnicki, Li-Jie Jin,Vasudev Krishnamoorthy, Ming-Chien Shan. eFlow:a Platform for Developing and Managing Composite e-Services. HP Laboratories Palo Alto,2000
[34] Fabio Casati, Ski Ilnicki, Li-Jie Jin, Vasudev Krishnamoorthy, et al.An Open, Flexible, and Configurable System for E-Service Composition.HP Laboratories Palo Alto,2000
[35] Boualem Benatallah, Marlon Dumas, Quan Z. SHENG. Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services.Distributed and Parallel Databases, An International Journal (DAPD), Kluwer Academic Publishers, 17(1):5~37,2005
[36] Quan Z. Sheng, Boualem Benatallah, Rayan Stephan, Eileen Oi-Yan Mak, Yan Q. Zhu. Discovering E-Services Using UDDI in SELF-SERV.International Conference on E-Business (ICEB2002), 2002, Beijing China
[37] Boualem Benatallah, Marlon Dumas. Definition and Execution of CompositeWeb Services:The SELF-SERV Project. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 2002
[38] Boualem Benatallah, Quan Z. Sheng, Marlon Dumas. The Self-Serv Environment for Web Services Composition. IEEE Internet Computing,pp40~48,2003
[39] Boualem Benatallah, Marlon Dumas, Quan Z. Sheng, Anne H.H. Ngu. Declarative Compositionand Peer-to-Peer Provisioning of Dynamic Web Services.The 18th IEEE International Conference on Data Engineering (ICDE02), pp297~308, San Jose, California, USA, 2002
[40] SR Ponnekanti and A Fox.SWORD:A Developer Toolkit for Web Service Composition.The Eleventh International World Wide Web.Honolulu, Hawaii, May 2002
[41] Abhijit Patil, Swapna Oundhakar, Amit Sheth, Kunal Verma. METEOR-S Web Service Annotation Framework. WWW 2004, May 17-22, 2004, New York, USA
[42] Kaarthik Sivashanmugam, John A. Miller, Amit P. Sheth, Kunal Verma. Framework for Semantic Web Process Composition. Large Scale Distributed Information Systems (LSDIS) Lab, Computer Science Department, The University of Georgia, June 2003
[43] Debra VanderMeer, et al.FUSION: A System Allowing Dynamic Web Service Composition and Automatic Execution.IEEE International conference on E_Commerce(CEC), pp399~404, 2003
[44] Chandrasekaran Senthilanand,et al.Performance Analysis and Simulation of Composite Web Services.The Internatianal Journal of Electronic Commerce and Business Media(EM),13(2):120~132,2003
[45] Chandrasekaran Senthilanand. Composition, performance analysis and simulation of Web services [MS. Thesis]. Georgia: University of Georgia, 2002
[46] Andrews T., Curbera F., et al. Business Process Execution Language for Web Service (BPEL4WS) 1.1, 2003. http://www.ibm.com/developerworks/library/ws-bpel/
[47] Leymann F. Web Service Flow Language (WSFL 1.0), May 2001. http://www-4.ibm.com/ software/solutions/webservices/pdf/WSFL.pdf
[48] Thatte S. XLANG: Web Services for Business Process Design. Microsoft Corporation, 2001. http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm.
[49] 贾文珏, 李斌, 龚建雅. 基于工作流技术的动态 GIS 服务链研究. 武汉大学学报, 2005, 30(11):982~985
[50] Alameh N. Service Chaining of Interoperable Geographic Information Web Service. IEEE Internet Computing, 7(5):22~29, 2003
[51] Tsou M.H. and Buttenfield, B.P. A Dynamic Architecture for Distributed Geographic Information Services. Transactions in GIS, 6(4):355~381,2002
[52] Bernard L., Einspanier U., Lutz M.,et al. Interoperability in GI Service Chains the way Forward. Proceedings of the 6th AGILE conference on Geographic Information Science, pp179~188, 2003
[53] Einspanier U, Lutz M, Senkler K, Simonis I, Sliwinski A. Toward a Process Model for GI Service Composition. GI-Tage2003, Munster, Germany
[54] 王兴玲, 杨崇俊.基于.Net 平台的地理信息 Web 服务研究与应用.计算机工程与应用, 2002, 38(22):6~8
[55] 许春杰, 邹乐君, 沈晓华. 基于 Web Service 的 WebGIS. 测绘通报, 2003.1:41~43
[56] 卢亚辉, 杨崇俊.基于 Web Service 的 WebGIS 系统的研究.计算机工程与应用, 2003,39(25):153~159
[57] 桂智明, 晏磊. 基于 XML Web Service 体系的网络地图服务.测绘通报, 2003.1:53~55.
[58] 罗英伟, 王文俊, 汪小林等.基于 Web Services 的城市地理信息服务集成框架研究. 武汉大学学报(工学版), 2003, 36(3):95~98
[59] 宋亚超, 闾国年, 张宏.基于 Web Service 的 Internet GIS 集成与应用.地球信息科学, 2004, 16(1):44~48
[60] Xiaolin Lu. An Investigation on Service-Oriented Architecture for Constructing Distributed Web GIS Application.Proceedings of the 2005 IEEE International Conference on Services Computing (SCC’05), 2005, pp191~197
[61] 贾文珏, 陈玉敏, 龚健雅, 李爱霞.基于 Web Service 的 OGC 地图服务实现方法.测绘信息与工程, 2004, 29(4):34~36
[62] 杨霞.地理信息服务组合与空间分析服务研究.武汉大学博士学位论文,2004.11
[63] 王方雄.基于原子服务的网格空间信息服务互操作研究.武汉大学博士学位论文, 2005.4
[64] B. Benatallah, M. Dumas, M.-C. Fauvet and F. Rabhi. Towards Patterns of Web Services Composition. In S. Gorlatch and F. Rabbi, editors, Paterns and Skeletons for Parallel and Distributed Computing. Springer Verlag, 2002, pp265~296
[65] Meng, J. Achieving Dynamic Inter-Organizational Workflow Management by Integrating Business Processes, E-ServiceS, Events, and Rules.Doctoral Dissertation, Department of Computer and Information Science and Engineering, University of Florida, 2002.
[66] Workflow Management Coalition. The Workflow Reference Model. WFMC TC00-1003, 1994
[67] 范玉顺.工作流管理技术基础[M].北京:清华大学出版社, 2001
[68] Workflow Management Coalition. Workflow Management Coalition Terminology and Glossary [R]. WFMC-TC-1011, 1999
[69] 刘洋, 葛生.一种基于 Web 服务的分布式工作流系统的研究与实现.计算机工程与应用, 2003, 39(1):208~211
[70] Yih-Shin Tan, et al.Service Domain Tutorials. 2004, http://awwebx04.alphaworks.ibm.com/wstk/common/wstkdoc/services/demos/servicedomain/webapp/ServiceDomainTutorials.pdf
[71] Deke Guo, Honghui Chen, Liang Zhao.Formalized Model and Implementation of Service Virtualization.The IEEE International Conference on Web Service (ICWS), 2005, pp835~836
[72] Fensel D., Van Harmelen F., Horrocks I., McGuinness D. L., and Patel-Schneider P. F. OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 2001, 16(2):38~44
[73] Gruber T. R. A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition, 1993, 5(2): 199~220
[74] 李善平 , 尹奇韦 , 胡玉杰 , 郭鸣 , 付相君.本体论研究综述. 计算机研究与发展, 41(7):1041~1052, 2005
[75] A U Frank. Spatial ontology:A geographical point of view.In:O Stock ed. Spatial andTemporal Reasoning. Dordrecht, Netherlands:Kluwer Academic Publishers, 1997, pp135~153
[76] 周傲英, 凌波. Peer-to-Peer 系统及其应用. 计算机科学, 2000
[77] 雷葆华, 杨明川. P2P 技术的组网模式与业务模式探讨[J]. 电信技术, 2004.11:54-57
[78] B. Yang, H. Garcia-Molina. Improving search in peer-to-peer networks. In: Proc.of the 22nd IEEE International Conference on Distributed Computing, 2002, pp5~14
[79] 唐宇. 空间信息栅格(SIG)系统框架、服务体系与服务聚合技术研究. 国防科技大学博士学位论文,2004.10
[80] World Wide Web Consortium. Simple Object Access Protocol (SOAP) 1.1. http://www.w3.org/TR/SOAP,2000
[81] World Wide Web Consortium. Web Service Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl,2001
[82] UDDI.org. UDDI Technical White paper.http://www.uddi.org,2001
[83] Massimo Paolucci, Takahiro Kawamura, Terry R.Payne, Katia Sycara. Semantic Matching of Web Services Capabilities. In: Horrocks, ed. Proc. of the Int'l Semantic Web Conf. Sardinia: Springer-Verlag, 2002,pp333~347
[84] Dongyan Xu, Klara Nahrstedt, Duangdao Wichadakul.QoS-Aware Discovery of Wide-Area Distributed Services. In: Proceedings of the 1st International Symposium on Cluster Computing and the Grid (CCGrid 2001), New York: IEEE Press, 2001
[85] Kaarthik Sivashanmugam, Kunal Verma, Amit Sheth. Discovery of Web Services in a Federated Registry Environment. Proceedings of the IEEE International Conference on Web Services (ICWS), 2004
[86] Sharad Bansal, Jos′e M. Vidal.Matchmaking of Web Services Based on the DAMLS Service Model. The Second International Joint Conference on Autonomous Agents & Multiagent Systems(AAMAS), 2003, pp926~927
[87] Thomi Pilioura, Aphrodite Tsalgatidou1, Alexandros Batsakis. Using WSDL/UDDI and DAML-S in Web Service Discovery. WWW 2003 Workshop on E-Services and the Semantic Web (ESSW’03), Budapest, May 2003
[88] David Trastour, Claudio Bartolini and Javier Gonzalez-Castillo.A Semantic Web Approach to Service Description for Matchmaking of Services. Proceedings of the International Semantic Web Working Symposium (SWWS),2001
[89] 胡建强,邹鹏,王怀民,周斌. Web 服务描述语言 QWSDL 和服务匹配模型研究. 计算机学报, 2005, 28(4):505~513
[90] 袁崇义. Petri 网原理. 电子工业出版社,1998
[91] W.M.P. van der Aalst. The Application of Petri Nets toWorkflow Management. The Journalof Circuits, Systems and Computers, 8(1):21~66, 1998
[92] W.M.P. van der Aalst. Verification of Workflow Nets. In P. Az′ema and G. Balbo, editors,Application and Theory of Petri Nets 1997, volume 1248 of LNCS,pp407~426.Springer-Verlag, Berlin,1997
[93] 李志伟. 以 Petri Net 为基础的网络服务组合前置验证及简化方法. 中原大学硕士论文, 台湾, 2004
[94] Yu Tang, Luo Chen, Kaitao He and Ning Jing. SRN:An Extended Petri-Net-Based Workflow Model for Web Services Composition. ICWS2004, San Diego, USA, IEEE Press, 591~599,2004
[95] Hamadi R. and Benatallah B. A Petri net based Model for Web Services Composition. In 14th Australasian database conference(ADC2003), 2003, pp191~200
[96] 阎志华,丁秋林. 基于 Petri 网的 Web 服务流程建模. 计算机应用,2003,23(12):55~57
[97] 钱柱中,陆桑璐,谢立. 基于 Petri 网的 Web 服务自动组合研究. 计算机学报, 2006, 29(7):1057~1066
[98] Wil van der Aalst, Kees van Hee 著, 王建民等译. 工作流管理-模型、方法和系统(Workflow Management: Models, Methods, and Systems). 北京:清华大学出版社,2004
[99] 赵文, 胡文蕙等. 工作流元模型的研究与应用. 软件学报, 2003, 14(6):1052~1059
[100] K. Jensen. Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use. Volume 1, 2 and 3, second edition, Springer,New York,1997
[101] W.M.P. van der Aalst,et al. Advanced Workflow Patterns [A]. the 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of LNCS[C],pages 18-29. Springer-Verlag, Berlin, 2000
[102] W.M.P. van der Aalst,A.H.M ter Hofstede. Workflow Patterns: On the Expressive Power of(Petri-net-based) Workflow Languages. Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools,2002
[103] 余鹏, 周国富, 屈婉玲, 袁崇义. 基于 Petri 网的工作流模式-工作流模式分析研究. 系统仿真学报, 2003, 15:119~122
[104] Workflow Patterns Home Page. http://www.tm.tue.nl/it/research/patterns
[105] Software-Ley. COSA 3.0 User Manual. Software-Ley GmbH, Pullheim, Germany, 1999.
[106] Staffware. Staffware 2000 / GWD User Manual. Staffware plc, Berkshire, United Kingdom,2000
[107] Michael C.Jaeger, Gregor Rojec-Goldmann, and Gero Muhl. QoS aggregation for service composition using workflow patterns. In Proceedings of the 8th International Enterprise Distributed Object Computing Conference(EDOC2004), pages149~159,Monterey,California,USA,September 2004.IEEE CS Press
[108] W.M.P. van der Aalst.Don't go with the flows : Web Services composition standards exposed.IEEE Intelligent Systems,30(2):72~85,2003
[109] W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.Workflow Patterns.Distributed and Parallel Databases,14(1):5~51,2003
[110] 杜玉越, 蒋昌俊. 基于工作流网的实时协同系统模拟技术. 计算机学报, 27(4):471~481, 2004
[111] 李建强, 范玉顺. 一种工作流模型的性能分析方法. 计算机学报, 2003, 26(5):1~11
[112] A.Kondratyev, M.Kishinevsky, A.Taubin, S.Ten. A structural approach for the analysis of Petri nets by reduced unfoldings. LNCS, vol.1091, Springer-Verlag, pp346~365, 1996
[113] A.Valmari. Stubborn sets for reduced state space generation. LNCS, Vol483, Springer-Verlag, pp491~515, 1990
[114] J.Martinez and M.Silva. A simple and fast algorithm to abtain all invariants of generalized Petri Net. In application and Theory of Petri nets, Selected Papers from the First and Second Euripean Workshop on application and Theory of Petri nets. Informatik-Fachberichte, No.52, Springer-Verlag, 1981
[115] J.Desel. Reduction and Design of well-behaved concurrent systems. Proceedings of CONCUR-90, LNCS, Vol458, pp166~181, 1990, Springer-Verlag
[116] Cheng, A., J. Esparza, and J. Palsberg. Complexity Results for 1-safe Nets. Foundations of Software Technology and Theoretical Computer Science, volume 761 of Lecture Notes in Computer Science, Edited by R. K. Shyamasunder.326-337. Berlin: Springer-Verlag, 1993
[117] Wasim Sadiq, Maria E.Orlowska. On Business Process Model Transformation. The 19th International Conference on Conceptual Modeling(ER2000), LNCS1920, pp267~280, 2000
[118] OGC. OpenGIS Catalogue Services Specification(Version2.0). 2004, http://portal.opengis.org/files/?artifact_id=5929&version=1
[119] Bob Atkinson, et al. Web Services Security (WS-Security) Version 1.0. 2002, http://w.verisign.com/wss/wss.pdf
[120] Cabrera F., et al. Web Services Transaction (WS-Transaction). August 2002. http://www.ibm.com/developerworks/library/ws-transpec/ WS-Transaction
[121] 杨胜文,史美林. 一种支持 QoS 约束的 Web 服务发现模型. 计算机学报,2005,28(4):589~594
[122] Menasce D A. QoS issues in Web Service. Internet Computing, 6(6):72~75, 2002
[123] Jorge Cardoso, John Miller, Amit Sheth and Jonathan Arnold. Modeling Quality of Service for Workflows and Web Service Process, Submitted to VLDB Journal for review om May 27, 2002
[124] Yutu Liu, Anne H.H.Ngu, Liangzhao Zeng. QoS Computation and Policing in Dynamic Web Service Selection. In proceeding of WWW, New York, USA, 2004,66~73
[125] Chen H G, Yu T, Lin K J. QCWS:An implementation of QoS-capable multimedia Web Services. In:Proceedings of the 5th International Symposium on Multimedia Software Engineering, Taiwan, 2003
[126] SHUPING RAN. A Model for Web Services Discovery with QoS. ACM SIGecom Exchanges, 2003, 4(1):1~10
[127] ISO9000. International Organization for Standardization. 2002, http://www.iso.ch/iso/en/iso9000/iso9000index.html
[128] Tversky,A. and D.Kahneman. Judgement under uncertainty: Heuristics and biases Science,1974,185:1124~1131
[129] M.Tian, A.Gramm, T.Naumowicz, H.Ritter, J.Schiller. A Concept for QoS Integration in Web Services. In proceeding of Fourth International Conference on Web Information Systems Engineering Workshops (WISEW'03), 2003, pp149~155
[130] Amit Sheth, Jorge Cardoso, John Miller, and Krys Kochut. QoS for Service-oriented middleware. In Proceedings of the 6th World Multiconference on Systemics, Cybernetics abd Informatics (SCI02), 2002, pp528~534
[131] 林闯, 田立勤, 魏丫丫. 工作流模型的性能等价分析. 软件学报, 2002, 13(8):1472~1480
[132] 林闯,曲扬,郑波,田立勤. 一种随机 Petri 网性能等价化简与分析方法. 电子学报,30(11):1620~1623,2002
[133] 刘书雷,陈荦,唐宇,景宁. 工作流扩展模型及其性能等价分析.系统工程与电子技术,2006
[134] Michael C.Jaeger, Gregor Rojec-Goldmann, and Gero Muhl. QoS aggregation in Web Service Compositions. In 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE-05), Hong Kong, China, March 2005. IEEE Press
[135] CLARK, M. 2001. UDDI weather report. http://www.webservicesarchitect.com/content/articles/clark04.asp
[136] Kim SM, Rosu MC. A survey of public Web Service. In:Proceedings of 13th international conf. on World Wide Web(WWW2004), USA: ACM, 2004, pp312~314
[137] M.Kksalan and S.Zionts, editors. Multiple Criteria Decision Making in the New Millennium. Spinger-Verlag, 2001
[138] H.C.-L and K.Yoon. Multiple Criteria Decision Making. Lecture Notes in Economics and Mathematical Systems, Springer-Verlag, 1981
[139] 杨丹,申德荣,于戈,吴青泉. 一种支持 Web 服务合成的模型定义语言-e_SPDL. 计算机集成制造系统-CIMS,9(10):932~936,2003
[140] Cabrera F., et al. Web Services Coordination (WS-coordination). 2002. http://www.ibm.com/developerworks/library/ws-coor/
[141] H. Schuster, et al. Modeling and composing service-based and reference process-based multi-enterprise processes. In Proc. of the Int.Conference on Advanced Information Systems Engineering(CAiSE), Stockholm, Sweden, June 2000. Springer Verlag.
[142] 赵俊峰, 谢兵, 张路, 杨芙清. 一种支持领域特性的 Web 服务组装方法, 计算机学报, 2005, 28(4):731~738
[143] Danilo Ardagna, Barbara Pernici. Global and Local QoS Constraints Guarantee in Web Service Selection. the IEEE International Conference on Web Services, ICWS2005, pp805~806
[144] Hai Jin, Hanhua Chen, Zhipeng Lu, and Xiaoming Ning. Q-SAC: Toward QoS Optimized Service Automatic Composition. the 5th IEEE/ACM International Symposium on Cluster, computer and the Grid(CCGRID), 2005, pp623~630
[145] Tao Yu, Kwei-Jay Lin. Service selection algorithms for Web services with end-to-end QoS constraints. The IEEE International Conference on E-Commerce Technology(CEC2004), 2004,pp129~136
[146] Pisinger.D. A minimal algorithm for the Multiple-choice Knapsack Problem. European Journal of Operational Research,1995,83:394~410
[147] Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, and Maria Luisa Villani. An Approach for QoS-aware Service Composition based on Genetic Algorithms. GECCO 2005,Washington, DC, USA,2005,pp1069~1075
[148] Xiaohui Gu, Klara Nahrstedt, Rong N.Chang, and Christopher Ward. QoS-Assured Service Composition in Managed Service Overlay Networks. IEEE International Conference on Distributed Computing Systems (ICDCS), 2003, pp194~203
[149] 崔逊学,林闯. 一种带约束的多目标服务质量路由算法,计算机研究与发展,2004,41(8):1368~1375
[150] 崔逊学,林闯. 基于多目标遗传算法的多播服务质量路由优化. 计算机研究与发展, 2004, 41(7):1144~1150
[151] M R Garey, D S Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. New York: W H Freeman and Company,1979
[152] Deb K. Multi-objective optimization using evolutionary algorithms. Wiley, Chichester, UK,2001
[153] 王小平,曹立明. 遗传算法-理论、应用与软件实现. 西安:西安交通大学出版社,2002,74~76
[154] J Kapur, H Kesavan. Entropy Optimization Principles with Application. San Diego: Academic Press, 1992
[155] 陈国良, 王煦法. 遗传算法及其应用, 北京:人民邮电出版社, 1996
[156] Tierney B, Aydt R, Gunter D et al. A Grid Monitoring Architecture. GGF Performance Working Group, March 2000, Revised, 2002
[2] 陈述彭,鲁学军,周成虎.地理信息系统导论.北京:科学出版社,1999
[3] 陈荦.分布式地理空间数据服务集成技术研究.国防科技大学博士论文,2005.10
[4] 吴焕萍.地理信息 Web 服务集成关键技术研究.北京大学博士学位论文,2005.6
[5] 贾文珏.分布式 GIS 服务链集成关键技术.武汉大学博士论文,2005.4
[6] 鲍 虎 军 等 . 我 国 GIS 技 术 与 应 用 的 现 状 和 对 策 [R].863-13 主 题 专 家组,http://www.spatialdata.org,2003
[7] IBM Corporation.Web services:Web services architect, Part 1:An introduction to dynamic e-business,2001
[8] 岳昆,王晓玲,周傲英.Web 服务核心支撑技术:研究综述.软件学报,15(3): 428~442, 2004
[9] 柴晓路.Web 服务架构与开放互操作技术.北京:清华大学出版社,2002
[10] Curbera F,Duftler M,Khalaf R,et al.Unraveling the Web Services Web:An Introduction to SOAP,WSDL,and UDDI.IEEE Internet Computing,6(02):86-93,2002
[11] 唐宇,陈荦,何凯涛等.空间信息栅格 SIG 框架体系与关键技术研究.遥感学报,8(5):425~433,2004
[12] Shekhar S,Chawlas 著,谢昆青,马修军,杨冬青等译.空间数据库(Spatial Database A tour).北京:机械工业出版社,2004
[13] 国家 863 计划 13 主题.国家 863 计划信息获取与处理技术主题课题申请指南.http://www.spatialdata.org/, 2002.3
[14] Richard ONCHAGA.Towards Quality-aware Composition of Geo-services.the 8th International Conference on the Global Spatial Data Infrastructure (GSDI-8),2005
[15] Liangzhao Zeng, Boualem Benatallah, Marlon Dumas.Quality Driven Web Service Composition.In proceeding of WWW, Budapest, Hungary, pp411~421, 2003
[16] S.Tsur, S.Abiteboul, R.Agrawal, et al.Are Web Services the Next Revolution in e-Commerce (Panel).The International Conference on Very Large Databases, Roma, Italy, 2001:614~617
[17] Liangzhao Zeng, Boualem Bentallah, Anne H.H.Ngu,et al.QoS-Aware Middleware for Web Services Composition.IEEE Transactions on Software Engineering,30(5):311~327,2004
[18] Nikola Milanovic and Miroslaw Malek.Current Solutions for Web Service Composition.IEEE INTERNET COMPUTING,8(6):51~59,2004
[19] ISO/TC211.Geographic information-Reference model.http://www.isotc211.org,2002
[20] Sun Yanfeng, Ma Xiujun,et al.A compensation Mechanism in GIS Web Service Composition.Proceedings of IEEE IGARSS, 2005
[21] ISO19119/OGC Topic12.The OpenGIS Service Architecture.Version 4.3,2002
[22] World Wide Web Consortium.Extensible Markup Language (XML) 1.0 (Second Edition).http://www.w3.org/TR/REC-xml, 2000
[23] OGC 03-025. OpenGIS Web Services Architecture. http://www.opengis.org/docs/03-025.pdf,2003
[24] Open GIS Consortium. Web Map Service Implementation Specification, Version 1.1.1, OGC 01-068r3, 2002, http://www.opengis.org/techno/specs/01-068r3.pdf
[25] Vretanos P. A. (Ed.) Web Feature Service Implementation Specification, Version 1.0.0 OGC 02-058, 2002, http://www.opengis.org/techno/specs/02-058.pdf
[26] Open GIS Consortium.Web Coverage Service (WCS) 1.0, 2003, http://www.opengeospatial.org/ docs/03-065r6.pdf
[27] ESRI Geography Network(Web Service). http://www.amergeog.org/geographynetwork.htm
[28] ESRI.An Overview of ArcWeb Services. http://www.esri.com/library/whitepapers/pdfs/arcweb-services.pdf, 2004
[29] Tom Barclay,et al.TerraService.NET:An Introduction to Web Services.2002 ,http://www.ec-gis.org/docs/F5130/WEBSERVICES.PDF
[30] MapPoint.http://www.microsoft.com/mappoint/products/webservice/default.mspx,2005
[31] 张登荣.地理空间信息共享与服务技术研究,空间信息网格(SIG)项目技术报告,浙江大学,2006
[32] Fabio Casati, Ski Ilnicki, Li-Jie Jin,Vasudev Krishnamoorthy, Ming-Chien Shan.Adaptive and Dynamic Service Composition in eFlow. HP Laboratories Palo Alto,2000
[33] Fabio Casati, Ski Ilnicki, Li-Jie Jin,Vasudev Krishnamoorthy, Ming-Chien Shan. eFlow:a Platform for Developing and Managing Composite e-Services. HP Laboratories Palo Alto,2000
[34] Fabio Casati, Ski Ilnicki, Li-Jie Jin, Vasudev Krishnamoorthy, et al.An Open, Flexible, and Configurable System for E-Service Composition.HP Laboratories Palo Alto,2000
[35] Boualem Benatallah, Marlon Dumas, Quan Z. SHENG. Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services.Distributed and Parallel Databases, An International Journal (DAPD), Kluwer Academic Publishers, 17(1):5~37,2005
[36] Quan Z. Sheng, Boualem Benatallah, Rayan Stephan, Eileen Oi-Yan Mak, Yan Q. Zhu. Discovering E-Services Using UDDI in SELF-SERV.International Conference on E-Business (ICEB2002), 2002, Beijing China
[37] Boualem Benatallah, Marlon Dumas. Definition and Execution of CompositeWeb Services:The SELF-SERV Project. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 2002
[38] Boualem Benatallah, Quan Z. Sheng, Marlon Dumas. The Self-Serv Environment for Web Services Composition. IEEE Internet Computing,pp40~48,2003
[39] Boualem Benatallah, Marlon Dumas, Quan Z. Sheng, Anne H.H. Ngu. Declarative Compositionand Peer-to-Peer Provisioning of Dynamic Web Services.The 18th IEEE International Conference on Data Engineering (ICDE02), pp297~308, San Jose, California, USA, 2002
[40] SR Ponnekanti and A Fox.SWORD:A Developer Toolkit for Web Service Composition.The Eleventh International World Wide Web.Honolulu, Hawaii, May 2002
[41] Abhijit Patil, Swapna Oundhakar, Amit Sheth, Kunal Verma. METEOR-S Web Service Annotation Framework. WWW 2004, May 17-22, 2004, New York, USA
[42] Kaarthik Sivashanmugam, John A. Miller, Amit P. Sheth, Kunal Verma. Framework for Semantic Web Process Composition. Large Scale Distributed Information Systems (LSDIS) Lab, Computer Science Department, The University of Georgia, June 2003
[43] Debra VanderMeer, et al.FUSION: A System Allowing Dynamic Web Service Composition and Automatic Execution.IEEE International conference on E_Commerce(CEC), pp399~404, 2003
[44] Chandrasekaran Senthilanand,et al.Performance Analysis and Simulation of Composite Web Services.The Internatianal Journal of Electronic Commerce and Business Media(EM),13(2):120~132,2003
[45] Chandrasekaran Senthilanand. Composition, performance analysis and simulation of Web services [MS. Thesis]. Georgia: University of Georgia, 2002
[46] Andrews T., Curbera F., et al. Business Process Execution Language for Web Service (BPEL4WS) 1.1, 2003. http://www.ibm.com/developerworks/library/ws-bpel/
[47] Leymann F. Web Service Flow Language (WSFL 1.0), May 2001. http://www-4.ibm.com/ software/solutions/webservices/pdf/WSFL.pdf
[48] Thatte S. XLANG: Web Services for Business Process Design. Microsoft Corporation, 2001. http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm.
[49] 贾文珏, 李斌, 龚建雅. 基于工作流技术的动态 GIS 服务链研究. 武汉大学学报, 2005, 30(11):982~985
[50] Alameh N. Service Chaining of Interoperable Geographic Information Web Service. IEEE Internet Computing, 7(5):22~29, 2003
[51] Tsou M.H. and Buttenfield, B.P. A Dynamic Architecture for Distributed Geographic Information Services. Transactions in GIS, 6(4):355~381,2002
[52] Bernard L., Einspanier U., Lutz M.,et al. Interoperability in GI Service Chains the way Forward. Proceedings of the 6th AGILE conference on Geographic Information Science, pp179~188, 2003
[53] Einspanier U, Lutz M, Senkler K, Simonis I, Sliwinski A. Toward a Process Model for GI Service Composition. GI-Tage2003, Munster, Germany
[54] 王兴玲, 杨崇俊.基于.Net 平台的地理信息 Web 服务研究与应用.计算机工程与应用, 2002, 38(22):6~8
[55] 许春杰, 邹乐君, 沈晓华. 基于 Web Service 的 WebGIS. 测绘通报, 2003.1:41~43
[56] 卢亚辉, 杨崇俊.基于 Web Service 的 WebGIS 系统的研究.计算机工程与应用, 2003,39(25):153~159
[57] 桂智明, 晏磊. 基于 XML Web Service 体系的网络地图服务.测绘通报, 2003.1:53~55.
[58] 罗英伟, 王文俊, 汪小林等.基于 Web Services 的城市地理信息服务集成框架研究. 武汉大学学报(工学版), 2003, 36(3):95~98
[59] 宋亚超, 闾国年, 张宏.基于 Web Service 的 Internet GIS 集成与应用.地球信息科学, 2004, 16(1):44~48
[60] Xiaolin Lu. An Investigation on Service-Oriented Architecture for Constructing Distributed Web GIS Application.Proceedings of the 2005 IEEE International Conference on Services Computing (SCC’05), 2005, pp191~197
[61] 贾文珏, 陈玉敏, 龚健雅, 李爱霞.基于 Web Service 的 OGC 地图服务实现方法.测绘信息与工程, 2004, 29(4):34~36
[62] 杨霞.地理信息服务组合与空间分析服务研究.武汉大学博士学位论文,2004.11
[63] 王方雄.基于原子服务的网格空间信息服务互操作研究.武汉大学博士学位论文, 2005.4
[64] B. Benatallah, M. Dumas, M.-C. Fauvet and F. Rabhi. Towards Patterns of Web Services Composition. In S. Gorlatch and F. Rabbi, editors, Paterns and Skeletons for Parallel and Distributed Computing. Springer Verlag, 2002, pp265~296
[65] Meng, J. Achieving Dynamic Inter-Organizational Workflow Management by Integrating Business Processes, E-ServiceS, Events, and Rules.Doctoral Dissertation, Department of Computer and Information Science and Engineering, University of Florida, 2002.
[66] Workflow Management Coalition. The Workflow Reference Model. WFMC TC00-1003, 1994
[67] 范玉顺.工作流管理技术基础[M].北京:清华大学出版社, 2001
[68] Workflow Management Coalition. Workflow Management Coalition Terminology and Glossary [R]. WFMC-TC-1011, 1999
[69] 刘洋, 葛生.一种基于 Web 服务的分布式工作流系统的研究与实现.计算机工程与应用, 2003, 39(1):208~211
[70] Yih-Shin Tan, et al.Service Domain Tutorials. 2004, http://awwebx04.alphaworks.ibm.com/wstk/common/wstkdoc/services/demos/servicedomain/webapp/ServiceDomainTutorials.pdf
[71] Deke Guo, Honghui Chen, Liang Zhao.Formalized Model and Implementation of Service Virtualization.The IEEE International Conference on Web Service (ICWS), 2005, pp835~836
[72] Fensel D., Van Harmelen F., Horrocks I., McGuinness D. L., and Patel-Schneider P. F. OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 2001, 16(2):38~44
[73] Gruber T. R. A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition, 1993, 5(2): 199~220
[74] 李善平 , 尹奇韦 , 胡玉杰 , 郭鸣 , 付相君.本体论研究综述. 计算机研究与发展, 41(7):1041~1052, 2005
[75] A U Frank. Spatial ontology:A geographical point of view.In:O Stock ed. Spatial andTemporal Reasoning. Dordrecht, Netherlands:Kluwer Academic Publishers, 1997, pp135~153
[76] 周傲英, 凌波. Peer-to-Peer 系统及其应用. 计算机科学, 2000
[77] 雷葆华, 杨明川. P2P 技术的组网模式与业务模式探讨[J]. 电信技术, 2004.11:54-57
[78] B. Yang, H. Garcia-Molina. Improving search in peer-to-peer networks. In: Proc.of the 22nd IEEE International Conference on Distributed Computing, 2002, pp5~14
[79] 唐宇. 空间信息栅格(SIG)系统框架、服务体系与服务聚合技术研究. 国防科技大学博士学位论文,2004.10
[80] World Wide Web Consortium. Simple Object Access Protocol (SOAP) 1.1. http://www.w3.org/TR/SOAP,2000
[81] World Wide Web Consortium. Web Service Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl,2001
[82] UDDI.org. UDDI Technical White paper.http://www.uddi.org,2001
[83] Massimo Paolucci, Takahiro Kawamura, Terry R.Payne, Katia Sycara. Semantic Matching of Web Services Capabilities. In: Horrocks, ed. Proc. of the Int'l Semantic Web Conf. Sardinia: Springer-Verlag, 2002,pp333~347
[84] Dongyan Xu, Klara Nahrstedt, Duangdao Wichadakul.QoS-Aware Discovery of Wide-Area Distributed Services. In: Proceedings of the 1st International Symposium on Cluster Computing and the Grid (CCGrid 2001), New York: IEEE Press, 2001
[85] Kaarthik Sivashanmugam, Kunal Verma, Amit Sheth. Discovery of Web Services in a Federated Registry Environment. Proceedings of the IEEE International Conference on Web Services (ICWS), 2004
[86] Sharad Bansal, Jos′e M. Vidal.Matchmaking of Web Services Based on the DAMLS Service Model. The Second International Joint Conference on Autonomous Agents & Multiagent Systems(AAMAS), 2003, pp926~927
[87] Thomi Pilioura, Aphrodite Tsalgatidou1, Alexandros Batsakis. Using WSDL/UDDI and DAML-S in Web Service Discovery. WWW 2003 Workshop on E-Services and the Semantic Web (ESSW’03), Budapest, May 2003
[88] David Trastour, Claudio Bartolini and Javier Gonzalez-Castillo.A Semantic Web Approach to Service Description for Matchmaking of Services. Proceedings of the International Semantic Web Working Symposium (SWWS),2001
[89] 胡建强,邹鹏,王怀民,周斌. Web 服务描述语言 QWSDL 和服务匹配模型研究. 计算机学报, 2005, 28(4):505~513
[90] 袁崇义. Petri 网原理. 电子工业出版社,1998
[91] W.M.P. van der Aalst. The Application of Petri Nets toWorkflow Management. The Journalof Circuits, Systems and Computers, 8(1):21~66, 1998
[92] W.M.P. van der Aalst. Verification of Workflow Nets. In P. Az′ema and G. Balbo, editors,Application and Theory of Petri Nets 1997, volume 1248 of LNCS,pp407~426.Springer-Verlag, Berlin,1997
[93] 李志伟. 以 Petri Net 为基础的网络服务组合前置验证及简化方法. 中原大学硕士论文, 台湾, 2004
[94] Yu Tang, Luo Chen, Kaitao He and Ning Jing. SRN:An Extended Petri-Net-Based Workflow Model for Web Services Composition. ICWS2004, San Diego, USA, IEEE Press, 591~599,2004
[95] Hamadi R. and Benatallah B. A Petri net based Model for Web Services Composition. In 14th Australasian database conference(ADC2003), 2003, pp191~200
[96] 阎志华,丁秋林. 基于 Petri 网的 Web 服务流程建模. 计算机应用,2003,23(12):55~57
[97] 钱柱中,陆桑璐,谢立. 基于 Petri 网的 Web 服务自动组合研究. 计算机学报, 2006, 29(7):1057~1066
[98] Wil van der Aalst, Kees van Hee 著, 王建民等译. 工作流管理-模型、方法和系统(Workflow Management: Models, Methods, and Systems). 北京:清华大学出版社,2004
[99] 赵文, 胡文蕙等. 工作流元模型的研究与应用. 软件学报, 2003, 14(6):1052~1059
[100] K. Jensen. Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use. Volume 1, 2 and 3, second edition, Springer,New York,1997
[101] W.M.P. van der Aalst,et al. Advanced Workflow Patterns [A]. the 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of LNCS[C],pages 18-29. Springer-Verlag, Berlin, 2000
[102] W.M.P. van der Aalst,A.H.M ter Hofstede. Workflow Patterns: On the Expressive Power of(Petri-net-based) Workflow Languages. Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools,2002
[103] 余鹏, 周国富, 屈婉玲, 袁崇义. 基于 Petri 网的工作流模式-工作流模式分析研究. 系统仿真学报, 2003, 15:119~122
[104] Workflow Patterns Home Page. http://www.tm.tue.nl/it/research/patterns
[105] Software-Ley. COSA 3.0 User Manual. Software-Ley GmbH, Pullheim, Germany, 1999.
[106] Staffware. Staffware 2000 / GWD User Manual. Staffware plc, Berkshire, United Kingdom,2000
[107] Michael C.Jaeger, Gregor Rojec-Goldmann, and Gero Muhl. QoS aggregation for service composition using workflow patterns. In Proceedings of the 8th International Enterprise Distributed Object Computing Conference(EDOC2004), pages149~159,Monterey,California,USA,September 2004.IEEE CS Press
[108] W.M.P. van der Aalst.Don't go with the flows : Web Services composition standards exposed.IEEE Intelligent Systems,30(2):72~85,2003
[109] W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.Workflow Patterns.Distributed and Parallel Databases,14(1):5~51,2003
[110] 杜玉越, 蒋昌俊. 基于工作流网的实时协同系统模拟技术. 计算机学报, 27(4):471~481, 2004
[111] 李建强, 范玉顺. 一种工作流模型的性能分析方法. 计算机学报, 2003, 26(5):1~11
[112] A.Kondratyev, M.Kishinevsky, A.Taubin, S.Ten. A structural approach for the analysis of Petri nets by reduced unfoldings. LNCS, vol.1091, Springer-Verlag, pp346~365, 1996
[113] A.Valmari. Stubborn sets for reduced state space generation. LNCS, Vol483, Springer-Verlag, pp491~515, 1990
[114] J.Martinez and M.Silva. A simple and fast algorithm to abtain all invariants of generalized Petri Net. In application and Theory of Petri nets, Selected Papers from the First and Second Euripean Workshop on application and Theory of Petri nets. Informatik-Fachberichte, No.52, Springer-Verlag, 1981
[115] J.Desel. Reduction and Design of well-behaved concurrent systems. Proceedings of CONCUR-90, LNCS, Vol458, pp166~181, 1990, Springer-Verlag
[116] Cheng, A., J. Esparza, and J. Palsberg. Complexity Results for 1-safe Nets. Foundations of Software Technology and Theoretical Computer Science, volume 761 of Lecture Notes in Computer Science, Edited by R. K. Shyamasunder.326-337. Berlin: Springer-Verlag, 1993
[117] Wasim Sadiq, Maria E.Orlowska. On Business Process Model Transformation. The 19th International Conference on Conceptual Modeling(ER2000), LNCS1920, pp267~280, 2000
[118] OGC. OpenGIS Catalogue Services Specification(Version2.0). 2004, http://portal.opengis.org/files/?artifact_id=5929&version=1
[119] Bob Atkinson, et al. Web Services Security (WS-Security) Version 1.0. 2002, http://w.verisign.com/wss/wss.pdf
[120] Cabrera F., et al. Web Services Transaction (WS-Transaction). August 2002. http://www.ibm.com/developerworks/library/ws-transpec/ WS-Transaction
[121] 杨胜文,史美林. 一种支持 QoS 约束的 Web 服务发现模型. 计算机学报,2005,28(4):589~594
[122] Menasce D A. QoS issues in Web Service. Internet Computing, 6(6):72~75, 2002
[123] Jorge Cardoso, John Miller, Amit Sheth and Jonathan Arnold. Modeling Quality of Service for Workflows and Web Service Process, Submitted to VLDB Journal for review om May 27, 2002
[124] Yutu Liu, Anne H.H.Ngu, Liangzhao Zeng. QoS Computation and Policing in Dynamic Web Service Selection. In proceeding of WWW, New York, USA, 2004,66~73
[125] Chen H G, Yu T, Lin K J. QCWS:An implementation of QoS-capable multimedia Web Services. In:Proceedings of the 5th International Symposium on Multimedia Software Engineering, Taiwan, 2003
[126] SHUPING RAN. A Model for Web Services Discovery with QoS. ACM SIGecom Exchanges, 2003, 4(1):1~10
[127] ISO9000. International Organization for Standardization. 2002, http://www.iso.ch/iso/en/iso9000/iso9000index.html
[128] Tversky,A. and D.Kahneman. Judgement under uncertainty: Heuristics and biases Science,1974,185:1124~1131
[129] M.Tian, A.Gramm, T.Naumowicz, H.Ritter, J.Schiller. A Concept for QoS Integration in Web Services. In proceeding of Fourth International Conference on Web Information Systems Engineering Workshops (WISEW'03), 2003, pp149~155
[130] Amit Sheth, Jorge Cardoso, John Miller, and Krys Kochut. QoS for Service-oriented middleware. In Proceedings of the 6th World Multiconference on Systemics, Cybernetics abd Informatics (SCI02), 2002, pp528~534
[131] 林闯, 田立勤, 魏丫丫. 工作流模型的性能等价分析. 软件学报, 2002, 13(8):1472~1480
[132] 林闯,曲扬,郑波,田立勤. 一种随机 Petri 网性能等价化简与分析方法. 电子学报,30(11):1620~1623,2002
[133] 刘书雷,陈荦,唐宇,景宁. 工作流扩展模型及其性能等价分析.系统工程与电子技术,2006
[134] Michael C.Jaeger, Gregor Rojec-Goldmann, and Gero Muhl. QoS aggregation in Web Service Compositions. In 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE-05), Hong Kong, China, March 2005. IEEE Press
[135] CLARK, M. 2001. UDDI weather report. http://www.webservicesarchitect.com/content/articles/clark04.asp
[136] Kim SM, Rosu MC. A survey of public Web Service. In:Proceedings of 13th international conf. on World Wide Web(WWW2004), USA: ACM, 2004, pp312~314
[137] M.Kksalan and S.Zionts, editors. Multiple Criteria Decision Making in the New Millennium. Spinger-Verlag, 2001
[138] H.C.-L and K.Yoon. Multiple Criteria Decision Making. Lecture Notes in Economics and Mathematical Systems, Springer-Verlag, 1981
[139] 杨丹,申德荣,于戈,吴青泉. 一种支持 Web 服务合成的模型定义语言-e_SPDL. 计算机集成制造系统-CIMS,9(10):932~936,2003
[140] Cabrera F., et al. Web Services Coordination (WS-coordination). 2002. http://www.ibm.com/developerworks/library/ws-coor/
[141] H. Schuster, et al. Modeling and composing service-based and reference process-based multi-enterprise processes. In Proc. of the Int.Conference on Advanced Information Systems Engineering(CAiSE), Stockholm, Sweden, June 2000. Springer Verlag.
[142] 赵俊峰, 谢兵, 张路, 杨芙清. 一种支持领域特性的 Web 服务组装方法, 计算机学报, 2005, 28(4):731~738
[143] Danilo Ardagna, Barbara Pernici. Global and Local QoS Constraints Guarantee in Web Service Selection. the IEEE International Conference on Web Services, ICWS2005, pp805~806
[144] Hai Jin, Hanhua Chen, Zhipeng Lu, and Xiaoming Ning. Q-SAC: Toward QoS Optimized Service Automatic Composition. the 5th IEEE/ACM International Symposium on Cluster, computer and the Grid(CCGRID), 2005, pp623~630
[145] Tao Yu, Kwei-Jay Lin. Service selection algorithms for Web services with end-to-end QoS constraints. The IEEE International Conference on E-Commerce Technology(CEC2004), 2004,pp129~136
[146] Pisinger.D. A minimal algorithm for the Multiple-choice Knapsack Problem. European Journal of Operational Research,1995,83:394~410
[147] Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, and Maria Luisa Villani. An Approach for QoS-aware Service Composition based on Genetic Algorithms. GECCO 2005,Washington, DC, USA,2005,pp1069~1075
[148] Xiaohui Gu, Klara Nahrstedt, Rong N.Chang, and Christopher Ward. QoS-Assured Service Composition in Managed Service Overlay Networks. IEEE International Conference on Distributed Computing Systems (ICDCS), 2003, pp194~203
[149] 崔逊学,林闯. 一种带约束的多目标服务质量路由算法,计算机研究与发展,2004,41(8):1368~1375
[150] 崔逊学,林闯. 基于多目标遗传算法的多播服务质量路由优化. 计算机研究与发展, 2004, 41(7):1144~1150
[151] M R Garey, D S Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. New York: W H Freeman and Company,1979
[152] Deb K. Multi-objective optimization using evolutionary algorithms. Wiley, Chichester, UK,2001
[153] 王小平,曹立明. 遗传算法-理论、应用与软件实现. 西安:西安交通大学出版社,2002,74~76
[154] J Kapur, H Kesavan. Entropy Optimization Principles with Application. San Diego: Academic Press, 1992
[155] 陈国良, 王煦法. 遗传算法及其应用, 北京:人民邮电出版社, 1996
[156] Tierney B, Aydt R, Gunter D et al. A Grid Monitoring Architecture. GGF Performance Working Group, March 2000, Revised, 2002