Control Flow Analyze for Procedure Blueprint

Feng Qin Wang; Heng Jin Ke

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

Paper Titles

Design of a Reconfigurable Coprocessor for Double Precision Floating Point Matrix Algorithms
p.1037

Numerical Analysis of a New-Style Ultrasonic Linear Array
p.1043

Numerical Assessment of Multi-Splitter Mufflers Using Neural Networks, the Boundary Element Method, and the Genetic Algorithm
p.1049

Study of Relative Entropy Coefficients for Image Segmentation Based on Particle Swarm Optimization
p.1056

Control Flow Analyze for Procedure Blueprint
p.1061

Dynamics Modeling and Simulation for Main Drive System of Automatic Cutter
p.1067

Study on Holes Machining Path Planning Based on Ant Colony Optimization
p.1073

Vibroacoustic Optimization of a Shell Structure Based on the Dynamics Analysis
p.1077

The Bending Interface Model for Flexible Three-Dimensional Microstructure
p.1082

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 58-60Control Flow Analyze for Procedure Blueprint

Control Flow Analyze for Procedure Blueprint

Abstract:

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.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 58-60)

Pages:

1061-1066

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.58-60.1061

Citation:

Cite this paper

Online since:

June 2011

Authors:

Feng Qin Wang, Heng Jin Ke

Keywords:

Activity Diagram, Control Flow Analyze, Control Flow Diagram, Procedure Blueprint

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] S. Muchnick. Advanced Compiler Design and Implementation, First ed: Morgan Kaufmann, (1997).

Google Scholar

[2] Chiara Bodei, Pierpaolo Degano, Flemming Nielson and Hanne Riis Nielson. Control Flow Analysis for the π -calculus. SpringerLink 1998 p.481 – 488.

Google Scholar

[3] Object Management Group. OCL 2. 0 Specification Version 2. 0. Vol 2. 0. Document ptc/2005-06-06. www. omg. org.

Google Scholar

[4] FengQin Wang, HengJin Ke, JianBin Liu. Towards the Reverse Engineer Of UML2. 0 Sequence Diagram for procedure, In Proceedings of WCSE, 2009, pp.58-68.

Google Scholar

[5] J.B. Liu. Design and Methodology to Procedure Blueprint. Beijing. China: Scientifict Publish, (2005).

Google Scholar

[6] Paolo Tonella, Alessandra Potrich. Reverse Engineering of the Interaction Diagrams from C++ Code,. In Proceedings of the International Conference on Software Maintenance, 2003, pp.159-168.

DOI: 10.1109/icsm.2003.1235418

Google Scholar

[7] J. Zhang and S. C. Cheung. Automated Test Case Generation for the Stress Testing of Multimedia Systems (J). Software Practice & Experience, vol. 32, no. 15, 2002: 1411-1435.

DOI: 10.1002/spe.487

Google Scholar

[8] S. Bernardi, S. Donatelli, and J. Merseguer. From UML sequence diagrams and statecharts to analyzable Petri-net Models(J). Proc. Int. Workshop on Soft. and Performance, 2002: 35-45.

DOI: 10.1145/584369.584376

Google Scholar

[9] Atanas Rountev, Beth Harkness Connell. Object Naming Analysis for Reverse Engineered Sequence Diagrams". St. Louis, Missouri, USA: ICSE, 05, May, (2005).

DOI: 10.1145/1062455.1062510

Google Scholar

[10] Riva C. and J.V. Rodriguez. Combining Static and Dynamic Views for Architecture Reconstruction(C). Proceedings of the Sixth European Conference on Software Maintenance and Reengineering (CSMR2002), IEEE Computer Society Press, 11-13 March 2002 in Budapest , Hungary.

DOI: 10.1109/csmr.2002.995789

Google Scholar