Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICECCS.2008.16
Title: A scalable approach to multi-style architectural modeling and verification
Authors: Wong, S.
Sun, J.
Warren, I.
Sun, J. 
Issue Date: 2008
Citation: Wong, S., Sun, J., Warren, I., Sun, J. (2008). A scalable approach to multi-style architectural modeling and verification. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 25-34. ScholarBank@NUS Repository. https://doi.org/10.1109/ICECCS.2008.16
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. © 2008 IEEE.
Source Title: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
URI: http://scholarbank.nus.edu.sg/handle/10635/41537
ISBN: 0769531393
DOI: 10.1109/ICECCS.2008.16
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

15
checked on Dec 11, 2018

WEB OF SCIENCETM
Citations

2
checked on Dec 3, 2018

Page view(s)

67
checked on Dec 8, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.