Control Flow Analyze for Procedure Blueprint

Abstract:

Article Preview

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.

Info:

Periodical:

Edited by:

Qi Luo

Pages:

1061-1066

DOI:

10.4028/www.scientific.net/AMM.58-60.1061

Citation:

F. Q. Wang and H. J. Ke, "Control Flow Analyze for Procedure Blueprint", Applied Mechanics and Materials, Vols. 58-60, pp. 1061-1066, 2011

Online since:

June 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.