Proceedings of the 2012 2nd International Conference on Computer and Information Application (ICCIA 2012)

The Algebraic Semantics of EPDL at Activity Level and Verification

Authors
Jinzhuo Liu, Lixia Wang, Tong Li, Qian Yu, Na Zhao
Corresponding Author
Jinzhuo Liu
Available Online May 2014.
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)

Volume Title
Proceedings of the 2012 2nd International Conference on Computer and Information Application (ICCIA 2012)
Series
Advances in Intelligent Systems Research
Publication Date
May 2014
ISBN
978-94-91216-41-1
ISSN
1951-6851
DOI
10.2991/iccia.2012.86How to use a DOI?
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/).

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  -