资料下载
×
建立描述OWL-S的服务过程自动机
消耗积分:1 |
格式:rar |
大小:1.18 MB |
2017-12-04
分享资料个
构建组合服务的形式化模型是对其进行验证的前提与基础，然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展，建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机，为组合服务的形式化建模提供了统一框架和自动化基础。同时，通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束，将相容性划分为三个等级，从而能够在不同强度的可靠性要求下进行组合服务的验证工作。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
