基于通信顺序进程的OWL-S语义分析与建模

摘要：

为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义.最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程.由于该方法具备良好的数学基础,所以可以基于该方法开发出自动化验证OWL-S过程模型的工具,提高系统的安全性.

关键词：OWL-S 过程模型、自动化验证、通信顺序进程、形式化语义、建模

所属期刊栏目：30

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家973计划项目2007/CB310803;国家863计划项目2007AA01Z143;国家自然科学基金资助项目60873118,60973147;北京交通大学科学研究基金资助项目2007RC110

在线出版日期：2010-09-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2173-2176,2196