基于Petri网的地理信息服务组合模型研究Research on geospatial information services composition model based-on Petri net
金宝轩
摘要(Abstract)：
地理信息服务应用中,单一的功能服务往往无法独立完成复杂的地理信息应用,需要不同粒度的服务组合及协调机制。本文重点研究地理信息服务的组合建模方法,提出基于Petri网的地理信息服务组合建模理论。首先,给出基于Petri网的地理信息服务的定义和图形化描述,然后结合三维地理信息的应用,给出了三维空间分析服务组合的实例分析,最后通过烟草行业的地理信息服务应用验证基于Petri网的服务组合模型的可行性。
关键词(KeyWords)： 地理信息服务;空间分析;Petri网;服务组合;验证
基金项目(Foundation):
作者(Author): 金宝轩
DOI: 10.16251/j.cnki.1009-2307.2010.03.052
参考文献(References)：
- [1]Cardoso J,Sheth A.Semantic E-workflow Composition[J].Journal of Intelligent Information System,2003,12(3):191-225.
- [2]雷丽晖,段振华.使用扩展区间时序逻辑为并发工作流建模[J].西安电子科技大学学报,2007,34(4).
- [3]邓水光,吴健,李莹,等.基于回溯树的web服务自动组合[J].软件学报,2007,18(8):1896-1910.
- [4]Hashemian S V,Mavaddat F.A Graph-Based Approachto web Services Composition[C]//Proceeding of theInternational Symposium on Applications and the Inter-net.Trento:IEEE,2005:183-189.
- [5]Prabhu S.Towards Distributed Dynamic Web ServiceComposition[C]//Proceedings of the Eighth Interna-tional Symposium on Autonomous Decentralized Sys-tems.Arizona:IEEE,2007:25-32.
- [6]高勇,刘瑜,乌伦.基于Petri网的空间信息工作流模型[J].计算机工程,2005,31(16):1-3.
- [7]Milanovic N,Malek M.Current Solutions for Web Serv-ice Composition[J].IEEE Internet Computing(S1089-7871).IEEE,2004,8(6):51-59.
- [8]Srini Narayanan,Sheila McIlraith.Analysis and simula-tion of Web Services[J].Computer Networks(S1389-1286).2003,22(5):675-693.
- [9]R Hamadi,B Benatallah.A Petri-Net-Based Model forWeb Service Composition[C]//Proc.14th Australa-sian Database Conference,Adelaide,Australian,2003:191-200.
- [10]唐飞龙,李明禄,黄哲学,王卓立.网格服务中的事务服务及基于Petri网的正确性分析[J].计算机学报,2005,28(4):667-676.