摘要
构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述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.
出处
《计算机工程与科学》
CSCD
北大核心
2016年第3期478-485,共8页
Computer Engineering & Science
基金
国家自然科学基金(61309006)
福建省自然科学基金(2012J01245)
福建省中青年教师教育科研基金(JB14069)
福建工程学院科研启动基金(GY-Z13112,GY-Z13113)
