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

Formal description and compatibility analysis of OWL-S process model

作　　者：唐郑熠[1,2] 王金水[1] 韦立[3,2] 薛醒思[1] 胡文瑜[1] 

机构地区：[1]福建工程学院信息科学与工程学院,福建福州350118 [2]贵州大学计算机科学与技术学院,贵州贵阳550025 [3]贵州师范大学数学与计算机科学学院,贵州贵阳550001

出　　处：《计算机工程与科学》2016年第3期478-485,共8页Computer Engineering & Science

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

摘　　要：构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础。同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作。Building the formal model of composite services is the basis of verification.But in the absence of a unified modeling framework,automatic operations of the modeling process are difficult to realize.We build a services process automata by expanding the deterministic finite automata.It is a finite migratory system which is suitable for describing the process model of OWL-S.This work provides a unified framework and a foundation of automatic operations for the formal modeling of composite services.In addition,we divide the compatibility into three grades by analyzing the acceptable locations of the services process automata and the constraints possibly produced during the composition process.So the proposal can be adaptive to verification of composite services with different reliability requirements.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]