Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
4-2008
Abstract
Software Architecture represents the high level description of a system in terms of components, external properties and communication. Despite its importance in the software engineering process, the lack of formal description and verification support limits the value of developing architectural models. Automated formal engineering methods can provide an effective means to precisely describe and rigorously verify intended structures and behaviors of software systems. In this paper, we present an approach to support the design and verification of software architectural models using the Alloy analyzer. Based on our earlier work, we propose a fundamental library for specifying system structures in terms of different architectural styles. We illustrate use of the architecture style library in modeling and verifying a complex system that utilizes multi-style structures. To promote scalability, we use model decomposition to parallelize the verification process. Results show that our approach enhances the performance of verifying models significantly.
Discipline
Programming Languages and Compilers | Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, Northern Ireland, March 31 - April 4
First Page
25
Last Page
34
ISBN
9780769531397
Identifier
10.1109/ICECCS.2008.16
Publisher
IEEE
City or Country
Belfast, Northern Ireland
Citation
WONG, Stephen; SUN, Jing; WARREN, Ian; and SUN, Jun.
A scalable approach to multi-style architectural modeling and verification. (2008). Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, Northern Ireland, March 31 - April 4. 25-34.
Available at: https://ink.library.smu.edu.sg/sis_research/5047
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1109/ICECCS.2008.16