Process Blueprint Design Methodology And Its Supporting Tools

Behavior procedure development is a constitute part and important content of software development. Visual procedure design method provides a more effective way for development of algorithm-intensive complex program. It is a study direction and theme of software engineering that to do more in-depth research work on this method and to provide supporting CASE tools. On the basis of colligating existing study fruits of procedure developing technology, author proposes a new local procedure blueprint design methodology suited for procedure development, and develop CASE tools to support this methodology, and validate effectiveness of the technology through small-scale application practice initially. This dissertation describes the author's theory research in Visual procedure modeling language, development process and design method, and tools developing and technical application work in detail.With regard to visual procedure modeling language, author proposes a procedure blueprint language with three-tier abstract outside views represented as Abstract Concept Structure Diagram (ACSD), Abstract Logic Structure Diagram (ALSD) and Abstract Implementation Diagram (AISD), two-level mapping and inside unified integration structure. The language represents procedure at conceptual, logical, and implemental tree abstract levels, and unifies them into an integrated whole in semantics, and organizes them in a tree-shaped structure framework by means of two-level mapping of control flow and data flow among the tree-tier representation, providing implementation-independent and implementation-dependent representation capability and procedure independency (i.e. control flow independency and data flow independency) on certain extent, making procedure modification localized, implementing reuse and portability of procedure at conceptual level, enabling representation requirement across analysis, design and construction phrase satisfied, which establish basis for solving the problem of smooth transition and consistency among three-tier views. Currently, It can support procedure development and implementation of five programming language, including JAVA, C++, VB, VFP, and PASCAL. In this paper, rigorous formal definition of Procedure Blueprint language and the concept of the specification integrity (i.e. validity, consistency, completeness, and correctness) are presented, and non-contradiction of the language's well-formed rules is proved, the principle of the language's delaminated design and procedure independency is discussed.In the development process aspect, author defines a control-construct-centered, top-down, incremental, iterative, normative development process and design model, having taken characteristics of the language and requirement of step-by-step refinement and quality assurance into consideration, which provides properties of smooth transition and seamless connection across various development phrases.As to design method, considering automation, author proposes semi-automatic methods of initial ALSD derivation and consistent synchronization update, and automatic derivation methods from inside unified structure representation to outside views. The methodology provides operational methods in reducing procedure complexity and improving comprehensibility and better adaptive capability for requirement variation. In tool development aspect, author has designed and implemented a JAVA visualobject-oriented programming supporting system (JVOOPSS) based on the class diagram andprocedure blueprint, and procedure blueprint editors and code generators used as local toolsto support forward engineering of the methodology and procedure implementation for thefive programming language. Design of JVOOPSS is presented in the paper.In technical application aspect, author has brought the results of theory research and thedeveloped tools into several medium-scale or small-scale programming problems, and gotsatisfactory effects, which validates availability and effectiveness of the methodology andtools initially.