Journal
JOURNAL OF SYSTEMS AND SOFTWARE
Volume 83, Issue 5, Pages 723-744Publisher
ELSEVIER SCIENCE INC
DOI: 10.1016/j.jss.2009.11.709
Keywords
Software architecture; Model checking
Funding
- EU [231167]
- Italian PRIN
- Italian FIRB
- Natural Science Foundation of Jiangsu Province of China [BK2007513]
- National High Technology Research and Development Program [2008AA01Z113]
- National Natural Science Foundation of China [60773105]
- Program for New Century Excellent Talents in University [NCET-06-0466]
Ask authors/readers for more resources
Software architecture specifications are used for many different purposes, such as documenting architectural decisions, predicting architectural qualities before the system is implemented, and guiding the design and coding process. In these contexts, assessing the architectural model as early as possible becomes a relevant challenge. Various analysis techniques have been proposed for testing, model checking, and evaluating performance based on architectural models. Among them, model checking is an exhaustive and automatic verification technique, used to verify whether an architectural specification conforms to expected properties. While model checking is being extensively applied to software architectures, little work has been done to comprehensively enumerate and classify these different techniques. The goal of this paper is to investigate the state-of-the-art in model checking software architectures. For this purpose, we first define the main activities in a model checking software architecture process. Then, we define a classification and comparison framework and compare model checking software architecture techniques according to it. (C) 2009 Elsevier Inc. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available