| 基于通信顺序进程的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). |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论