收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

语义Web服务自动组合的Petri网方法研究

马炳先  
【摘要】: 目前Web上的信息仅仅是为了让人们去阅读,而不是让计算机程序去有效地利用,现在迫切需要对Web上海量信息的机器自动处理,如何使Web信息为机器所理解并自动处理成为将来Web发展的趋势,语义Web的出现正是为了满足这一目的,为Web上信息赋予清晰的语义标记,使得Web上信息的处理和集成可以通过机器进行较为容易的自动处理。 当人们创建用户应用程序收集Web上分散资源、处理消息、与其他程序交换信息时,语义Web的能力才会得到真正体现。在所有Web资源中最重要的是那些可以提供服务的资源,即语义Web服务,用户应用程序应该能够对服务进行自动处理,并最终满足用户的需求。 作为语义Web服务研究与应用的一个重要方面,语义Web服务的自动组合是指用户能够通过其应用程序实现对所需Web服务的自动发现、选择、雇用、组合以及监控等操作,并最终满足用户的需求。 OWL-S是W3C推荐的语义Web服务的本体描述语言,目的是为了实现语义Web服务的自动发现,自动调用和自动组合等相关问题。语义Web服务的OWL-S描述对服务的运行细节进行了清晰的描述,规定了用户与服务进行交互的方式。在语义Web服务的OWL-S描述基础上,结合多主体系统的相关技术,本文讨论了语义Web服务的自动组合以及组合语义Web服务动态分析的Petri网方法,主要包括以下几方面的工作: (1)利用动态描述逻辑(Dynamic Description Logic,DDL)的动作理论作为OWL-S进程执行描述的逻辑基础,将OWL-S原子进程的执行作为一个DDL动作进行描述,实现了原子进程的动态执行与相关执行条件静态推理的有机结合,得到OWL-S原子进程操作语义的DDL描述; (2)利用Petri网方法刻画了OWL-S服务进程(特别是复合进程)的操作语义,提出组合语义Web服务的形成是基于其中各个服务的功能的组合,每个服务功能对应服务的某个进程描述,将相应进程的Petri网描述进行合成(基于库所元素的共享合成),得到组合语义Web服务对应的Petri网系统; (3)详细讨论了多主体行为的Petri网描述与分析方法,特别是多主体行为规划问题,多主体行为冲突的检测和避免问题; (4)提出通过组合语义Web服务对应的Petri网系统,实现组合语义Web服务的动态执行分析的方法,包括如何确定组合语义Web服务当中各个服务功能(服务行为)的执行次序;多个不同服务行为执行时其间可能存在的各种关系,如顺序,并发关系;对组合语义Web服务的动态执行情况的分析,如服务的可达性、


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 赵龙;一个能克服VAX/VMS实时性缺陷的操作系统——VAXELN[J];小型微型计算机系统;1991年09期
2 杜楠;Linux进程间的管道通信[J];电脑编程技巧与维护;2005年02期
3 刘放鸣;MP-UNIX系统的进程通讯机制[J];计算机工程与应用;1984年02期
4 Jorgen Staunstrup Sven Meiborg Sorensen ,姚许;PLATON高级系统程序设计语言[J];计算机工程与应用;1979年01期
5 A.J.Jammel;P.A.Vogel;H.G.Stiegler;方裕;;面向消息的影响[J];计算机研究与发展;1981年06期
6 钱培德,张元道;UNIX进程工作的程序设计接口[J];微计算机应用;1991年04期
7 贾宗璞,沈记全;中厚钢板计算机过程控制系统设计[J];计算机工程与应用;2004年19期
8 ;进程及进程管理[J];计算机工程与应用;1983年02期
9 吕慧;Linux系统下守护进程编程方法[J];甘肃科技;2002年Z1期
10 李杏;商业银行综合业务系统中间件应用[J];华南金融电脑;2003年06期
11 何小平;张能立;罗焱;;基于Unix域Socket的父子进程间心跳机制的实现[J];福建电脑;2007年07期
12 沈一栋,程代杰,杨寸锋;多机环境下的PROLOG并行解释算法[J];小型微型计算机系统;1988年12期
13 胡冰烽;薛行;谢立;;分布式程序设计语言C■的设计与实现[J];计算机工程与应用;1990年Z1期
14 张海;;一种LINUX操作系统守护进程的编程实现方法[J];广东水利电力职业技术学院学报;2006年02期
15 李晓勤;;多进程在银行联机事务批量处理中的应用[J];中国金融电脑;2006年12期
16 张洪海;陈康路;徐娟;王晓光;;WIN32调试API在一种数值计算服务器上的应用[J];计算机时代;2007年10期
17 尤晋元;UNIX操作系统和几个核外程序[J];计算机应用与软件;1984年02期
18 肖竟华,程少春;UNIX进程控制和管理的特性分析[J];武汉科技大学学报(自然科学版);1999年01期
19 李昕,左明;基于Linux的预先创建子进程池的服务器程序设计[J];计算机应用与软件;2005年09期
20 周永前;刘萍;陆宇平;;OpenGL多窗口显示质量的提高[J];长春理工大学学报(自然科学版);2006年04期
中国重要会议论文全文数据库 前10条
1 王勇;刘兴丽;;用SHELL编写气象业务实用脚本[A];黑龙江省气象计算机应用与通信交流会论文集[C];2006年
2 胡英楣;沈文海;陆春信;;多进程并发在国内通信系统的应用[A];信息技术在气象领域的开发应用论文集(二)[C];2006年
3 高锦春;张先萍;王志谦;;电信计费系统的设计与实现[A];中国通信学会信息通信网络技术委员会2003年年会论文集[C];2003年
4 韩国兴;;一种实用嵌套并行程序设计算法[A];第九届全国微分方程数值方法暨第六届全国仿真算法学术会议论文集[C];2004年
5 李家盛;;大冶冶炼厂两套烟气制酸控制系统之间的数据交换[A];中国有色金属学会——第二届青年论坛学术会议论文集[C];2004年
6 辛文启;罗锋;;自相似业务源在OPNET下的一种实现及其对队列性能的影响[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年
7 周松年;郑小虎;王敬文;Pierre Delisle;;乌托邦:一个用于大型异构分布式计算机的负载共享系统[A];中国科学技术协会首届青年学术年会论文集(工科分册·上册)[C];1992年
8 黎筱彦;谢永强;宫敏;刘正国;;安全操作系统的强制执行控制实现分析[A];第十八次全国计算机安全学术交流会论文集[C];2003年
9 袁飞荣;严佳文;罗坤;王晓君;邓子牛;;用实时定量PCR分析转rol ABC基因枳橙外源基因表达模式(摘要)[A];第二届全国果树分子生物学学术研讨会论文集[C];2009年
10 黄娇凤;刘进;;离散客体照相模拟程序在MPI下的并行化[A];2009年全国开放式分布与并行计算机学术会议论文集(下册)[C];2009年
中国硕士学位论文全文数据库 前10条
1 江中保;自助银行前置机系统及通讯层开发研究[D];西安理工大学;2003年
2 何小平;Linux系统多进程服务器软件技术的研究与实现[D];武汉理工大学;2008年
3 杨大勇;空中交通管制电子进程单管理系统的设计与实现[D];北京邮电大学;2007年
4 刘寿永;Linux并发服务器设计及其在银行系统中的应用[D];西安电子科技大学;2008年
5 王双发;网络性能分析系统的研究与实现[D];武汉理工大学;2006年
6 王钰;河南省EMS互联工程网络通信的研究与实现[D];华北电力大学(北京);2007年
7 周永前;面向低空飞行与突防的三维演示系统研制[D];南京航空航天大学;2007年
8 汪海玲;基于SAN的存储资源管理系统的研究与实现[D];武汉理工大学;2009年
9 车楠;基于Linux嵌入式节能系统研究与实现[D];哈尔滨理工大学;2007年
10 贾晶;SNMP协议在网络性能管理中的研究与实现[D];武汉理工大学;2006年
中国重要报纸全文数据库 前10条
1 勇;“结束进程树”的妙用[N];中国电脑教育报;2003年
2 ;Linux遭遇扩展性问题[N];计算机世界;2007年
3 冲浪平台研发小组;Linux 2.2.x的进程分析[N];计算机世界;2000年
4 证券时报记者 孙玉;美亚财险、三井住友完成“分改子”[N];证券时报;2007年
5 蒋寒;用心打造自己的信誉品牌[N];科技日报;2004年
6 江苏 顾银晓;在UNIX上配置SOCKS5代理[N];电脑报;2001年
7 飘零雪;让你玩转系统进程[N];电脑报;2003年
8 潘武杰 韩争军;银行中间业务平台分析及实现[N];计算机世界;2005年
9 于辰涛;MySQL以速度为目标[N];计算机世界;2002年
10 《网络世界》评测实验室 于洋;用好Web日志[N];网络世界;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978