Abstract
In recent years, algebraic semantics and its verification are increasingly important in software engineering. In this paper, firstly, the algebraic semantics of software evolution process description language (AS-EPDL) at activity level is explored. The algebraic semantics of activity level in EPDL provide an accurate framework for defining the semantics. In addition, the hierarchy-consistency and sufficient-completeness properties of the AS-EPDL at activity level are verified.
Publisher
Trans Tech Publications, Ltd.
Reference4 articles.
1. T. Li, An Approach to Modelling Software Evolution Processes[M], Springer-Verlag, Berlin, (2008).
2. L.J. Osterweil, Understanding process and the quest for deeper questions in software engineering research, ACM SIGSOFT Software Engineering Notes 8: 6-14.
3. R.Q. Lu, Formal semantics of computer language, , Science press, Peking, (1992).
4. A. Fuggetta, Software process: a roadmap, Proceedings of the conference on the future of software engineering, ACM Press, New York, pp.25-34.