Demand And Business Process Conformance Testing In The Field Of Related Technical Research

BPMN is a business process modeling standards commonly used in the field of software development. In the software product line with process variability, BPMN process templates support to descript business process from domain requirements, and derive process instance towards particular application requirements effectively. However, the design of BPMN process templates based on the experience of the process designers are lack of validation, and there always exist inconsistency between domain requirements and business process templates.There are two situation of the inconsistency between domain requirements and business process templates, one is the defact of domain requirements, it may be caused by the lack of analysis of requirements or analyers’carelessness(miss the dependency). The other is the conflict between domain requirements and process design, it’s caused by incomprehension of requirements(use the wrong BPMN elements).For this problem, this paper presents a method for model checking consistency between domain requirements and business process, which firstly formalize the domain requirements using FLTL, it will get the process properties need to be checked. And then translates the BPMN instance to FSP expression, it will model it as finite state automata. Then check the inconsistency using an automated model checking tool which will send back the result. At last this paper argument the inconsistency between domain requirements and business process templates, and then give some modification.