A formal theory for heavyweight software process paradigm

In order to guide software process and achieve the desired goals, heavyweight software process paradigm provides steps, activities, models and corresponding restraint mechanisms for software process. However, related literatures lack in-depth study of its theory. The article begins with a brief analysis of its elements and their relationships; secondly, its theory was studied based on first order predicate logic, such as grammar, structure, semantics and corresponding axiom. The exploration is expected to fill gaps in related researches, and can be taken as basis for standardization of software process.

[1]  Oscar Pastor,et al.  Model-Driven Development - Piecing together the MDA Jigsaw Puzzle , 2008 .

[2]  Oscar Pastor,et al.  Model-Driven Development , 2008, Informatik-Spektrum.

[3]  Min Zhou,et al.  Abstract Mechanisms of GEF and Techniques for GEF Based Graphical Editors , 2012 .

[4]  Nicolas Anquetil,et al.  A model-driven traceability framework for software product lines , 2010, Software & Systems Modeling.

[5]  Deren Yang,et al.  Software process paradigm and its constraint mechanisms , 2011, 2011 IEEE 2nd International Conference on Software Engineering and Service Science.