基于控制流的盒图动态建模与测试

Dynamic Modeling and Testing of N-S Diagram based on Control Flow

为解决传统盒图静态过程描述缺少动态逻辑关系验证问题,研究工作流中控制流的可视化建模与实现;通过分析盒图和控制流的转换关系,将静态的盒图无缝地转换成可视化的动态控制流模型,完成从盒图静态过程描述到控制流的可视化动态建模、实现、测试和验证;实现快速构建复杂业务流程的可视化分析模型并提前验证,解决了复杂业务过程模型在编码之前的逻辑验证,在实际的建模中,逻辑关系清晰,便于验证。

This paper studies visualization modeling and implementation of control flow as there is no dynamic logical relation verification in static process description of traditional N-S(Nassi Shneiderman)Diagram.Static N-S diagram is seamlessly transformed into visual dynamic model of control flow by analyzing the relationship between N-S diagram and control flow.Visual dynamic modeling,implementation,testing and verification method are completed from N-S static process description to control flow.The visual analysis model of complex business process can be quickly built and verified in advance.This study realizes the dynamic logic verification of complex business process model before coding.In actual modeling,the logical relationship is clear and easy to verify.