基于通信顺序进程的OWL-S 语义分析与建模 | |
杨建书 ; 吴尽昭 ; 周瑾 | |
2015-03-15 ; 2015-03-15 | |
关键词 | OWL-S 过程模型 自动化验证 通信顺序进程 形式化语义 建模 |
其他题名 | Semantical analysis and modeling for OWL-S based on CSP |
中文摘要 | 为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义.最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程.由于该方法具备良好的数学基础,所以可以基于该方法开发出自动化验证OWL-S过程模型的工具,提高系统的安全性.; 国家973计划项目,国家863计划项目,国家自然科学基金,北京交通大学科学研究基金 |
语种 | 中文 |
出版者 | 计算机应用 |
其他责任者 | 中国科学院,成都计算机应用研究所 |
内容类型 | 期刊论文 |
源URL | [http://ir.calis.edu.cn/hdl/530500/4589] ![]() |
专题 | 广西民族大学 |
推荐引用方式 GB/T 7714 | 杨建书,吴尽昭,周瑾. 基于通信顺序进程的OWL-S 语义分析与建模[J],2015, 2015. |
APA | 杨建书,吴尽昭,&周瑾.(2015).基于通信顺序进程的OWL-S 语义分析与建模.. |
MLA | 杨建书,et al."基于通信顺序进程的OWL-S 语义分析与建模".(2015). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论