基于RGPS的服务互操作能力分析与验证研究

课题来源与背景： 本成果主要来源于贵州省科学技术基金项目（省部级项目），项目名称为：“基于RGPS的服务互操作能力分析与验证研究”，项目合同编号为：黔科合J字LKT[2012]04号。该项目属于贵州省科技厅的纵向项目。

技术原理与性能指标： 在SOSE中，服务软件协作性的动力来自用户需求。根据特定领域用户需求的变化，需要动态地实现聚合服务软件资源的更新，从而形成特定领域随需而变的核心服务资产和业务流程的可变性配置管理。在对相关的业务流程和服务软件进行聚合时，需要各服务软件和业务流程间能相互理解，也就是各语义服务本体在元模型的层次上能够进行互操作与配置管理，能进行语义层次的聚合。

技术的创造性与先进性： 1. 提出基于RGPS元建模框架的领域知识引导的服务流程动态组合形式化建模分析与验证方法，为按需动态服务组合的有效性分析提供了一种行之有效的验证手段； 2. 探讨一种基于角色和目标的可配置业务流程模型约束分析方法，利用因果网（C-net）反映活动之间的因果依赖关系。基于RGPS元建模构架，引入角色和目标对业务流程活动的约束，提出一种基于RGPS着色的可配置业务流程，从而在业务流程可变性配置过程分析角色和目标的约束关系，更好地反映业务流程对用户提供的个性化需求； 3. 提出一种基于CPN和模型检测技术结合的数据流约束的业务流程可变性配置管理分析与验证方法。该方法能利用模型检测技术对业务流程可变性配置管理中的数据流约束的正确性进行分析与验证，实现对用户进行个性化业务流程配置的支撑。上述技术成果成熟，待应用推广。

应用情况及存在的问题： 坚持“学科交叉会聚”的指导思想；“理论研究与实际应用结合”，注重研究载体的思路；项目的成功实施与推广要依靠坚实的基础理论与技术创新；坚持理论－关键技术标准－工具平台－应用研究的指导思想，以理论为依托、以标准为基础、以工具为实现平台、以产业化为最终目标，使项目研究成果的应用进一步推广。

课题来源与背景：本成果主要来源于贵州省科学技术基金项目（省部级项目）,项目名称：基于RGPS的服务互操作能力分析与验证研究,项目合同编号： 黔科合J字LKT[2012]04号,该项目属于贵州省科技厅的纵向项目。技术原理与性能指标：在SOSE中服务软件协作性的动力来自用户需求,根据特定领域用户需求的变化,需要动态的实现聚合服务软件资源的更新,从而形成特定领域随需而变的核心服务资产和业务流程的可变性配置管理。在对相关的业务流程和服务软件进行聚合时,需要各服务软件和业务流程间能相互理解,也就是各语义服务本体在元模型的层次上能够进行互操作与配置管理,能进行语义层次的聚合。技术的创造性与先进性：1、提出基于RGPS元建模框架的领域知识引导的服务流程动态组合形式化建模分析与验证方法,为按需动态服务组合的有效性分析提供了一种行之有效验证手段;2、探讨一种基于角色和目标的可配置业务流程模型约束分析方法,利用因果网（C-net）反映活动之间的因果依赖关系,基于RGPS元建模构架,引入角色和目标对业务流程活动的约束,提出一种基于RGPS着色的可配置业务流程,从而在业务流程可变性配置过程分析角色和目标的约束关系,更好的反映业务流程对用户提供的个性化需求;3、提出一种基于CPN 和模型检测技术结合的数据流约束的业务流程可变性配置管理分析与验证方法,该方法能利用模型检测技术对业务流程可变性配置管理中的数据流约束的正确性进行分析与验证,实现对用户进行个性化业务流程配置的支撑。上述技术成果成熟,待应用推广。应用情况及存在的问题：坚持“学科交叉会聚”的指导思想;“理论研究与实际应用结合”,注重研究载体的思路;项目的成功实施与推广要依靠坚实的基础理论与技术创新;坚持理论－关键技术标准－工具平台－应用研究的指导思想,以理论为依托、以标准为基础、以工具为实现平台、以产业化为最终目标,使项目研究成果的应用进一步推广。