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

J4 ›› 2016, Vol. 38 ›› Issue (03): 478-485.

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

唐郑熠1,3,王金水1,韦立2,3,薛醒思1,胡文瑜1

（1.福建工程学院信息科学与工程学院，福建福州 350118；
2.贵州师范大学数学与计算机科学学院，贵州贵阳 550001；3.贵州大计算机科学与技术学院，贵州贵阳 550025）

收稿日期:2015-03-20 修回日期:2015-07-22 出版日期:2016-03-25 发布日期:2016-03-25
基金资助:
国家自然科学基金(61309006);福建省自然科学基金(2012J01245);福建省中青年教师教育科研基金(JB14069);福建工程学院科研启动基金(GYZ13112,GYZ13113)

Formal description and compatibility
analysis of OWLS process model

TANG Zhengyi1,3,WANG Jinshui1,WEI Li2,3,XUE Xingsi1,HU Wenyu1

(1.School of Information Science and Engineering,Fujian University of Technology,Fuzhou 350118;
2.School of Mathematics and Computer Science,Guizhou Normal University,Guiyang 550001;
3.School of Computer Science and Technology,Guizhou University,Guiyang 550025,China)

Received:2015-03-20 Revised:2015-07-22 Online:2016-03-25 Published:2016-03-25

摘要/Abstract

摘要：

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

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

Abstract:

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.

Key words: services composition verification;OWL-S;formal model;services process automata;compatibility analysis

唐郑熠1,3,王金水1,韦立2,3,薛醒思1,胡文瑜1. OWL-S过程模型的形式化描述与相容性分析[J]. J4, 2016, 38(03): 478-485.

TANG Zhengyi1,3,WANG Jinshui1,WEI Li2,3,XUE Xingsi1,HU Wenyu1. Formal description and compatibility
analysis of OWLS process model [J]. J4, 2016, 38(03): 478-485.