计算机工程与科学

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

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

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

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

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

来源：2016年第3期

《计算机工程与科学》期刊编辑部

查看计算机工程与科学杂志2016年第3期