The Algebraic Semantics of EPDL at Activity Level and Verification
Jinzhuo Liu, Lixia Wang, Tong Li, Qian Yu, Na Zhao
Available Online May 2014.
- https://doi.org/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.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
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 - https://doi.org/10.2991/iccia.2012.86 ID - Liu2014/05 ER -