Software Adaptive Mechanism Based on Software Architecture in Software Running Time

DOI

10.2991/icmmcce-15.2015.275How to use a DOI?

Keywords

Bigraph; Response System; Adaptive Software; Software Architecture; Formal Methods

Abstract

In the Internet environment, software gradually moves from closed, static and controllable status towards open, dynamic and unpredictable state. How to propose suitable software theory for such adaptive software has become the challenging issue facing the computer science and technology. Applicable formal theoretical basis is one of signs that software technology achieves maturity, while support for protocol, analysis and verification of adaptive software architecture is inadequate in existing mobile and concurrent theories. Although the software architecture technology has now entered into the golden era of development, there are still many issues to be resolved, one of which is the need for effective mechanism to describe, analyze and verify software architecture. Bigraph puts emphasis on two factors of calculated position and connection on the basis of the existing theories, and a relatively complete and extensible theoretical framework is established. Nowadays, bigraph theory has now begun to be applied, and studies are gradually carried out on extension and shift of bigraph theory basis, description of concurrency theory, bigraph logic, modeling of pervasive computing system, and BPL programming language of bigraph. Hence, bigraph theory can provide a solid foundation for the formal methods of adaptive software architecture.

Copyright

© 2015, 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  - Haiyun Xiang
AU  - Xiao Fu
AU  - Xu Li
PY  - 2015/12
DA  - 2015/12
TI  - Software Adaptive Mechanism Based on Software Architecture in Software Running Time
BT  - Proceedings of the 4th International Conference on Mechatronics, Materials, Chemistry and Computer Engineering 2015
PB  - Atlantis Press
SN  - 2352-538X
UR  - https://doi.org/10.2991/icmmcce-15.2015.275
DO  - 10.2991/icmmcce-15.2015.275
ID  - Xiang2015/12
ER  -