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{Sibay:2012:10.1007/978-3-642-32759-9_33,
author = {Sibay, GE and Uchitel, S and Braberman, V and Kramer, J},
doi = {10.1007/978-3-642-32759-9_33},
pages = {403--417},
title = {Distribution of modal transition systems},
url = {http://dx.doi.org/10.1007/978-3-642-32759-9_33},
year = {2012}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - In order to capture all permissible implementations, partial models of component based systems are given as at the system level. However, iterative refinement by engineers is often more convenient at the component level. In this paper, we address the problem of decomposing partial behaviour models from a single monolithic model to a component-wise model. Specifically, given a Modal Transition System (MTS) M and component interfaces (the set of actions each component can control/monitor), can MTSs M 1..., M n matching the component interfaces be produced such that independent refinement of each M i will lead to a component Labelled Transition Systems (LTS) I i such that composing the I i s result in a system LTS that is a refinement of M? We show that a sound and complete distribution can be built when the MTS to be distributed is deterministic, transition modalities are consistent and the LTS determined by its possible transitions is distributable. © 2012 Springer-Verlag.
AU  - Sibay,GE
AU  - Uchitel,S
AU  - Braberman,V
AU  - Kramer,J
DO  - 10.1007/978-3-642-32759-9_33
EP  - 417
PY  - 2012///
SN  - 0302-9743
SP  - 403
TI  - Distribution of modal transition systems
UR  - http://dx.doi.org/10.1007/978-3-642-32759-9_33
ER  -
Download