基于颜色Petri网的网格服务组合

计算机科学 ›› 2014, Vol. 41 ›› Issue (1): 152-155.

基于颜色Petri网的网格服务组合

翟正利

同济大学电子与信息工程学院上海201804 ;青岛理工大学计算机工程学院青岛266520

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受国家重点基础研究发展计划(973计划)(2010CB328101), 国家自然科学基金(61173181), 上海市自然科学基金(13ZR1443100), 山东省优秀中青年科学家科研奖励基金(BS2010DX009),青岛市科技计划项目(12-1-4-4-(7)-JCH)资助

Grid Services Composition Based on Colored Petri Nets

ZHAI Zheng-li

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

摘要： 在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议；(2)如何建立组合规则来对选定的组件服务进行合成；(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。

关键词: 网格服务组合,组件服务,会话协议,过程组合,颜色Petri网

Abstract: Under the new service-oriented grid computing architecture,grid services offer a prominent paradigm for distributed computing on the Internet．It is an emerging opportunity for both service providers and service consumers to create the value-added service by assembling new,value-added grid service out of existing ones．grid services composition has become an important research issue in Grid field．As the complexity of the available Grid services,many of them exhibit complex session protocols,requiring that the offered operations are invoked according to specific rules．This paper addressed the problems:(1) how to specify complex session protocols of grid service,(2) how to construct composition rules to composite component service,and (3) how to verify grid services composition,especially its conformance to component services’ session protocols．Petri net provides the constructions for specifying synchronization of concurrent processes,and the programming language provides the constructions for specifying and manipulating data values,while colored Petri net (CPN for short) combines the strengths of Petri net with the expressive power of high-level programming language．In order to address the above problems,we proposed a CPN-based model for the specification of both the session protocol and the composition of grid services．Through using the colored token of CPN to model diffe-rent message and event type of business process,we can transform services session protocols and grid service composition process into CPN,then analyze and evaluate behavioral properties and performance of the system by CPN Tool,an available specific tool for CPN.

Key words: Grid service composition,Component service,Session protocol,Process combination,Colored Petri nets

翟正利. 基于颜色Petri网的网格服务组合[J]. 计算机科学, 2014, 41(1): 152-155. https://doi.org/

ZHAI Zheng-li. Grid Services Composition Based on Colored Petri Nets[J]. Computer Science, 2014, 41(1): 152-155. https://doi.org/

参考文献

[1] Globus Alliance,IBM,HP．Web Service Resource Framework．http://www.globus.org/wsrf,2004-06
[2] Orriens B,Yang J,Papazoglou MP．A Framework for Business Rule Driven Service Composition[A]∥Proceedings of 4th International Workshop on Conceptual Modeling Approaches for e-Business Dealing with Business Volatility,LNCS 2819[C]．Berlin:Springer-Verlag,2003:14-27
[3] Jensen K,Kristensen L M,Wells L．Coloured Petri Nets andCPN Tools for Modelling and Validation of Concurrent Systems[J]．International Journal on Software Tools for Technology Transfer,2007(9):213-254
[4] CPN tools[EB/OL]．http://www.cpntools.org/,2013-09-15
[5] Design/CPN[EB/OL]．http://www.daimi.au.dk/designCPN/,2013-09-15
[6] 岳昆,王晓玲,周傲英．Web服务核心支撑技术:研究综述[J].软件学报,2004,15(3):428-442
[7] Krishnan S,Wagstrom P,Laszewski G．GSFL:A workflowframework for grid services[R]．Technical Report,ANL/MCS-P980-0802．Argonne National Laboratory,2002
[8] 张磊,苑伟政,王伟.基于领域本体的制造网格服务自动组合技术研究[J].计算机应用,2006,26(1):57-60
[9] 吕庆中,刘梅彦,麦中凡．GSCoL:OGSA框架下的网格服务组合语言[J].计算机工程与应用,2004,0(3):7-11,4
[10] Narayanan S,McIlraith S．Analysis and simulation of Web servi-ces[J]．Computer Networks,2003,2(5):675-693
[11] Peterson J L．Petri Net Theory and the Modeling of Systems[M]．Englewood Cliffs:Prentice-Hall,1981
[12] Murata T．Petri nets:Properties,analysis and applications[J]．Proceedings of IEEE,1989,77(4):541-580
[13] 蒋昌俊.Petri网的行为理论及其应用[M].北京:高等教育出版社,2003
[14] 袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005
[15] 林闯.随机Petri网和系统性能评价(第2版)[M]．北京:清华大学出版社,2005
[16] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006
[17] Aalst WMP．Verification of Workflow Nets[A]∥Application and Theory of Petri Nets 1997,LNCS 1248[C]．Berlin:Sprin-ger-Verlag,1997:407-426
[18] Zhai Zheng-li,Zhou Lei,Yang Yang,et al．A Multi-agent Framework for Grid Service Workflow Embedded with Coloured Petri Nets[A]∥Proceedings of 4th International Conference on Grid and Cooperative Computing,LNCS 3795[C]．Berlin:Springer-Verlag,2005:117-122
[19] Zhai Zheng-li,Yang Yang,Tian Zhi-min．A Multi-agent based Grid Service Discovery Framework Using Fuzzy Petri Net and Ontology[A]∥Proceedings of 8th Asia Pacific Web Confe-rence,LNCS3841[C]．Berlin:Springer-Verlag,2006:911-916
[20] Adam N,Alturi V,Huang W K．Modeling and Analysing ofWorkflows Using Petri Nets[J]．Journal of Intelligent Information Systems,1998,0(2):131-158
[21] Hu X,Hu M,Liu S．Petri Net Markup Language[J]．Computer Technology and Development,2011,21(12):66-69

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed