The Algebraic Semantics of EPDL at Activity Level and Verification

DOI

10.2991/iccia.2012.86How to use a DOI?

Keywords

Software Evolution Processes, Activity, EPDL, algebraic semantics.

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.

Copyright

© 2013, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Jinzhuo Liu
AU  - Lixia Wang
AU  - Tong Li
AU  - Qian Yu
AU  - Na Zhao
PY  - 2014/05
DA  - 2014/05
TI  - The Algebraic Semantics of EPDL at Activity Level and Verification
BT  - Proceedings of the 2012 2nd International Conference on Computer and Information Application (ICCIA 2012)
PB  - Atlantis Press
SP  - 356
EP  - 359
SN  - 1951-6851
UR  - https://doi.org/10.2991/iccia.2012.86
DO  - 10.2991/iccia.2012.86
ID  - Liu2014/05
ER  -