一种面向服务Petri网模型及其结构化操作语义
[Abstract]:On the basis of Petri net models such as workflow net and open network, the Petri net model-EON (extended Open Network), which is suitable for describing service oriented system, is proposed. In this paper, five kinds of EON composition operators are defined for various service composition modes, which can be combined from basic EON to complex EON.. Based on the fact that these combinators can be expressed in an algebraic way, this paper further presents the structural operation semantics of EON, which is oblivious and independent of the identification of EON. Instead, the changing algebraic expression is used to describe the running state of EON.
【作者单位】： 北方工业大学信息工程学院;
【基金】：国家自然科学基金项目(61070030)资助 北京市属高校学术创新团队建设项目(PHR201107017)资助
【分类号】：TP393.09
【参考文献】
相关期刊论文 前3条
1 刘方方;史玉良;张亮;施伯乐;;基于进程代数的Web服务合成的替换分析[J];计算机学报;2007年11期
2 郝克刚;郭小群;李向宁;;Pi~+演算及其对Petri网的表达[J];计算机学报;2011年02期
3 曹木亮,吴智铭,杨根科;一类新型的模块化高级Petri网——π-网[J];上海交通大学学报;2004年01期
【共引文献】
相关期刊论文 前10条
1 王海顺,吴鹏;工作流性能评价方法[J];安阳师范学院学报;2005年02期
2 薛景;;卫生监督管理信息系统工作流建模及分析[J];办公自动化;2008年14期
3 陈文明;高学东;;宝钢炼钢连铸物流仿真器的建模方法[J];宝钢技术;2009年05期
4 李军求,孙逢春,张承宁,张国忠;用CAD技术进行汽车底盘总布置设计方法的研究[J];车辆与动力技术;2004年02期
5 沈鹏;焦利明;杨建立;;基于Petri网的防空旅C4ISR系统决策组织结构[J];兵工自动化;2005年06期
6 吴圣义;吕永健;逯国亮;胡春林;;基于分层着色Petri网的飞机战伤抢修系统建模[J];兵工自动化;2007年05期
7 冯帆;孙德善;封会娟;索向军;;基于Petri网的单装备件需求量模型[J];兵工自动化;2008年07期
8 关成彬;段立;;Petri网在海军战役装备保障指挥中的应用[J];兵工自动化;2008年12期
9 梁旭斌;苏宪程;王景昌;赵前亮;;模糊petri网理论定量分析空间信息系统传输能力[J];兵工自动化;2009年08期
10 杨志华;刘顺利;刘己斌;;基于Petri网的防空兵群指挥信息结构建模分析[J];兵工自动化;2012年04期
相关会议论文 前10条
1 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
2 黄勇;胡健生;李晴帆;肖文昌;;模糊Petri网在通信网络综合性能评价中的应用[A];第十届全国信号处理学术年会（CCSP-2001）论文集[C];2001年
3 程冬玲;朱永利;王新颖;;Petri网模型的程序代码转换[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年
4 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
5 张峰;傅荣;辜建德;李茂青;;信息系统协同开发的Petri网研究[A];1999中国控制与决策学术年会论文集[C];1999年
6 董明峰;王中胜;李敏强;;ERP中动态企业模型和建模方法[A];2000中国控制与决策学术年会论文集[C];2000年
7 王宇;王以直;李敏强;;动态自适应工作流系统的建模研究[A];2000中国控制与决策学术年会论文集[C];2000年
8 王寿光;颜钢锋;;Petri网简化技术在死锁避免控制器设计中的应用[A];第二十四届中国控制会议论文集（下册）[C];2005年
9 唐立军;王小艺;王建中;;一种扩展随机有色Petri网及在防空作战建模中的应用[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
10 文静华;李祥;;安全开放系统的Petri网模型[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
相关博士学位论文 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 徐小峰;面向船舶制造协同物流网络的资源优化研究[D];哈尔滨工程大学;2009年
3 刘天印;基于系统模拟的高校教师工作压力研究[D];华中科技大学;2010年
4 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
5 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年
6 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
7 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
8 朱强;基于对等网络架构的新型控制系统研究与实现[D];上海大学;2011年
9 陶雪飞;陶瓷企业低碳制造系统模式及评估与建模方法[D];重庆大学;2010年
10 马洪;轨道交通枢纽动态换乘效率及网络客流研究[D];清华大学;2010年
相关硕士学位论文 前10条
1 钊红梅;工作流在网络管理系统中的应用[D];郑州大学;2010年
2 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
3 张茜;基于Petri网的网络脆弱性评估技术研究[D];哈尔滨工程大学;2010年
4 肖良清;基于时间Petri网的并行测试研究[D];长沙理工大学;2010年
5 常显斌;研发合作知识创新的资源分配研究[D];中国海洋大学;2010年
6 林洁;SRS-F01柔性制造教学系统的设计[D];苏州大学;2010年
7 陆洁;动态模糊Petri网理论及其应用研究[D];苏州大学;2010年
8 张微;多Agent在供应链销售系统中应用[D];河北工程大学;2010年
9 张祥涛;基于语义Web服务的多层次匹配模型的研究与实现[D];华南理工大学;2010年
10 刘云;数字家庭无线射频协议的形式化分析与研究[D];华东理工大学;2011年
【二级参考文献】
相关期刊论文 前1条
1 郝克刚;郭小群;;Pi演算对图灵机的表达[J];计算机工程与科学;2009年10期
【相似文献】
相关期刊论文 前10条
1 沈桂芳;;基于Petri网的Web服务组合流程的验证[J];科技信息;2009年08期
2 曹利培;孔娟;刘静;;Web服务组合形式化验证方法研究[J];计算机工程与应用;2009年25期
3 宋巍;马晓星;吕建;;Web服务组合动态演化的实例可迁移性[J];计算机学报;2009年09期
4 李勇军;刘敏娟;;基于Pi-演算的服务组合正确性验证[J];软件导刊;2009年07期
5 林婧;;基于Petri网和概念格的服务发现与组合[J];电子商务;2011年07期
6 郭迎九;林闯;尹浩;田立勤;;基于Petri网的数字媒体分发协议的安全性证明[J];电子学报;2009年05期
7 雷丽晖;段振华;;语义标记Petri网的组合Web服务建模与验证(英文)[J];计算机科学与探索;2009年02期
8 方娟;王志杰;;SOA架构下基于Petri网的Web服务协商模型[J];微电子学与计算机;2009年08期
9 马洪江;;一种面向自动推理的语义Web服务发现方法[J];计算机与数字工程;2011年04期
10 袁志祥,叶红;电子商务协议的建模方法与分析[J];安徽工业大学学报(自然科学版);2004年03期
相关会议论文 前10条
1 方娟;王志杰;;SOA架构下基于Petri网的Web服务协商模型[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
2 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
3 常欣;袁华;逄焕利;胡亮;王U，
本文编号：2224337
本文链接：https://www.wllwen.com/guanlilunwen/ydhl/2224337.html
