基于领域知识的业务流程可变性配置建模分析与验证关键技术研究

With the deeply development of Internet thing revolution, this trend results the transform of novel commercial patterns and impose the organization or enterprise to establish the flexibility business process with On-demand service and agile, thus it is an important problem for business process management that realize the variant configuration modeling analysis and ensure the correctness of business process in the environment of Bigdata. So the key issue of this project is that how to incorporate domain knowledge and model checking technology to improve the ability of variant configuration management of business process model from the multiple dimensions and provide the on-demand service for the changeable customers. In order to address this key issue, this project will conduct the following three prospective research: first, on the basis of the RGPS requirement meta-model and Petri net model, we propose configurable business process model with multiple prospective corporation from the role, goal and service; second, we establish the analysis and verification method of the data constraints of the variant configuration management in business process by utilizing the data dependences of business process; thirdly, we want to explore the compliance analysis and checking means of configuration management of configurable business process model with the process environment changes based on the multiple configurable business process model and business compliances. The research of this project dedicates to provide the validation solution for the intelligent configuration management of business process service-oriented.

随着互联网思维变革的深入发展，带来“以用户为中心”的新的商业模式的转变，促使企业建立具有按需服务、灵活多变的柔性业务流程，从而实现业务流程在大数据环境中的可变性配置建模分析及其正确性验证是业务流程管理所面临的重要问题。因此，本研究的关键问题是：如何融合领域知识和模型检测技术从多维度提高业务流程的可变性配置管理能力，从而为需求可变的用户提供按需服务。围绕这一关键问题，本项目拟开展如下3个方面的研究:(1)基于RGPS需求元模型和Petri网形式化模型，建立从角色、目标、服务等多视角协作的可配置业务流模型;(2)利用业务流程数据流中的依赖关系，建立业务流程可变性配置管理的数据约束分析与验证方法;(3)以多视角的可配置业务流程模型和业务规则为基础，探索流程环境变更导致的可配置业务流程在配置管理中合规性的分析与检测手段。本项目的研究致力为面向服务的业务流程智能化配置管理提供行之有效的解决方案。

当前“以用户为中心”的新商业模式的急剧发展，促使企业建立具有按需服务、灵活多变的柔性业务流程，从而实现业务流程在大数据环境中的可变性配置建模分析及其正确性验证是业务流程管理所面临的重要问题。围绕该问题，本项目主要开展的研究如下：（1） 在业务流程数据约束方面，提出一种基于数据流约束的可配置流程分析与验证方法，聚焦数据流对业务流程配置时的影响与作用；（2）针对业务流程业务规则约束问题，提出基于着色Petri网的可配置业务流程合规性分析与验证方法，强化业务流程中规则的应用；（3）针对将可配置业务流程配置应用于Web服务发现研究，提出一种基于挖掘和聚类服务目标的RESTful服务发现方法，使用概率主题模型将服务进行聚类，然后推荐相关服务目标精华用户需求；（4）针对可配置业务流程的相似性度量方面，提出一种基于MFI-5业务流程相似性度量方法，侧重于流程模型的相似特征集进行刻画；（5）在流程自适应方面，提出一种情境感知的业务流程动态自适应方法，结合情境感知对业务流程进行自适应配置。该项目的研究成果对云计算和大数据关联计算中流程感知的按需服务推荐研究具有重要参考价值。.在上述研究工作基础上，已经发表论文11篇，其中SCI收录2篇，EI收录5篇，包括CCF列表B类期刊Knowledge information system论文1篇，计算机计算机集成制造系统1篇，大数据领域知名国际会议BigData（International Congress on Big Data）1篇，申请国家发明专利2项，出版专著1部，申请软件著作权2项，参加学术会议共10余次，国际会议报告1次，晋升教授2名，获贵州省高层次创新型人才“千”层次人才1名。