OWL-S过程模型的形式化描述与相容性分析
【出 处】:
【作 者】:
唐郑熠
[1,3] ;
王金水
[1] ;
韦立
[2,3] ;
薛醒思
[1] ;
胡文瑜
[1]
【摘 要】
构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础。同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作。
相关热词搜索: 服务组合验证 OWL-S 形式化模型 服务过程自动机 相容性分析 services composition verification OWL-S formal model services process automata compatibility analysis
上一篇:高校科研能力的协同IWD粗糙集-块神经网络评估模型
下一篇:自主群密钥更新模型研究