Control Flow Analyze for Procedure Blueprint
Based on the well-defined UML2.0 activity diagram, a meta-model based on Control Flow Diagram is presented. And our strategy in this article is to define an OCL-based mapping in a formal and verifiable form as consistency rules between an AISD and a CFG, so as to ensure the completeness of our meta-models and allow their verification. At last, we adopt a static analyze method to transform procedure blueprint to Control Flow diagram.
F. Q. Wang and H. J. Ke, "Control Flow Analyze for Procedure Blueprint", Applied Mechanics and Materials, Vols. 58-60, pp. 1061-1066, 2011