面向任务的业务流程建模与验证方法研究

发布时间：2019-03-06 20:42

【摘要】：现代的业务流程越来越复杂,对业务流程建模与验证技术提出了越来越高的要求。任务是业务流程的基本要素,面向任务思想以任务为核心,通过对任务的描述、分解和分配高效合理的完成业务需求。本文研究面向任务的业务流程建模和验证方法,具体工作如下:首先提出了面向任务的业务流程建模方法。该方法以面向任务思想为基础,基于BPMN(Business Process Modeling Notation)提出了相应的建模方法。为了满足面向任务的建模需要,扩展了任务的时间、资源性质等相关属性,并扩展了时间约束等模型约束元素。提出了面向任务建模的具体步骤,包括将任务目标分解为可执行的具体任务,根据任务的逻辑顺序以及时间资源等要求将任务组合成完整的业务流图等。最后以潜艇作战为例,设计了任务的时间资源等要素,构造了面向任务的潜艇作战流程模型。其次,提出了基于模型检测思想的模型一致性验证方法。与传统模型检测方法不同,本文将业务流程的过程性质和时间资源等定量性质进行了统一描述与验证。根据业务流的结构,设计了带时间和资源的业务流图到状态迁移模型的转换规则,基于时序逻辑给出了业务流模型可终止性、可达性、顺序性等以及时间资源约束性质的形式化描述方法。最后对潜艇作战模型进行了验证,并对其进行了修正。然后,提出了基于简单时间网络STN的业务流模型任务约束验证与消解方法。传统的约束验证方法主要用于业务流图的单路径验证,本文针对分支路径验证问题,提出了业务流模型到STN的转换方法,证明了业务流模型一致性与STN的一致性的对应。提出了业务流模型的路径一致性以及强一致性概念,给出了上述一致性的满足条件并进行了证明,设计了路径一致性以及强一致性的验证和消解算法,分析了其收敛性等性质,并结合实例进行了验证和消解。最后,基于面向任务业务流程建模和验证方法,设计了业务流程建模与验证平台。构建了从任务分解到业务流图的图形化建模平台,实现了面向任务业务流模型的一致性验证和消解方法。基于上述平台上构建了登岛作战流程模型,并进行了模型验证和消解,结果表明本文建模验证方法和平台设计能够满足面向任务业务流程模型的建模需求以及针对业务流程的时间、资源、路径约束等性质的验证消解需求。
[Abstract]:The modern business process is becoming more and more complex, which puts forward higher and higher requirements for business process modeling and verification technology. Task is the basic element of business process. The task-oriented idea takes task as the core. Through the description of task, the task is decomposed and assigned efficiently and reasonably to fulfill the business requirements. In this paper, task-oriented business process modeling and verification methods are studied. The specific work is as follows: firstly, a task-oriented business process modeling method is proposed. This method is based on the idea of task-oriented and proposes the corresponding modeling method based on BPMN (Business Process Modeling Notation). In order to meet the needs of task-oriented modeling, the time and resource properties of the task are extended, and the constraint elements of the model such as time constraints are extended. The specific steps of task-oriented modeling are proposed, including decomposing task objectives into executable tasks, combining tasks into complete business flow diagrams according to the logical order of tasks and time resources. Finally, taking submarine combat as an example, the task time resource and other elements are designed, and the task-oriented submarine operational flow model is constructed. Secondly, a model consistency verification method based on model checking is proposed. Different from traditional model checking methods, this paper describes and validates the quantitative properties of business process, such as process property and time resource. According to the structure of traffic flow, the transition rules from traffic flow graph to state transition model with time and resources are designed, and the termination and reachability of traffic flow model are given based on temporal logic. Formal description of sequence and time resource constraints. Finally, the submarine combat model is verified and modified. Then, the task constraint verification and resolution method of traffic flow model based on simple time network STN is proposed. The traditional constraint verification method is mainly used in single-path verification of traffic flow graph. Aiming at branch path verification, this paper proposes a method of transforming traffic flow model to STN, and proves that the consistency of traffic flow model corresponds to the consistency of STN. In this paper, the concepts of path consistency and strong consistency of traffic flow model are proposed, the satisfying conditions of the above consistency are given and proved, and the verification and resolution algorithm of path consistency and strong consistency are designed, and its convergence properties are analyzed. At the same time, it is verified and dispelled with an example. Finally, based on task-oriented business process modeling and verification method, a business process modeling and verification platform is designed. A graphical modeling platform from task decomposition to business flow graph is constructed, and the consistency verification and resolution method of task-oriented business flow model is implemented. Based on the above-mentioned platform, the operational process model of landing island is constructed, and the model verification and resolution are carried out. The results show that the modeling verification method and platform design can meet the modeling requirements of task-oriented business process model and the verification and resolution requirements for the time, resources and path constraints of the business process.
【学位授予单位】：南京航空航天大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP311.52

【相似文献】