Proceedings of the 2nd International Conference On Systems Engineering and Modeling (ICSEM 2013)

Behavior Consistency Verification for Evolution of Aspectual Component-based Software

Authors
Xue-yao Zhou, Ning-jiang Chen, Dan-dan Hu
Corresponding Author
Xue-yao Zhou
Available Online April 2013.
DOI
10.2991/icsem.2013.180How to use a DOI?
Keywords
Aspect-oriented software architecture, Dynamic evolution, Behavior consistency
Abstract

Aspect-Oriented Software Architecture (AOA) is a high-level abstraction and integration blueprint of aspectual component-based software. A semantic model of aspectual component-based software is proposed to provide behavior description and semantic foundation for the consistency verification of software architecture dynamic evolution. By using the semantic model of Pi-calculus, a set of the consistency verification methods of dynamic evolution from multiple aspects are introduced. Finally, a case study shows the effect of these methods.

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 2nd International Conference On Systems Engineering and Modeling (ICSEM 2013)
Series
Advances in Intelligent Systems Research
Publication Date
April 2013
ISBN
978-94-91216-42-8
ISSN
1951-6851
DOI
10.2991/icsem.2013.180How 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  - Xue-yao Zhou
AU  - Ning-jiang Chen
AU  - Dan-dan Hu
PY  - 2013/04
DA  - 2013/04
TI  - Behavior Consistency Verification for Evolution of Aspectual Component-based Software
BT  - Proceedings of the 2nd International Conference On Systems Engineering and Modeling (ICSEM 2013)
PB  - Atlantis Press
SP  - 869
EP  - 873
SN  - 1951-6851
UR  - https://doi.org/10.2991/icsem.2013.180
DO  - 10.2991/icsem.2013.180
ID  - Zhou2013/04
ER  -