The Algebraic Semantics of EPDL at Activity Level and Verification

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.

• Periodical: Advanced Materials Research (Volumes 756-759)
• Pages: 2306-2310
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.756-759.2306
• Online since: September 2013
• Authors: Jin Zhuo Liu, Li Xia Wang, Tong Li, Qian Yu, Na Zhao, Fei Lu Hang
• Keywords: Activity, Algebraic Semantics, EPDL, Software Evolution Processes

References

[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.

DOI: 10.1145/949952.940073

[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.