Loading...
Please wait, while we are loading the content...
Similar Documents
Enhancing Compositional Reachability Analysis with Context Constraints (1993)
| Content Provider | CiteSeerX |
|---|---|
| Author | Cheung, S. C. Kramer, J. |
| Description | Compositional techniques have been proposed for traditional reachability analysis in order to introduce modularity and to control the state explosion problem. While modularity has been achieved, state explosion is still a problem. Indeed, this problem may even be exacerbated as a locally minimised subsystem may contain many states and transitions forbidden by its context or environments. This paper presents a method to alleviate this problem effectively by including context constraints in local subsystem minimisation. The global behaviour generated using the method is observationally equivalent to that generated by compositional reachability analysis without the inclusion of context constraints. Context constraints, specified as interface processes, are restrictions imposed by the environment on subsystem behaviour. The minimisation produces a simplified machine that describes the behaviour of the subsystem constrained by its context. This machine can also be used as a substitute for t... |
| File Format | |
| Language | English |
| Publisher Date | 1993-01-01 |
| Publisher Institution | PROCEEDINGS OF THE FIRST ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING |
| Access Restriction | Open |
| Subject Keyword | State Explosion Local Subsystem Minimisation Simplified Machine Context Constraint Subsystem Behaviour Compositional Technique Many State Global Behaviour Interface Process Traditional Reachability Analysis Compositional Reachability Analysis State Explosion Problem |
| Content Type | Text |
| Resource Type | Article |
