The Algebraic Semantics of EPDL at Activity Level and Verification
Jinzhuo Liu, Lixia Wang, Tong Li, Qian Yu, Na Zhao
Available Online May 2014.
- 10.2991/iccia.2012.86How to use a DOI?
- Software Evolution Processes, Activity, EPDL, algebraic semantics.
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.
- © 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/).
Cite this article
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 -