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

@article{Uchitel:2013:10.1007/s00450-012-0233-1,
author = {Uchitel, S and Alrajeh, D and Ben-David, S and Braberman, V and Chechik, M and De, Caso G and D'Ippolito, N and Fischbein, D and Garbervetsky, D and Kramer, J and Russo, A and Sibay, G},
doi = {10.1007/s00450-012-0233-1},
journal = {Computer Science - Research and Development},
pages = {279--293},
title = {Supporting incremental behaviour model elaboration},
url = {http://dx.doi.org/10.1007/s00450-012-0233-1},
volume = {28},
year = {2013}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - Behaviour model construction remains a difficult and labour intensive task which hinders the adoption of model-based methods by practitioners. We believe one reason for this is the mismatch between traditional approaches and current software development process best practices which include iterative development, adoption of use-case and scenario-based techniques and viewpoint- or stakeholder-based analysis; practices which require modelling and analysis in the presence of partial information about system behaviour. Our objective is to address the limitations of behaviour modelling and analysis by shifting the focus from traditional behaviour models and verification techniques that require full behaviour information to partial behaviour models and analysis techniques, that drive model elaboration rather than asserting adequacy. We aim to develop sound theory, techniques and tools that facilitate the construction of partial behaviour models through model synthesis, enable partial behaviour model analysis and provide feedback that prompts incremental elaboration of partial models. In this paper we present how the different research threads that we have and currently are developing help pursue this vision as part of the "Partial Behaviour Modelling - Foundations for Iterative Model Based Software Engineering" Starting Grant funded by the ERC. We cover partial behaviour modelling theory and construction, controller synthesis, automated diagnosis and refinement, and behaviour validation. © 2012 Springer-Verlag Berlin Heidelberg.
AU  - Uchitel,S
AU  - Alrajeh,D
AU  - Ben-David,S
AU  - Braberman,V
AU  - Chechik,M
AU  - De,Caso G
AU  - D'Ippolito,N
AU  - Fischbein,D
AU  - Garbervetsky,D
AU  - Kramer,J
AU  - Russo,A
AU  - Sibay,G
DO  - 10.1007/s00450-012-0233-1
EP  - 293
PY  - 2013///
SN  - 1865-2034
SP  - 279
TI  - Supporting incremental behaviour model elaboration
T2  - Computer Science - Research and Development
UR  - http://dx.doi.org/10.1007/s00450-012-0233-1
VL  - 28
ER  -
Download