Imperial College London
Alternate

ProfessorJeffKramer

Faculty of Engineering, Department of Computing

Honorary Emeritus Professor of Distributed Computing
 
 
 
//

Contact

 

j.kramer Website

 
 
//

Assistant

 

Mrs Bridget Gundry +44 (0)20 7594 1245

 
//

Location

 

571Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Cheung:1993:10.1145/256428.167071,
author = {Cheung, SC and Kramer, J},
doi = {10.1145/256428.167071},
pages = {115--125},
title = {Enhancing compositional reachability analysis with context constraints},
url = {http://dx.doi.org/10.1145/256428.167071},
year = {1993}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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 tiiis 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 the original subsystem in the subsequent steps of the compositional reachability analysis. Interface processes capturing context constraints can be specified by users or automatically constructed using a simple algorithm. The concepts in the paper are illustrated with a clients/server system.
AU  - Cheung,SC
AU  - Kramer,J
DO  - 10.1145/256428.167071
EP  - 125
PY  - 1993///
SP  - 115
TI  - Enhancing compositional reachability analysis with context constraints
UR  - http://dx.doi.org/10.1145/256428.167071
ER  -
Download