OWL-S过程模型的形式化描述与相容性分析

摘要：

构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化.通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础.同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作.

关键词：服务组合验证、OWL-S、形式化模型、服务过程自动机、相容性分析

所属期刊栏目：38

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

资助基金：国家自然科学基金61309006;福建省自然科学基金2012J01245;福建省中青年教师教育科研基金JB14069;福建工程学院科研启动基金GY-Z13112,GY-Z13113

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

页数：共8页

页码：478-485