收藏本站
《逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

OWL-S服务的Petri网自动建模方法研究

王夙娟  马炳先  曲守宁  
【摘要】:对语义Web服务的操作语义进行恰当的形式化描述和有效建模是语义Web服务得到实际应用必须解决的基础问题,尤其是机器如何自动得到语义Web服务的逻辑模型。该文在对语义Web服务操作语义的Petri网描述方法的基础上,通过对原子语义Web服务的OWL-S进程描述进行解析,得到语义Web服务原子进程动态执行相应的Petri网关联矩阵,进一步通过Petri网的自动共享合成操作,得到语义Web服务操作语义的Petri网描述,解决了语义Web服务自动建模的问题,为语义Web服务的动态组合提供了有效的技术依据。
【作者单位】:济南大学信息科学与工程学院
【分类号】:B81-06

【参考文献】
中国期刊全文数据库 前2条
1 吴振寰;王鹏伟;;Petri网关联矩阵与PNML描述之间的转换[J];计算机工程与应用;2006年21期
2 马炳先;杜玉越;;OWL-S服务操作语义的Petri网描述新方法[J];系统仿真学报;2007年S1期
【共引文献】
中国期刊全文数据库 前10条
1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
2 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
3 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期
4 熊杰;刘湘伟;周国辉;;基于MC的电子对抗情报系统ESCPN模型性能分析[J];兵工自动化;2010年08期
5 王海燕;王红军;卓奕君;;基于Petri网的底盘总装线人员配置优化研究[J];北京信息科技大学学报(自然科学版);2009年04期
6 左春荣;张志萍;;基于Petri网的第三方物流配送系统的建模研究[J];商业研究;2008年04期
7 岳昊;;Petri网系统的公平性判定[J];长春师范学院学报;2010年10期
8 赵晓明;高宪军;梁广东;;基于HTPN战时通信装备维修保障系统建模[J];吉林大学学报(信息科学版);2009年04期
9 部昱晖;李东琦;马健;;基于扩展Petri网的城市交通信号控制研究[J];成都信息工程学院学报;2009年03期
10 岳昊;;Petri网系统中变迁的分级活性判定[J];长江大学学报(自然科学版)理工卷;2010年04期
中国重要会议论文全文数据库 前10条
1 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
2 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
3 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
4 张雷;;一种计算机取证的时间Petri网推理方法[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
5 何晓升;余春艳;陈凤钦;;信号灯适应性控制的DSPN建模[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
6 周双娥;熊国平;;基于Petri网的故障检测模型的设计与分析[A];第六届中国测试学术会议论文集[C];2010年
7 高体攀;陈青;刘思华;;基于时空方向配合和Petri网的电力系统故障诊断方法[A];中国高等学校电力系统及其自动化专业第二十四届学术年会论文集(中册)[C];2008年
8 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
9 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
10 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
3 吴限德;快速响应小卫星测试理论与方法研究[D];哈尔滨工业大学;2010年
4 陶雪飞;陶瓷企业低碳制造系统模式及评估与建模方法[D];重庆大学;2010年
5 潘洪军;面向对象代数Petri网模型研究[D];吉林大学;2007年
6 张瑶瑶;基于约束转换的离散事件系统监控器综合[D];浙江大学;2007年
7 童晓阳;电网广域后备保护多Agent系统信息模型的研究[D];西南交通大学;2007年
8 田娥;基于Petri网建模的机务段业务流程控制信息化系统的研究[D];武汉理工大学;2007年
9 鲁晓春;物流系统着色Petri网模型研究[D];北京交通大学;2008年
10 王斌;工作流模型若干问题的研究及其在广电运营系统中的实现[D];广东工业大学;2008年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
3 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
5 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
6 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
7 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
8 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
9 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
10 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
【相似文献】
中国重要会议论文全文数据库 前1条
1 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026