DMCA
Compositional Minimization of Finite State Systems (1991)
| Venue: | IN PROC. 2ND INTERNATIONAL CONFERENCE OF COMPUTER-AIDED VERIFICATION |
| Citations: | 41 - 0 self |
BibTeX
@INPROCEEDINGS{Graf91compositionalminimization,
author = {Susanne Graf and Bernhard Steffen},
title = {Compositional Minimization of Finite State Systems},
booktitle = {IN PROC. 2ND INTERNATIONAL CONFERENCE OF COMPUTER-AIDED VERIFICATION},
year = {1991},
pages = {186--196},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper we develop a compositional method for the construction of the minimal transition system that represents the semantics of a given reactive system. The point of this method is that it exploits structural properties of the reactive system in order to avoid the consideration of large intermediate representations. Central is the use of interface specifications here, which express constraints on the components' communication behaviour, and therefore to control the state explosion caused by the interleavings of actions of communicating parallel components. The effect of the method, which is developed for bisimulation semantics here, depends on the structure of the reactive system under consideration, in particular on the accuracy of the interface specifications. However, its correctness does not: every "successful" construction is guaranteed to yield the desired minimal transition system, independently of the correctness of the interface specifications provided by the designer.
Keyphrases
finite state system compositional minimization reactive system interface specification minimal transition system successful construction structural property desired minimal transition system large intermediate representation parallel component communication behaviour compositional method state explosion bisimulation semantics
