Please use this identifier to cite or link to this item:
Type: Journal article
Title: Modular consistency analysis of component-based designs
Author: Jin, Y.
Lakos, C.
Esser, R.
Citation: Journal of Research and Practice in Information Technology, 2004; 36(3):187-208
Publisher: Australian Computer Soc Inc
Issue Date: 2004
ISSN: 1443-458X
Statement of
Yan Jin, Charles Lakos and Robert Esser
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.
Description: © 2004, Australian Computer Society Inc.
Published version:
Appears in Collections:Aurora harvest 7
Computer Science publications

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

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