Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/1348
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 Responsibility: | 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: | http://www.jrpit.acs.org.au/jrpit/JRPITVolumes/JRPIT36/JRPIT36.3.187.pdf |
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.