空间信息服务链构建关键技术研究及应用
|
摘要
随着空间信息应用需求的不断扩大，空间海量数据的异构分布、处理复杂、计算密集等问题逐渐成为制约空间信息广泛共享和应用的重要因素。而Web服务的提出与发展，为不同级别和部门的Internent应用服务系统提出了新的发展方向和趋势，Web服务给空间信息的共享和服务提供了一个新的集成思路，即空间信息Web服务，它有效地解决了分布、异构环境下的空间信息共享和互操作问题，是实现分布式空间信息广泛共享和服务的主要研究方向和实现途径。互联网上或者机构内部的空间信息服务不断丰富，使得如何将这些现有的空间信息Web服务，动态地组合起来，形成新的增值服务是当前一种重要的空间信息应用构造模式。因此，空间信息服务链技术也成为地理信息科学领域一个新的研究热点。本文针对当前空间信息服务链研究中存在的不足，重点在空间信息服务链技术体系、空间信息服务管理机制、空间信息服务链业务流程建模与描述、空间信息服务链验证与执行等几个方面进行深入研究。具体的研究内容如下：
（1）在研究空间信息服务链概念、模式、构建方法、相关的支撑技术等理论的基础上，提出了空间信息服务链技术体系；
（2）以区域空间信息共享与服务的应用需求为背景，在分析OGC、ISO等组织以及其他一些学者对空间信息服务分类方法研究的基础上，提出了的面向区域用户应用需求的空间信息服务分类体系；
（3）在分析已有的空间信息注册中心存在的问题的基础上，提出了集空间信息服务的搜索、描述、分类、组织、存储、发布、发现为一体的空间信息服务管理机制，为空间信息服务链的有效执行提供支持，并建立区域空间信息应用领域的服务库管理中心，对空间信息服务进行有效的注册、管理。服务库管理中心不仅存储服务的基本信息，还存储了服务的质量属性信息、服务关系，为用户提供分类查询、关键字查询、条件约束查询、服务质量约束查询、服务关联查询以及综合查询等服务发现方式。
（4）对现有的服务链过程建模方法以及流程描述方法进行对比研究，提出基于活动网络图的服务链流程建模方法，提供可视化平台让用户对服务链的流程进行建模，构建服务链过程模型，并可对节点属性进行自然语言描述。
（5）对过程模型进行解析，基于XML语言规范，以网络服务业务流程执行语言（WS-BPEL）为基础，通过必要的修改、补充和简化，提出适合空间信息服务链动态变化特点的空间信息服务链描述语言SSCDL，对服务链的过程模型进行结构化描述，构建服务链业务流程的逻辑描述。
（6）引入Pi演算的行为等价理论，对服务链过程描述进行正确性验证，即验证服务链的执行结果是否与用户的需求目标相一致。
（7）研究服务链的执行和管理监控方法，使执行引擎具有控制具体服务实例间的流转和数据传输，同时也负责参数的传递、异常处理和与用户的交互，以及对服务链构建过程中所涉及到的服务链流程模型、服务库注册中心、服务链执行日志等进行管理维护等能力。
（8）面向区域空间信息共享与服务应用需求，设计并实现了空间信息服务链构建平台，并以海峡物流公共信息平台为典型应用，验证本文提出的空间信息服务链关键技术和方法。
Along with the continuous expansion of spatial information applicationrequirements, the problems of heterogeneous distributing, complex handling and,intensive computing of vast amounts spatial data have become to important factors onrestricting application of spatial information widely sharing. The proposed web serviceand its development have set new direction and trend for the internet ApplicationService Systen of different levels and departments. Web service offers a newintegration idea for spatial information sharing and serving, that is spatial informationweb service. The spatial information web service effectively solves the problems ofspatial information sharing and interoperating on the distributed and heterogeneousenvironment, it is the main research direction and way to realize distritited spatialinformation sharing and serving widly. The constantly enrich spatial informationservices on the internet or within the organizations, makes how to dynamicallycomposite the existing spatial information web services to form a new value addedservice to be currently an improtmant spatial information application construct model.Therefore, the technic of spatial information service chain has become a new researchfocus in the field of geographic information science. Focusing on the shortcomings ofcurrent spatial information chain study, this paper has lucubrated on the spatialinformation service technology system, spatial information service managementmechanism, spatial information service chain business process modeling anddescribing, spatial information service chain validating and implementing ect. Specificcontents are as follows:
(1) Base on studying the theory of spatial information service chain concept,model, constructing methods, and correlative supporting technology, spatialinformation service chain technology system is proposed.
(2) Taking the application requirement of regional spatial information sharing andserving as the background, the spatial information service classification system face onregional user application requirement is advanced, base on analyzing the spatialinformation service classification method of OGC,ISO and other scholars.
(3) Base on analyzing the problems of the existing spatial information registrycenter, the spatial information service management mechanism system is put forword,which gathers spatial information service searching, describing, classificating,organizating, and storaging, releasing and finding to be one. And has built the servicedatabase management center of regional spatial information application field to registerand manage the spatial information service. The service database management centernot only stores the basic information of service, also stores the quality attributes ofservice and service relationships, to provice users with the service finding way of query classification query, keyword query, cnstraints query, associated query andcomprenhensive query
(4) After comparing the existing service chain process modeling and processdescription method, service chain process modeling method is proposed based onactivity network diagram, and has provided a visual platform for users to model theservice chain process and to describe the node attributes using natural language.
(5) Parsing the requirement model, basing on XML specification,taking webservice Business Process Execution Language(WS-BPEL)as the foundation,trough thenecessary changes,additions and simplify, the Spatial information Service ChainDescription Language SSCDL is advanced for the characteristics of spatial informationservice chain dynamic changing.SSCDL structural describes the requirement mode ofservicechain and builds the logic description of service chain business process.
(6) Pi calculus behavior equivalent theory is introducted to verify the accuracy ofservice chain requirement model that is whether the implementing result of servicechain is same to the users’requirement goal.
(7) The implementing and management controlling methods of service chain isstudied, so that the execution engine has the functions of controlling the specificservices instance to be on the move and data transmissing. The engine is alsoresponsible for passing parameters, exception handling and interaction with the user.And it has the functions of managing and maintenancing service chain business model,service database registry center and service chain excution log etc.
(8) The spatial information service chain building platform is designed andplemented to meet the application requirement of reginal spatial information sharingand serving. And taked the “Channel Logistice Public Information Platform”as thetypical application to verify the key technologies and methods of spatial informationservice chain in this paper.
（1）在研究空间信息服务链概念、模式、构建方法、相关的支撑技术等理论的基础上，提出了空间信息服务链技术体系；
（2）以区域空间信息共享与服务的应用需求为背景，在分析OGC、ISO等组织以及其他一些学者对空间信息服务分类方法研究的基础上，提出了的面向区域用户应用需求的空间信息服务分类体系；
（3）在分析已有的空间信息注册中心存在的问题的基础上，提出了集空间信息服务的搜索、描述、分类、组织、存储、发布、发现为一体的空间信息服务管理机制，为空间信息服务链的有效执行提供支持，并建立区域空间信息应用领域的服务库管理中心，对空间信息服务进行有效的注册、管理。服务库管理中心不仅存储服务的基本信息，还存储了服务的质量属性信息、服务关系，为用户提供分类查询、关键字查询、条件约束查询、服务质量约束查询、服务关联查询以及综合查询等服务发现方式。
（4）对现有的服务链过程建模方法以及流程描述方法进行对比研究，提出基于活动网络图的服务链流程建模方法，提供可视化平台让用户对服务链的流程进行建模，构建服务链过程模型，并可对节点属性进行自然语言描述。
（5）对过程模型进行解析，基于XML语言规范，以网络服务业务流程执行语言（WS-BPEL）为基础，通过必要的修改、补充和简化，提出适合空间信息服务链动态变化特点的空间信息服务链描述语言SSCDL，对服务链的过程模型进行结构化描述，构建服务链业务流程的逻辑描述。
（6）引入Pi演算的行为等价理论，对服务链过程描述进行正确性验证，即验证服务链的执行结果是否与用户的需求目标相一致。
（7）研究服务链的执行和管理监控方法，使执行引擎具有控制具体服务实例间的流转和数据传输，同时也负责参数的传递、异常处理和与用户的交互，以及对服务链构建过程中所涉及到的服务链流程模型、服务库注册中心、服务链执行日志等进行管理维护等能力。
（8）面向区域空间信息共享与服务应用需求，设计并实现了空间信息服务链构建平台，并以海峡物流公共信息平台为典型应用，验证本文提出的空间信息服务链关键技术和方法。
Along with the continuous expansion of spatial information applicationrequirements, the problems of heterogeneous distributing, complex handling and,intensive computing of vast amounts spatial data have become to important factors onrestricting application of spatial information widely sharing. The proposed web serviceand its development have set new direction and trend for the internet ApplicationService Systen of different levels and departments. Web service offers a newintegration idea for spatial information sharing and serving, that is spatial informationweb service. The spatial information web service effectively solves the problems ofspatial information sharing and interoperating on the distributed and heterogeneousenvironment, it is the main research direction and way to realize distritited spatialinformation sharing and serving widly. The constantly enrich spatial informationservices on the internet or within the organizations, makes how to dynamicallycomposite the existing spatial information web services to form a new value addedservice to be currently an improtmant spatial information application construct model.Therefore, the technic of spatial information service chain has become a new researchfocus in the field of geographic information science. Focusing on the shortcomings ofcurrent spatial information chain study, this paper has lucubrated on the spatialinformation service technology system, spatial information service managementmechanism, spatial information service chain business process modeling anddescribing, spatial information service chain validating and implementing ect. Specificcontents are as follows:
(1) Base on studying the theory of spatial information service chain concept,model, constructing methods, and correlative supporting technology, spatialinformation service chain technology system is proposed.
(2) Taking the application requirement of regional spatial information sharing andserving as the background, the spatial information service classification system face onregional user application requirement is advanced, base on analyzing the spatialinformation service classification method of OGC,ISO and other scholars.
(3) Base on analyzing the problems of the existing spatial information registrycenter, the spatial information service management mechanism system is put forword,which gathers spatial information service searching, describing, classificating,organizating, and storaging, releasing and finding to be one. And has built the servicedatabase management center of regional spatial information application field to registerand manage the spatial information service. The service database management centernot only stores the basic information of service, also stores the quality attributes ofservice and service relationships, to provice users with the service finding way of query classification query, keyword query, cnstraints query, associated query andcomprenhensive query
(4) After comparing the existing service chain process modeling and processdescription method, service chain process modeling method is proposed based onactivity network diagram, and has provided a visual platform for users to model theservice chain process and to describe the node attributes using natural language.
(5) Parsing the requirement model, basing on XML specification,taking webservice Business Process Execution Language(WS-BPEL)as the foundation,trough thenecessary changes,additions and simplify, the Spatial information Service ChainDescription Language SSCDL is advanced for the characteristics of spatial informationservice chain dynamic changing.SSCDL structural describes the requirement mode ofservicechain and builds the logic description of service chain business process.
(6) Pi calculus behavior equivalent theory is introducted to verify the accuracy ofservice chain requirement model that is whether the implementing result of servicechain is same to the users’requirement goal.
(7) The implementing and management controlling methods of service chain isstudied, so that the execution engine has the functions of controlling the specificservices instance to be on the move and data transmissing. The engine is alsoresponsible for passing parameters, exception handling and interaction with the user.And it has the functions of managing and maintenancing service chain business model,service database registry center and service chain excution log etc.
(8) The spatial information service chain building platform is designed andplemented to meet the application requirement of reginal spatial information sharingand serving. And taked the “Channel Logistice Public Information Platform”as thetypical application to verify the key technologies and methods of spatial informationservice chain in this paper.
引文
[1].宋关福、罗灵军.面向服务的地理信息共享[J].技术，2009（2）：97-100.
[2].吴升,王钦敏,涂平,励惠国.数字区域应用基础设施研究[J].地球信息科学,2006,8(4):19-24.
[3].王钦敏,吴升,涂平,肖桂荣,励惠国.数字区域信息应用基础设施[M].科学出版社，2009.
[4].涂平,吴升.空间信息资源交换服务平台研究[J].测绘科学技术学报,2008,25(5):368-371.
[5].涂平,李桂平,陈楠.区域政务信息资源共享服务平台设计与实现[J].福州大学学报(自然科学版),2008,36(6):819-824.
[6].肖桂荣,涂平,汪小钦,励惠国.多尺度空间信息服务技术及其农业应用[J].农业工程学报,2008,24(3):189-192.
[7].吴升,陈楠.基于位置服务的动态车辆路径问题研究[J].福州大学学报(自然科学版),2007,35(6):953-956.
[8].肖桂荣.区域地理空间数据共享平台与目录服务研究[J].计算机工程与应用,2009,45(16):155-158.
[9].陈友梅. GIS系统发生“偏移”[N].中国计算机报,2007-08-16.
[10].陈军,丁明柱,蒋捷等.从离线数据提供到在线地理信息服务[J].学术研究,2009(2):6-9.
[11].ISO19119:2005/Amd1:2008[OL].http://www.iso.org/iso/catalogue_detail.htm?csnumber=39890,2010.
[12].OGC. http://www.opengeospatial.org/[OL],2010.
[13].What is g.net[OL].http://www.esri.com/library/whitepapers/pdfs/what_is_gnet.pdf,2002.
[14].MapPoint[OL]. http://www.microsoft.com/mappoint/en-us/default.aspx,2010.
[15].Lassi Lehto. Standards-Based Service Architecture for Mobile Map Applications[C].5thAGILE Conference on Geographical Information Science,Palma,2002.
[16].MapXtreme2008[OL].http://www.pbinsight.com/products/location-intelligence/developer-tools/desktop-mobile-and-internet-offering/mapxtreme-2008/.
[17].吉奥之星GeoSurf[OL].http://www.lmars.whu.edu.cn/prof_web/zhuxinyan/my/geosurf.htm.
[18].SuperMap IS.NET2008. http://www.supermap.com.cn/gb/products/fwskf.htm.
[19].福建省空间信息工程研究中心Sircweb[OL]. http://www.sircweb.cn/.
[20].灵图公司Sm@rtIMS[OL].http://www.chinahtp.com/ProductHtml1/2006-04/Product20070446.htm.
[21].Jonathan L. Goodall, Jeffery S. Horsburgh,Timothy L. Whiteaker et al, A first approach to webservices for theNational Water Information System[J]. Environmental Modelling&Software2008(23):404-411.
[22].C.Farcy,B.de Terwangne P.Blerot. A distributed information system for public forest andwildlife management in the Walloon Region(Belgium) using open GIS standards[J].Computers and Electronics in Agriculture,2005(47):207–220.
[23].Christian Kiehle. Standardized Geoprocessing-Taking Spatial Data Infrastructures one StepFurther[C]. the9th AGILE Conference on Geographic Information Science,2006:273-282.
[24]. Anders Friis-Christensen, Lars Bernard, Ioannis Kanellopoulous et al. Building ServiceOriented Applications on top of a Spatial Data Infrastructure–A forest Fire AssessmentExample. Proceedings of9th AGILE Conference,2006(4):119-127.
[25].David J.Maguire, Paul A.Longley. The emergence of geoportals and their role in spatial datainfrastructures[J]. Computers, Environment and Urban,2005(29):3-14.
[26].Bernard L, Einspanier U, Lutz M, Portele C. Interoperabilities in GI Service Chains-the WayForward[C]. In Proceedings of the6th AGILE,2004.
[27].Winnie S.M.Tang,Jan Robert Selwood,2003. GIS Web Services: A route to Societal GIS.http://gisdevelopment.net/technology/gis/pdf/ma03022.pdf,Map Asia Conference.
[28].马林兵，齐华.基于可重用Web Service的GIS数据集成和共享[J].铁路航测，2003(1):1-3.
[29].Matjaz B. Juric, Ana Sasa, Bostjan Brumen, Ivan Rozman. WSDL and UDDI extensions forversion support in web services[J]. The Journal of Systems and Software,2009(82):1326-1343.
[30].姜峰,范玉顺.UDDI与Web服务扩展元数据拓扑映射[J].清华大学学报（自然科学版）,2009,49(7):1080-1084.
[31].王旭辉,姚世军,焦志勇,韩强.基于UDDI的Web服务发现研究[J].计算机与现代化,2009(2):31-34.
[32].戴常英，戴明坤，张会娟.扩展Augment UDDI系统以支持QoS的Web服务发现模型[J].计算机工程与设计,2009,30(2):358-361.
[33].乔治强1,3，王勇2，张璟3基于UDDI的应用服务注册中心的设计[J].计算机工程与设，2008，29(24):6293-9295.
[34].Matjaz B. Juric, Ana Sasa, Bostjan Brumen, Ivan Rozman. WSDL and UDDI extensions forversion support in web services[J]Journal of Systems and Software,2009,82(8):1326-1343.
[35].Hai Dong, Farookh Khadeer Hussain, Elizabeth Chang.A framework for discovering andclassifying ubiquitous services in digital health ecosystems [J].Journal of Computer andSystem Sciences,2010.2:1-18.
[36].Wenjia Niu, Gang Li, Zhijun Zhao, Hui Tang, Zhongzhi Shi.Multi-granularity context modelfor dynamic Web service composition[J].Journal of Network and ComputerApplications,2011,34(1):312-326.
[37].Yanan Hao, Yanchun Zhang, Jinli Cao.Web services discovery and rank: An informationretrieval approach[J].Future Generation Computer Systems,2010,26(8):1053-1062.
[38].贾文钰.分布式GIS服务链集成关键技术[D].武汉大学博士论文,2005.
[39].赵姗,郭建忠,成毅,陈晓斌.基于UDDI扩展的地理空间信息网格注册中心设计[J].测绘信息与工程,2008,33(2):36-38.
[40].黄裕霞,黄裕锋. Clearinghouse (数据交换中心)与数字化地理信息共享[J].遥感信息,2003(1):28-30.
[41].龚健雅,李德仁.论地球空间信息服务技术的发展[J].测绘通报,2008(5):5-10.
[42].阿斯特等著；王建民等译.工作流管理：模型、方法和系统[M].北京：清华大学出版社，2004.
[43].Khodakaram Salimifard, Mike Wright.Petri net-based modelling of workflow systems: Anoverview[J].European Journal of Operational Research,2001,134(3):664-676.
[44].Juan Guillen-Scholten, Farhad Arbab et al. Modeling the Exogenous Coordination of MobileChannel-based Systems with Petri Nets[J]Electronic Notes in Theoretical Computer Science,2006,154(1):121-138.
[45].Valent′n Valero, M. Emilia Cambronero, et al. A Petri net approach for the design andanalysis of Web Services Choreographies[J].Journal of Logic and AlgebraicProgramming,2009,78(5):359-380.
[46].Taejong Yoo, Buhwan Jeong, Hyunbo Cho.A Petri Nets based functional validation forservices composition[J].Expert Systems with Applications,2010,37(5):3768-3776.
[47].李景霞,候紫峰.基于颜色Petri网的Web服务组合建模及应用[J].计算机应用研究,2006(9):149-152.
[48].范贵生,虞慧群,刘冬梅,陈丽琼.基于时间Petri网的服务组合建模及分析[J].计算机科学,2008,35(11):219-223.
[49].Yu Tang,Luo Chen,Kaitao He and Ning Jing.SRN:An Extended Petri-Net-Based WorkflowModel for Web Services Composition.ICWS2004,San Diego,USA,IEEE Press,2440:591-599.
[50].Image and Workflow Library: FlowMark V2.3Design Guidelines[OL].http://www.redbooks.ibm.com/abstracts/sg244613.html,2010.
[51].黎海生.基于活动网络的工作流过程定义模型[J].科技广场,2005(5):1-3.
[52]. Kappel G,Rauch-Schott S,Retschitzegger W. Coordination in Workflow ManagementSystems-A Rule-Based Approach[R]. Lecture Notes in Computer Science,Spring-Verlag.2002(1364):3-120.
[53].张劲松,薛春芳,钟毅芳.基于过程链的产品开发过程建模研究[J].华中科技大学学报(自然科学版),2005,33(5)：64-66.
[54].Web service flow language (WSFL)1.0” IBM Technical Document [EB/OL].
[55].http://www.ibm.com/software/solutions/webservices/pdf/WSFL.pdf,2001.
[56].BizTalk: Implement Design Patterns for Business Rules with Orchestration Designer [EB/OL].
[57].http://msdn.microsoft.com/zh-cn/magazine/cc301357(en-us).aspx,2001.
[58].OASIS WSBPEL TC, Web Services Business Process Execution Language Version2.0[EB/OL]. http：//docs.oasis-open.org/wsbpeU2.0/wsbpel-v2.0.pdf,2007.4.
[59].Workflow Management Coalition. XML Process Definition Language[EB/OL].http://wfmc.org/standards/xndl.htm，2008.
[60].Web Service Choreography Interface1.0. BEA,Intalio, SAP and Sun[EB/OL].http://www.w3.org/TR/wsci/,2002.
[61].Web Service Choreography Interface (WSCI) FAQ[EB/OL].http://ftpna2.bea.com/pub/downloads/wsci-faq-060302.htm1,2002.
[62].Web Services Conversation Language (WSCL)1.0[EB/OL]. http://www.w3.org/TR/wscl10/,2002.
[63].Cover Robin, Business Process Modeling Language[EB/OL].http://xml.coverpages.org/bpml.html,2009.
[64].刘书雷.基于工作流的空间信息服务聚合技术研究[D].国防科学技术大学博士论文,2006.
[65].萧峻妹，张钢，孙达.一种基于XML的工作流过程定义语言[J].微处理机,2007,28(3):47-48,52.
[66].高娟，姜利群.基于WSFL的Web服务组合[J].计算机工程与设计，2006(9):1652-1655.
[67].Dai Yu, Yang Lei, Zhang Bin. Business domain oriented AI planning for web servicecomposition[J]. Journal of Southeast University(English Edition),2007,23(3):421-424.
[68].方其庆,彭晓明等.结合AI规划和工作流的动态服务组合框架研究[J].计算机科学，2009，36（9）：110-114.
[69].Piergiorgio Bertoli, Marco Pistore, Paolo Traverso.Automated composition of Web servicesvia planning in asynchronous domains[J].Artificial Intelligence,2010,174(34):316-361.
[70].刘杨.透视BPEL及其应用[J].网络与信息，2007(05):73-73.
[71].Lei Li, Ian Horrocks. A software framework for matchmaking based on semantic webtechnology. In: Proc.12th Int. Conf. World Wide Web (Alternate Track Papers&Posters).ACMPress,2003.
[72].Paolucci Massimo,Kawamura Takahiro,Payne Terry R..Semantic Matching of Web ServicesCapabilities[C].Proc of the1st International Semantic Web Conference Sardinia,2002.
[73].Marco Pistore,Paolo Traverso,Piergiorgio Bertoli,A.Marconi.Automated synthesis ofexecutable web service compositions from BPEL4WS processes[C].In:Proc.14th Int.Conf.World Wide Web(Special interest tracks and posters).ACM Press,2005.
[74].Zeng Liangzhao, Benatallah Boualem, H Ngu Anne H. Qos-Aware Middleware for WebServices Composition[C].IEEE Transactions on Software Engineering,2004.
[75].蔡勇,武海峰.一种基于OWL本体的Web服务组合算法研究[J].微计算机信息,2008,24(4-3):168-170.
[76].Einspanier U, Lutz M, Senkler K. et al. Toward a Process Model for GI ServiceComposition[C]. GI-Tage2003,Munster,Germany,2003.
[77].Peng Yue, Jianya Gong, and Liping Di. Automatic Transformation from Semantic Descriptionto Syntactic Specification for Geo-Processing Service Chains[C]. W2GIS2008,2008:50–62.
[78].Nadine Alameh. Chaining Geographic Information Web Services[J]. Global Science&Technology,2003:22-29.
[79].Javier Camara, Carlos Canal, JavierCubo Antonio Vallecillo. Formalizing WSBPEL BusinessProcesses Using Process Algebra[J]. Electronic Notes in Theoretical ComputerScience,2006(154):159-173.
[80].Peng Yue, Liping Di et al. Path Planning for Chaining Geospatial Web Services[C]. W2GIS2006, LNCS4295,2006:214-226.
[81].Peng Yue, Liping Di et al. Semantics-based automatic composition of geospatial Web servicechains [J]. Computers&Geosciences,2007(33):649-665.
[82].Peng Yue, Jianya Gong, Liping Di. Augmenting geospatial data provenance through metadatatracking in geospatial service chaining[J].Computers&Geosciences,2010,36(3):270-281.
[83].安杨，边馥苓，关佶红.基于Ontology的网络地理服务描述与发现[J].武汉大学学报信息科学版,2004(12):1063-1066.
[84].吴斐，景东升，毕思文.基于Web Service和OWL-S的地理空间信息语义服务[J].计算机应用,2006(26):232-234.
[85].WU Shanming, SHEN Jianjing. Chaining Distributed Geographic Information Web ServicesBased on Ontology[J].Wuhan University Journal of Natural Sciences,2008(13):401-406.
[86].Bourgogne Univ., Dijon. an object oriented model for cooperative spatial informationsystems [J].Knowledge and Data Engineering Exchange Workshop,1997(4):73-80
[87].王强,王家耀,郭建忠.基于Agent的空间信息服务组合研究[J].测绘科学技术学报,2009,26(1):60-64.
[88].Ion Constantinescu, Boi Faltings，Walter Binder. Large Scale,Type-Compatible ServiceComposition[C]. In: Proc. IEEE Int Conf. Web Services. IEEE CS Press,2004.
[89].W.M.P.van der Aalst.The Application of Petri Nets to Workflow Management[J]. The Journalof Circuits, Systems and Computers,1998,8(1):21-66.
[90].Mani A., Nagarajan A. Understanding Quality of Services for Web Services[OL],http://www.ibm.com/developerworks/library/ws-quality.html,2002.
[91].Tian M.,Gramm A.,Ritter H.Efficient selection and monitoring of QoS-aware Web Serviceswith the WS-QoS framework[C].In:Proceedings of the IEEE/WIC/ACM InternationalConference on Web Intelligence,Beijing,China,2004.
[92].Jianting Zhang, Deana D. Pennington, William K. Michener. Validating Compositions ofGeospatial Processing Web Services in a Scientific Workflow Environment[C]. Proceedings ofthe IEEE International Conference on Web Services (ICWS’05),2005.
[93].The OpenGIS Abstract Specification Topic12: OpenGIS Service Architecture[OL].http://www.opengeospatial.org/standards/as.
[94].ISO19119:2005[OL]. http://www.iso.org/iso/catalogue_detail.htm?csnumber=39890.
[95].Anders Friis-Christensen, Lars Bernard, Ioannis Kanellopoulous et al. Building ServiceOriented Applications on top of a Spatial Data Infrastructure–A forest Fire AssessmentExample[C]. Proceedings of9th AGILE Conference,2006(4):119-127.
[96].Angus F.M. Huang, Ci-Wei Lan, Stephen J.H. Yang. An optimal QoS-based Web serviceselection scheme[J]. Information Sciences,2009(179):3309–3322.
[97].G. Decker, J. Mendling. Process instantiation [J]. Data&Knowledge Engineering,2009(68):777–792.
[98].ShaikhAli A, Rana OF,Al-Ali RJ,Walker DW.UDDIe:An extended registry for Webservice[C].Applications and the Internet Workshops,2003Proceedings.2003:85-89.
[99].索红光,左利云.基于UDDI的服务代理的设计与实现.计算机工程与设计[J].2007(28):4526-4528.
[100]. Kim SM,Rosu MC.A survey of public Web services[C].In:Feldman SI,Uretsky M,NajorkM,Wills CE,eds.Proc.of the13th Int’l Conf.on the World Wide Web).New York:ACMPress,2004:312-313.
[101].靖常峰.GIS服务链模型研究及其基于工作流技术的实现[D].浙江大学博士论文,2008.
[102].陈应东.空间信息服务模式的研究与实践[D].解放军信息工程大学博士论文,2008.
[103]. YuqiBai, LipingDi, YaxingWei.A taxonomy of geospatial services for global servicediscovery and interoperability[J].Computers&Geosciences,2009(35)783-790.
[104].李军,彭凯等.政务地理空间信息资源管理与共享服务应用[M].北京大学出版社,2009.
[105].李琦，黄晓斌，基于GeoAgent的地理信息服务[J]，测绘通报，2002(6):44-47.
[106].瞿裕忠,张剑锋,陈峥,等.XML语言及相关技术综述[J],计算机工程,2000(12):4-6.
[107]. W3C联盟：http://www.w3.org/standards/webofservices/[EB/OL],2010.
[108]. IBM，http://www.4.ibm.com/software/solutions/webservices/pdf/wsca.pdf[EB/OL],2010.
[109].孔婷,邬家炜,高云全. Web Service基本架构及关键技术[J].科技广场,2005(3):8-11.
[110]. OASIS，http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=uddi-spec[EB/OL],2010.
[111]. UDDI. http://uddi.xml.org/specification [EB/OL],2010.
[112].梁娟珠,陈崇成.地理信息Web服务的研究进展综述[J].微计算机应用,2008,29(6):18-26.
[113].宋国大.基于ArcGIS Server地理信息服务的研究与实践[J].海洋测绘,2009,29(3):63-66.
[114]. Open GIS Consrotium Topic12: OpenGIS Service Architecture.http://portal.opengeospatial.org/files/?artifact_id=1221[EB/OL],2002.
[115]. Sehade S，Sahlmann A，Lutz M，et al.. Comparing approaches for semantic servicedescription and matchmaking[C].Proceedings of Conference on the Move to MeaningfulInternet Systems2004: CoopIS, DOA, and ODBASE. London, UK,2004:1062-1079.
[116]. ISO19119:2005/Amd1:2008.http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=44268[EB/OL],2008.
[117]. OGC03-025，OpenGIS Web Services Architecture.http://portal.opengeospatial.org/files/?artifact_id=1320[EB/OL],2003.
[118].喻坚,韩燕波.面向服务的计算-原理和应用[M].清华大学出版社,2006.
[119]. Gunther O, Muller R. From GISystems to GIServices: Spatial computing on the Internetmarketplace[C]. In Goodchild M, Engenhofer M, Fegeas R, and Kottman C(eds)Interoperating Geographic Information Systems. Boston, MA, Kluwer Academic Publishers,1999:427-442.
[120]. Shekhar S, Chawla S著，谢昆青，马修军，杨冬青等译.空间数据库(Spatial Database ATour)[M].机械工业出版社,北京,2004.
[121]. IS019119/OGC topic12: OpenGIS Service Architecture[OL].http://portal.opengeospatial.org/files/?artifact_id=1221,2002.
[122]. OGC03-025: Web Services Architecture[OL].http://portal.opengeospatial.org/files/?artifact_id=1320,2003.
[123]. Maguire,D.J. and J. Dangermond. The Functionality of GIS. Geographical InformationSystems: principles and applications.1991(1):319-335.
[124]. Tsou Ming-Hsiang. A dynamic architecture for distributing geographic information serviceson the Internet[D]. PhD thesis of University of Colorado at Boulder,2001.
[125].徐开明,吴华意.地理信息公共服务平台的用户分类及服务分类[J].地理信息世界,2009,6(3):12-17.
[126].邓淑明,胡思仁．地理信息网络服务与应用EMI．北京：科学出版社，2004.
[127].邬群勇,王钦敏,王焕炜.一种Web地图服务搜索器的设计[J].微计算机应用,2009,30(2):35-39.
[128]. Wang X,Vitvat T,Kerrigan M.A QoS-aware Selection Model for Semantic WebServices[J].Lecture Notes in Computer Science,2006(11):390-401.
[129]. Maximilien E M,Singh M P.A Framework and Ontology for Dynamic Web ServiceSelection[J].IEEE Internet Computing,2004(10):84-93.
[130]. Shuping Lan. A Model for Web Services Discovery with QoS[J]. ACM SIGecomExchanges,2003,4(1):1-10.
[131]. Richard Onchaga. Quality of service management framework for dynamic chaining ofgeographic information services[J]. International Journal of Applied Earth Observation andGeoinformation,2006(8):137-148.
[132].张霞.地理信息服务组合与空间信息分析服务研究[D].武汉大学博士论文，2004.
[133].何凯涛,唐宇,刘书雷.基于工作流的GIS服务动态聚合方法、技术体系和参考模型研究[J].国防科技大学学报,2008,30(1):47-52.
[134]. B.Benatallah, M.Dumas, M.-C.Fauvet et al. Towards Patterns of Web ServicesCompositio[C]. Paterns and Skeletons for Parallel and Distributed Computing. Springer Verlag,2002:265~296.
[135]. Workflow Management Coalition The Workflow Reference Model [EB/OL].www.wfmc.org/standards/docs/tc003v11.pdf,1995.
[136].毛彪.面向地理信息服务链的工作流技术应用研究[D].解放军信息工程大学硕士学位论文,2009.
[137].贾文珏,李斌,龚建雅.基于工作流技术的动态GIS服务链研究[J].武汉大学学报,2005,30(11):982~985.
[138]. OASIS Web Services Business Process Execution Language (WSBPEL)[EB/OL]. http://www.oasis-open.org/committees/wsbpel/
[139]. OASIS. Web Services business process execution language version2.0[EB/OL].http://docs.oasis-open.org/wsbpel/2.0/Primer/wsbpel-v2.0-Primer.pdf，2007.
[140].宋波,李妙妍.面向Web服务的BPEL的研究与实现[J].计算机工程与设计,2007,28(9):2212-2214.
[141].吕鸣剑,孟东升.基于WS2BPEL的业务流程设计研究[J].计算机与数字工程,2009,37(11):189-191.
[142].高振国，杨孝宗。服务发现技术中的服务描述和服务匹配技术[J].计算机工程与设计,2005,26(12):3313-3316.
[143].杨丹，申德荣，于戈，吴青泉.一种支持Web服务合成的模型定义语言-e_SPDL.计算机集成制造系统-CIMS，2003,9(10):932~936.
[144]. L. Lei, Z. Duan. An Extended Deterministic Finite Automata Based Method for theVerification of Composite Web Services[J]. Journal of Software,2007,18(12):2980-2990.
[145].唐宇.空间信息栅格（SIG）系统框架、服务体系与服务聚合技术研究[D].国防科技大学博士学位论文，2004.10.
[146]. Sangiorgi D.，Walker D。The Π-Calculus: A theory of mobile processes[M].CambridgeUniversity Press,2001.
[147]. R.Milner,Parrow J.,Walker D.. A calculus of mobile processes I[J]. Inf. Comput,1992:1-77.
[148].袁崇义．Petri网原理与应用[M]，电子工业出版社，2005：21-25.
[149]. R. Milner,R. Weyhrauch..Proving computer correctness in mechanized logic.In Machine Intelligence,1972(7):51-70.
[150]. Fredrick B．The Model Prover-a sequent-calculus based modal u-calculus model checkertool for finite control Pi-calculus agents[M]．1998.
[151]. Robin M．Communicating and Mobile Systems：the Pi-calculus[M]．Fifth Printing，USA：Cambridge Press，2004:17-91.
[152]. Gian Luca Cattani, Ian Stark and Glynn Winskel. Presheaf Models for the PI-Calculus[C].Lecture Notes in Computer Science1290,1997:106-126.
[153]. Roberto Lucchi, Manuel Mazzara. A pi-calculus based semantics for WS-BPEL[J]. TheJournal of Logic and Algebraic Programming,2007(70):96–118.
[154]. Faisal Abouzaid and John Mullins. A Calculus for Generation Verification and Refinementof BPEL Specifications[J]. Electronic Notes in Theoretical Computer Science,2008(2):43–65.
[155]. Zhilin Feng, Jianwei Yin, Jianan Zhou. E-business Processes Composition Based onPi-Calculus Technology[C].2008International Symposium on Information Science andEngieering,2008:224-227.
[156]. Lapadula, A., R. Pugliese and F. Tiezzi, A Calculus for Orchestration of Web Services[C], in:Proc. of16th European Symposium on Programming (ESOP’07), Lecture Notes in ComputerScience4421,2007:33–47.
[157]. Yanbin Peng, Lv Ye, Zhijun Zheng et al. Automatic Service Composition Verification Basedon Pi-calculus[C].2009IEEE,2009:
[158].廖军,谭浩,刘锦德.基Pi演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643.
[159].李勇军,刘敏娟.基于Pi-演算的服务组合正确性验证[J].软件导刊,2009,8(7):42-44.
[160]. Ferrara A．Web Services：A Process Algebra Approach[A]．ACM ICSOC04．2004:242-251.
[161]. Camara J．,Canal C．,Cubo J．Formalizing WS-BPEL Business Processes Using ProcessAlgebra[J]．Electronic Notes in Theoretical Computer Science,2006,(154):159-173.
[162]. Chirichiello A．,Salaun G．Encoding Process Algebraic Descriptions of Web Services intoBPEL[J]．Web Intelligence and Agent Systems5,2007:419-434.
[163]. Fu X．，Bultan T.，Su J．．Analysis ofinteracting BPEL Web services[A]．In：Proc．of the13th Int’1Conf.on World、Mde Web[C]．ACM Press,2004:621-630.
[164]. Fu X.,Bultan T.,Su J..Synchronizability of conversations among Wcb services[J].IEEETransactions on Software Engineering.2005,31(12):1042-1055.
[165].于守健,李卫民,吴国文等.BPEL中基于有限状态自动机的Web服务自动组合[J].小型微型计算机系统,2007,28(4):742-747.
[166].门鹏,段振华.基于着色Petri网BPEL建模与验证[J].西北大学学报(自然科学版),2007,37(10):986-990.
[167].张常有,曹元大,胡晶晶等.基于Petri网的Web服务组合分析方法.北京理工大学学报,2009,29(7):618-622.
[168]. Pkurt J, Lars M, Lisa W. Colored Petri net s and CPN Tools for modeling and validation ofconcurrent systems [J]. International Journal on Software Tools for Technology Transfer,2007,9(3):213-254.
[169].钱柱中,陆桑璐,谢立.基于Petri网的Web服务自动组合研究［J］.计算机学报,2006(7):1057-1068.
[170].廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643.
[171]. Appel A. W., MacQueen D. B.. Standard ML of new Jersey[C]. In: Proceedings of t he3rdInternational Symposium on Programming Language Implementation and LogicProgramming,New York,1991,1～13.
[2].吴升,王钦敏,涂平,励惠国.数字区域应用基础设施研究[J].地球信息科学,2006,8(4):19-24.
[3].王钦敏,吴升,涂平,肖桂荣,励惠国.数字区域信息应用基础设施[M].科学出版社，2009.
[4].涂平,吴升.空间信息资源交换服务平台研究[J].测绘科学技术学报,2008,25(5):368-371.
[5].涂平,李桂平,陈楠.区域政务信息资源共享服务平台设计与实现[J].福州大学学报(自然科学版),2008,36(6):819-824.
[6].肖桂荣,涂平,汪小钦,励惠国.多尺度空间信息服务技术及其农业应用[J].农业工程学报,2008,24(3):189-192.
[7].吴升,陈楠.基于位置服务的动态车辆路径问题研究[J].福州大学学报(自然科学版),2007,35(6):953-956.
[8].肖桂荣.区域地理空间数据共享平台与目录服务研究[J].计算机工程与应用,2009,45(16):155-158.
[9].陈友梅. GIS系统发生“偏移”[N].中国计算机报,2007-08-16.
[10].陈军,丁明柱,蒋捷等.从离线数据提供到在线地理信息服务[J].学术研究,2009(2):6-9.
[11].ISO19119:2005/Amd1:2008[OL].http://www.iso.org/iso/catalogue_detail.htm?csnumber=39890,2010.
[12].OGC. http://www.opengeospatial.org/[OL],2010.
[13].What is g.net[OL].http://www.esri.com/library/whitepapers/pdfs/what_is_gnet.pdf,2002.
[14].MapPoint[OL]. http://www.microsoft.com/mappoint/en-us/default.aspx,2010.
[15].Lassi Lehto. Standards-Based Service Architecture for Mobile Map Applications[C].5thAGILE Conference on Geographical Information Science,Palma,2002.
[16].MapXtreme2008[OL].http://www.pbinsight.com/products/location-intelligence/developer-tools/desktop-mobile-and-internet-offering/mapxtreme-2008/.
[17].吉奥之星GeoSurf[OL].http://www.lmars.whu.edu.cn/prof_web/zhuxinyan/my/geosurf.htm.
[18].SuperMap IS.NET2008. http://www.supermap.com.cn/gb/products/fwskf.htm.
[19].福建省空间信息工程研究中心Sircweb[OL]. http://www.sircweb.cn/.
[20].灵图公司Sm@rtIMS[OL].http://www.chinahtp.com/ProductHtml1/2006-04/Product20070446.htm.
[21].Jonathan L. Goodall, Jeffery S. Horsburgh,Timothy L. Whiteaker et al, A first approach to webservices for theNational Water Information System[J]. Environmental Modelling&Software2008(23):404-411.
[22].C.Farcy,B.de Terwangne P.Blerot. A distributed information system for public forest andwildlife management in the Walloon Region(Belgium) using open GIS standards[J].Computers and Electronics in Agriculture,2005(47):207–220.
[23].Christian Kiehle. Standardized Geoprocessing-Taking Spatial Data Infrastructures one StepFurther[C]. the9th AGILE Conference on Geographic Information Science,2006:273-282.
[24]. Anders Friis-Christensen, Lars Bernard, Ioannis Kanellopoulous et al. Building ServiceOriented Applications on top of a Spatial Data Infrastructure–A forest Fire AssessmentExample. Proceedings of9th AGILE Conference,2006(4):119-127.
[25].David J.Maguire, Paul A.Longley. The emergence of geoportals and their role in spatial datainfrastructures[J]. Computers, Environment and Urban,2005(29):3-14.
[26].Bernard L, Einspanier U, Lutz M, Portele C. Interoperabilities in GI Service Chains-the WayForward[C]. In Proceedings of the6th AGILE,2004.
[27].Winnie S.M.Tang,Jan Robert Selwood,2003. GIS Web Services: A route to Societal GIS.http://gisdevelopment.net/technology/gis/pdf/ma03022.pdf,Map Asia Conference.
[28].马林兵，齐华.基于可重用Web Service的GIS数据集成和共享[J].铁路航测，2003(1):1-3.
[29].Matjaz B. Juric, Ana Sasa, Bostjan Brumen, Ivan Rozman. WSDL and UDDI extensions forversion support in web services[J]. The Journal of Systems and Software,2009(82):1326-1343.
[30].姜峰,范玉顺.UDDI与Web服务扩展元数据拓扑映射[J].清华大学学报（自然科学版）,2009,49(7):1080-1084.
[31].王旭辉,姚世军,焦志勇,韩强.基于UDDI的Web服务发现研究[J].计算机与现代化,2009(2):31-34.
[32].戴常英，戴明坤，张会娟.扩展Augment UDDI系统以支持QoS的Web服务发现模型[J].计算机工程与设计,2009,30(2):358-361.
[33].乔治强1,3，王勇2，张璟3基于UDDI的应用服务注册中心的设计[J].计算机工程与设，2008，29(24):6293-9295.
[34].Matjaz B. Juric, Ana Sasa, Bostjan Brumen, Ivan Rozman. WSDL and UDDI extensions forversion support in web services[J]Journal of Systems and Software,2009,82(8):1326-1343.
[35].Hai Dong, Farookh Khadeer Hussain, Elizabeth Chang.A framework for discovering andclassifying ubiquitous services in digital health ecosystems [J].Journal of Computer andSystem Sciences,2010.2:1-18.
[36].Wenjia Niu, Gang Li, Zhijun Zhao, Hui Tang, Zhongzhi Shi.Multi-granularity context modelfor dynamic Web service composition[J].Journal of Network and ComputerApplications,2011,34(1):312-326.
[37].Yanan Hao, Yanchun Zhang, Jinli Cao.Web services discovery and rank: An informationretrieval approach[J].Future Generation Computer Systems,2010,26(8):1053-1062.
[38].贾文钰.分布式GIS服务链集成关键技术[D].武汉大学博士论文,2005.
[39].赵姗,郭建忠,成毅,陈晓斌.基于UDDI扩展的地理空间信息网格注册中心设计[J].测绘信息与工程,2008,33(2):36-38.
[40].黄裕霞,黄裕锋. Clearinghouse (数据交换中心)与数字化地理信息共享[J].遥感信息,2003(1):28-30.
[41].龚健雅,李德仁.论地球空间信息服务技术的发展[J].测绘通报,2008(5):5-10.
[42].阿斯特等著；王建民等译.工作流管理：模型、方法和系统[M].北京：清华大学出版社，2004.
[43].Khodakaram Salimifard, Mike Wright.Petri net-based modelling of workflow systems: Anoverview[J].European Journal of Operational Research,2001,134(3):664-676.
[44].Juan Guillen-Scholten, Farhad Arbab et al. Modeling the Exogenous Coordination of MobileChannel-based Systems with Petri Nets[J]Electronic Notes in Theoretical Computer Science,2006,154(1):121-138.
[45].Valent′n Valero, M. Emilia Cambronero, et al. A Petri net approach for the design andanalysis of Web Services Choreographies[J].Journal of Logic and AlgebraicProgramming,2009,78(5):359-380.
[46].Taejong Yoo, Buhwan Jeong, Hyunbo Cho.A Petri Nets based functional validation forservices composition[J].Expert Systems with Applications,2010,37(5):3768-3776.
[47].李景霞,候紫峰.基于颜色Petri网的Web服务组合建模及应用[J].计算机应用研究,2006(9):149-152.
[48].范贵生,虞慧群,刘冬梅,陈丽琼.基于时间Petri网的服务组合建模及分析[J].计算机科学,2008,35(11):219-223.
[49].Yu Tang,Luo Chen,Kaitao He and Ning Jing.SRN:An Extended Petri-Net-Based WorkflowModel for Web Services Composition.ICWS2004,San Diego,USA,IEEE Press,2440:591-599.
[50].Image and Workflow Library: FlowMark V2.3Design Guidelines[OL].http://www.redbooks.ibm.com/abstracts/sg244613.html,2010.
[51].黎海生.基于活动网络的工作流过程定义模型[J].科技广场,2005(5):1-3.
[52]. Kappel G,Rauch-Schott S,Retschitzegger W. Coordination in Workflow ManagementSystems-A Rule-Based Approach[R]. Lecture Notes in Computer Science,Spring-Verlag.2002(1364):3-120.
[53].张劲松,薛春芳,钟毅芳.基于过程链的产品开发过程建模研究[J].华中科技大学学报(自然科学版),2005,33(5)：64-66.
[54].Web service flow language (WSFL)1.0” IBM Technical Document [EB/OL].
[55].http://www.ibm.com/software/solutions/webservices/pdf/WSFL.pdf,2001.
[56].BizTalk: Implement Design Patterns for Business Rules with Orchestration Designer [EB/OL].
[57].http://msdn.microsoft.com/zh-cn/magazine/cc301357(en-us).aspx,2001.
[58].OASIS WSBPEL TC, Web Services Business Process Execution Language Version2.0[EB/OL]. http：//docs.oasis-open.org/wsbpeU2.0/wsbpel-v2.0.pdf,2007.4.
[59].Workflow Management Coalition. XML Process Definition Language[EB/OL].http://wfmc.org/standards/xndl.htm，2008.
[60].Web Service Choreography Interface1.0. BEA,Intalio, SAP and Sun[EB/OL].http://www.w3.org/TR/wsci/,2002.
[61].Web Service Choreography Interface (WSCI) FAQ[EB/OL].http://ftpna2.bea.com/pub/downloads/wsci-faq-060302.htm1,2002.
[62].Web Services Conversation Language (WSCL)1.0[EB/OL]. http://www.w3.org/TR/wscl10/,2002.
[63].Cover Robin, Business Process Modeling Language[EB/OL].http://xml.coverpages.org/bpml.html,2009.
[64].刘书雷.基于工作流的空间信息服务聚合技术研究[D].国防科学技术大学博士论文,2006.
[65].萧峻妹，张钢，孙达.一种基于XML的工作流过程定义语言[J].微处理机,2007,28(3):47-48,52.
[66].高娟，姜利群.基于WSFL的Web服务组合[J].计算机工程与设计，2006(9):1652-1655.
[67].Dai Yu, Yang Lei, Zhang Bin. Business domain oriented AI planning for web servicecomposition[J]. Journal of Southeast University(English Edition),2007,23(3):421-424.
[68].方其庆,彭晓明等.结合AI规划和工作流的动态服务组合框架研究[J].计算机科学，2009，36（9）：110-114.
[69].Piergiorgio Bertoli, Marco Pistore, Paolo Traverso.Automated composition of Web servicesvia planning in asynchronous domains[J].Artificial Intelligence,2010,174(34):316-361.
[70].刘杨.透视BPEL及其应用[J].网络与信息，2007(05):73-73.
[71].Lei Li, Ian Horrocks. A software framework for matchmaking based on semantic webtechnology. In: Proc.12th Int. Conf. World Wide Web (Alternate Track Papers&Posters).ACMPress,2003.
[72].Paolucci Massimo,Kawamura Takahiro,Payne Terry R..Semantic Matching of Web ServicesCapabilities[C].Proc of the1st International Semantic Web Conference Sardinia,2002.
[73].Marco Pistore,Paolo Traverso,Piergiorgio Bertoli,A.Marconi.Automated synthesis ofexecutable web service compositions from BPEL4WS processes[C].In:Proc.14th Int.Conf.World Wide Web(Special interest tracks and posters).ACM Press,2005.
[74].Zeng Liangzhao, Benatallah Boualem, H Ngu Anne H. Qos-Aware Middleware for WebServices Composition[C].IEEE Transactions on Software Engineering,2004.
[75].蔡勇,武海峰.一种基于OWL本体的Web服务组合算法研究[J].微计算机信息,2008,24(4-3):168-170.
[76].Einspanier U, Lutz M, Senkler K. et al. Toward a Process Model for GI ServiceComposition[C]. GI-Tage2003,Munster,Germany,2003.
[77].Peng Yue, Jianya Gong, and Liping Di. Automatic Transformation from Semantic Descriptionto Syntactic Specification for Geo-Processing Service Chains[C]. W2GIS2008,2008:50–62.
[78].Nadine Alameh. Chaining Geographic Information Web Services[J]. Global Science&Technology,2003:22-29.
[79].Javier Camara, Carlos Canal, JavierCubo Antonio Vallecillo. Formalizing WSBPEL BusinessProcesses Using Process Algebra[J]. Electronic Notes in Theoretical ComputerScience,2006(154):159-173.
[80].Peng Yue, Liping Di et al. Path Planning for Chaining Geospatial Web Services[C]. W2GIS2006, LNCS4295,2006:214-226.
[81].Peng Yue, Liping Di et al. Semantics-based automatic composition of geospatial Web servicechains [J]. Computers&Geosciences,2007(33):649-665.
[82].Peng Yue, Jianya Gong, Liping Di. Augmenting geospatial data provenance through metadatatracking in geospatial service chaining[J].Computers&Geosciences,2010,36(3):270-281.
[83].安杨，边馥苓，关佶红.基于Ontology的网络地理服务描述与发现[J].武汉大学学报信息科学版,2004(12):1063-1066.
[84].吴斐，景东升，毕思文.基于Web Service和OWL-S的地理空间信息语义服务[J].计算机应用,2006(26):232-234.
[85].WU Shanming, SHEN Jianjing. Chaining Distributed Geographic Information Web ServicesBased on Ontology[J].Wuhan University Journal of Natural Sciences,2008(13):401-406.
[86].Bourgogne Univ., Dijon. an object oriented model for cooperative spatial informationsystems [J].Knowledge and Data Engineering Exchange Workshop,1997(4):73-80
[87].王强,王家耀,郭建忠.基于Agent的空间信息服务组合研究[J].测绘科学技术学报,2009,26(1):60-64.
[88].Ion Constantinescu, Boi Faltings，Walter Binder. Large Scale,Type-Compatible ServiceComposition[C]. In: Proc. IEEE Int Conf. Web Services. IEEE CS Press,2004.
[89].W.M.P.van der Aalst.The Application of Petri Nets to Workflow Management[J]. The Journalof Circuits, Systems and Computers,1998,8(1):21-66.
[90].Mani A., Nagarajan A. Understanding Quality of Services for Web Services[OL],http://www.ibm.com/developerworks/library/ws-quality.html,2002.
[91].Tian M.,Gramm A.,Ritter H.Efficient selection and monitoring of QoS-aware Web Serviceswith the WS-QoS framework[C].In:Proceedings of the IEEE/WIC/ACM InternationalConference on Web Intelligence,Beijing,China,2004.
[92].Jianting Zhang, Deana D. Pennington, William K. Michener. Validating Compositions ofGeospatial Processing Web Services in a Scientific Workflow Environment[C]. Proceedings ofthe IEEE International Conference on Web Services (ICWS’05),2005.
[93].The OpenGIS Abstract Specification Topic12: OpenGIS Service Architecture[OL].http://www.opengeospatial.org/standards/as.
[94].ISO19119:2005[OL]. http://www.iso.org/iso/catalogue_detail.htm?csnumber=39890.
[95].Anders Friis-Christensen, Lars Bernard, Ioannis Kanellopoulous et al. Building ServiceOriented Applications on top of a Spatial Data Infrastructure–A forest Fire AssessmentExample[C]. Proceedings of9th AGILE Conference,2006(4):119-127.
[96].Angus F.M. Huang, Ci-Wei Lan, Stephen J.H. Yang. An optimal QoS-based Web serviceselection scheme[J]. Information Sciences,2009(179):3309–3322.
[97].G. Decker, J. Mendling. Process instantiation [J]. Data&Knowledge Engineering,2009(68):777–792.
[98].ShaikhAli A, Rana OF,Al-Ali RJ,Walker DW.UDDIe:An extended registry for Webservice[C].Applications and the Internet Workshops,2003Proceedings.2003:85-89.
[99].索红光,左利云.基于UDDI的服务代理的设计与实现.计算机工程与设计[J].2007(28):4526-4528.
[100]. Kim SM,Rosu MC.A survey of public Web services[C].In:Feldman SI,Uretsky M,NajorkM,Wills CE,eds.Proc.of the13th Int’l Conf.on the World Wide Web).New York:ACMPress,2004:312-313.
[101].靖常峰.GIS服务链模型研究及其基于工作流技术的实现[D].浙江大学博士论文,2008.
[102].陈应东.空间信息服务模式的研究与实践[D].解放军信息工程大学博士论文,2008.
[103]. YuqiBai, LipingDi, YaxingWei.A taxonomy of geospatial services for global servicediscovery and interoperability[J].Computers&Geosciences,2009(35)783-790.
[104].李军,彭凯等.政务地理空间信息资源管理与共享服务应用[M].北京大学出版社,2009.
[105].李琦，黄晓斌，基于GeoAgent的地理信息服务[J]，测绘通报，2002(6):44-47.
[106].瞿裕忠,张剑锋,陈峥,等.XML语言及相关技术综述[J],计算机工程,2000(12):4-6.
[107]. W3C联盟：http://www.w3.org/standards/webofservices/[EB/OL],2010.
[108]. IBM，http://www.4.ibm.com/software/solutions/webservices/pdf/wsca.pdf[EB/OL],2010.
[109].孔婷,邬家炜,高云全. Web Service基本架构及关键技术[J].科技广场,2005(3):8-11.
[110]. OASIS，http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=uddi-spec[EB/OL],2010.
[111]. UDDI. http://uddi.xml.org/specification [EB/OL],2010.
[112].梁娟珠,陈崇成.地理信息Web服务的研究进展综述[J].微计算机应用,2008,29(6):18-26.
[113].宋国大.基于ArcGIS Server地理信息服务的研究与实践[J].海洋测绘,2009,29(3):63-66.
[114]. Open GIS Consrotium Topic12: OpenGIS Service Architecture.http://portal.opengeospatial.org/files/?artifact_id=1221[EB/OL],2002.
[115]. Sehade S，Sahlmann A，Lutz M，et al.. Comparing approaches for semantic servicedescription and matchmaking[C].Proceedings of Conference on the Move to MeaningfulInternet Systems2004: CoopIS, DOA, and ODBASE. London, UK,2004:1062-1079.
[116]. ISO19119:2005/Amd1:2008.http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=44268[EB/OL],2008.
[117]. OGC03-025，OpenGIS Web Services Architecture.http://portal.opengeospatial.org/files/?artifact_id=1320[EB/OL],2003.
[118].喻坚,韩燕波.面向服务的计算-原理和应用[M].清华大学出版社,2006.
[119]. Gunther O, Muller R. From GISystems to GIServices: Spatial computing on the Internetmarketplace[C]. In Goodchild M, Engenhofer M, Fegeas R, and Kottman C(eds)Interoperating Geographic Information Systems. Boston, MA, Kluwer Academic Publishers,1999:427-442.
[120]. Shekhar S, Chawla S著，谢昆青，马修军，杨冬青等译.空间数据库(Spatial Database ATour)[M].机械工业出版社,北京,2004.
[121]. IS019119/OGC topic12: OpenGIS Service Architecture[OL].http://portal.opengeospatial.org/files/?artifact_id=1221,2002.
[122]. OGC03-025: Web Services Architecture[OL].http://portal.opengeospatial.org/files/?artifact_id=1320,2003.
[123]. Maguire,D.J. and J. Dangermond. The Functionality of GIS. Geographical InformationSystems: principles and applications.1991(1):319-335.
[124]. Tsou Ming-Hsiang. A dynamic architecture for distributing geographic information serviceson the Internet[D]. PhD thesis of University of Colorado at Boulder,2001.
[125].徐开明,吴华意.地理信息公共服务平台的用户分类及服务分类[J].地理信息世界,2009,6(3):12-17.
[126].邓淑明,胡思仁．地理信息网络服务与应用EMI．北京：科学出版社，2004.
[127].邬群勇,王钦敏,王焕炜.一种Web地图服务搜索器的设计[J].微计算机应用,2009,30(2):35-39.
[128]. Wang X,Vitvat T,Kerrigan M.A QoS-aware Selection Model for Semantic WebServices[J].Lecture Notes in Computer Science,2006(11):390-401.
[129]. Maximilien E M,Singh M P.A Framework and Ontology for Dynamic Web ServiceSelection[J].IEEE Internet Computing,2004(10):84-93.
[130]. Shuping Lan. A Model for Web Services Discovery with QoS[J]. ACM SIGecomExchanges,2003,4(1):1-10.
[131]. Richard Onchaga. Quality of service management framework for dynamic chaining ofgeographic information services[J]. International Journal of Applied Earth Observation andGeoinformation,2006(8):137-148.
[132].张霞.地理信息服务组合与空间信息分析服务研究[D].武汉大学博士论文，2004.
[133].何凯涛,唐宇,刘书雷.基于工作流的GIS服务动态聚合方法、技术体系和参考模型研究[J].国防科技大学学报,2008,30(1):47-52.
[134]. B.Benatallah, M.Dumas, M.-C.Fauvet et al. Towards Patterns of Web ServicesCompositio[C]. Paterns and Skeletons for Parallel and Distributed Computing. Springer Verlag,2002:265~296.
[135]. Workflow Management Coalition The Workflow Reference Model [EB/OL].www.wfmc.org/standards/docs/tc003v11.pdf,1995.
[136].毛彪.面向地理信息服务链的工作流技术应用研究[D].解放军信息工程大学硕士学位论文,2009.
[137].贾文珏,李斌,龚建雅.基于工作流技术的动态GIS服务链研究[J].武汉大学学报,2005,30(11):982~985.
[138]. OASIS Web Services Business Process Execution Language (WSBPEL)[EB/OL]. http://www.oasis-open.org/committees/wsbpel/
[139]. OASIS. Web Services business process execution language version2.0[EB/OL].http://docs.oasis-open.org/wsbpel/2.0/Primer/wsbpel-v2.0-Primer.pdf，2007.
[140].宋波,李妙妍.面向Web服务的BPEL的研究与实现[J].计算机工程与设计,2007,28(9):2212-2214.
[141].吕鸣剑,孟东升.基于WS2BPEL的业务流程设计研究[J].计算机与数字工程,2009,37(11):189-191.
[142].高振国，杨孝宗。服务发现技术中的服务描述和服务匹配技术[J].计算机工程与设计,2005,26(12):3313-3316.
[143].杨丹，申德荣，于戈，吴青泉.一种支持Web服务合成的模型定义语言-e_SPDL.计算机集成制造系统-CIMS，2003,9(10):932~936.
[144]. L. Lei, Z. Duan. An Extended Deterministic Finite Automata Based Method for theVerification of Composite Web Services[J]. Journal of Software,2007,18(12):2980-2990.
[145].唐宇.空间信息栅格（SIG）系统框架、服务体系与服务聚合技术研究[D].国防科技大学博士学位论文，2004.10.
[146]. Sangiorgi D.，Walker D。The Π-Calculus: A theory of mobile processes[M].CambridgeUniversity Press,2001.
[147]. R.Milner,Parrow J.,Walker D.. A calculus of mobile processes I[J]. Inf. Comput,1992:1-77.
[148].袁崇义．Petri网原理与应用[M]，电子工业出版社，2005：21-25.
[149]. R. Milner,R. Weyhrauch..Proving computer correctness in mechanized logic.In Machine Intelligence,1972(7):51-70.
[150]. Fredrick B．The Model Prover-a sequent-calculus based modal u-calculus model checkertool for finite control Pi-calculus agents[M]．1998.
[151]. Robin M．Communicating and Mobile Systems：the Pi-calculus[M]．Fifth Printing，USA：Cambridge Press，2004:17-91.
[152]. Gian Luca Cattani, Ian Stark and Glynn Winskel. Presheaf Models for the PI-Calculus[C].Lecture Notes in Computer Science1290,1997:106-126.
[153]. Roberto Lucchi, Manuel Mazzara. A pi-calculus based semantics for WS-BPEL[J]. TheJournal of Logic and Algebraic Programming,2007(70):96–118.
[154]. Faisal Abouzaid and John Mullins. A Calculus for Generation Verification and Refinementof BPEL Specifications[J]. Electronic Notes in Theoretical Computer Science,2008(2):43–65.
[155]. Zhilin Feng, Jianwei Yin, Jianan Zhou. E-business Processes Composition Based onPi-Calculus Technology[C].2008International Symposium on Information Science andEngieering,2008:224-227.
[156]. Lapadula, A., R. Pugliese and F. Tiezzi, A Calculus for Orchestration of Web Services[C], in:Proc. of16th European Symposium on Programming (ESOP’07), Lecture Notes in ComputerScience4421,2007:33–47.
[157]. Yanbin Peng, Lv Ye, Zhijun Zheng et al. Automatic Service Composition Verification Basedon Pi-calculus[C].2009IEEE,2009:
[158].廖军,谭浩,刘锦德.基Pi演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643.
[159].李勇军,刘敏娟.基于Pi-演算的服务组合正确性验证[J].软件导刊,2009,8(7):42-44.
[160]. Ferrara A．Web Services：A Process Algebra Approach[A]．ACM ICSOC04．2004:242-251.
[161]. Camara J．,Canal C．,Cubo J．Formalizing WS-BPEL Business Processes Using ProcessAlgebra[J]．Electronic Notes in Theoretical Computer Science,2006,(154):159-173.
[162]. Chirichiello A．,Salaun G．Encoding Process Algebraic Descriptions of Web Services intoBPEL[J]．Web Intelligence and Agent Systems5,2007:419-434.
[163]. Fu X．，Bultan T.，Su J．．Analysis ofinteracting BPEL Web services[A]．In：Proc．of the13th Int’1Conf.on World、Mde Web[C]．ACM Press,2004:621-630.
[164]. Fu X.,Bultan T.,Su J..Synchronizability of conversations among Wcb services[J].IEEETransactions on Software Engineering.2005,31(12):1042-1055.
[165].于守健,李卫民,吴国文等.BPEL中基于有限状态自动机的Web服务自动组合[J].小型微型计算机系统,2007,28(4):742-747.
[166].门鹏,段振华.基于着色Petri网BPEL建模与验证[J].西北大学学报(自然科学版),2007,37(10):986-990.
[167].张常有,曹元大,胡晶晶等.基于Petri网的Web服务组合分析方法.北京理工大学学报,2009,29(7):618-622.
[168]. Pkurt J, Lars M, Lisa W. Colored Petri net s and CPN Tools for modeling and validation ofconcurrent systems [J]. International Journal on Software Tools for Technology Transfer,2007,9(3):213-254.
[169].钱柱中,陆桑璐,谢立.基于Petri网的Web服务自动组合研究［J］.计算机学报,2006(7):1057-1068.
[170].廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643.
[171]. Appel A. W., MacQueen D. B.. Standard ML of new Jersey[C]. In: Proceedings of t he3rdInternational Symposium on Programming Language Implementation and LogicProgramming,New York,1991,1～13.