Modular consistency analysis of component-based designs
Date
2004
Authors
Jin, Y.
Lakos, C.
Esser, R.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
Journal of Research and Practice in Information Technology, 2004; 36(3):187-208
Statement of Responsibility
Yan Jin, Charles Lakos and Robert Esser
Conference Name
Abstract
In this article, we present a practical analysis approach that makes use of the modular nature of component-based designs to alleviate the state space explosion problem, a well-known obstacle to system verification. The key is to specify interaction protocols for components using a lightweight formal language and then to utilise these protocols as contracts for independent analysis of the components and their interactions. These protocols are often missing or informally documented. It is demonstrated how consistency properties of closed and open component-based designs can be verified using this divide-and-conquer approach.
School/Discipline
Dissertation Note
Provenance
Description
© 2004, Australian Computer Society Inc.