期刊
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE
卷 108, 期 -, 页码 662-676出版社
ELSEVIER
DOI: 10.1016/j.future.2020.02.008
关键词
Software systems; Software evolution; Software architecture; Mobile computing; Bigraph specification; Structural characteristics; Evolution analysis
资金
- National Social Science Foundation of China [17BQT086]
- National Key RAMP
- D Program of China [2019YFB1704100]
- National Seafloor Observatory System of China [2970000001/001/016]
Software system evolution is an active and important research topic in software engineering. In guiding software system evolution, software architecture plays a critical role. In the traditional software architecture, only the link information of components is considered, while the place information of components is usually neglected. However, due to the emerging mobile computing, pervasive computing, and intelligent computing, the place information is as important as the link information in the software architecture. Especially in mobile computing environments, the place changes often lead to changes in software configuration and functionality. In this paper, we study the Bigraph specification of software architecture and use it to describe both link and place information in detail. Based on Bigraph specification, we investigate the structural characteristics in the software architecture, and design checking algorithms for the component's link exceptions and place exceptions. Furthermore, we address the well-evolved software architecture from a new perspective, which includes three basic evolution operation rules and their well-evolved conditions. We discuss the overall software architecture evolution through strong and weak bi-simulation in terms of software functionality. Finally, two case studies about software system in the evolution operation are presented, which illustrate the effectiveness of our approach. (C) 2020 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据