Refinement of Structured Interactive Systems

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorge Stefanescu
Editors: Gabriel Ciobanu, Dominique Méry
Publication year: 2014
Publisher: Springer
Book title: Theoretical Aspects of Computing - ICTAC 2014
Title of series: Lecture Notes in Computer Science
Volume number: 8687
Start page: 133
End page: 150
ISBN: 978-3-319-10881-0
eISBN: 978-3-319-10882-7
ISSN: 0302-9743


The refinement concept provides a formal tool for addressing the complexity of software-intensive systems, by verified stepwise development from an abstract specification towards an implementation. In this paper we propose a novel notion of refinement for a structured formalism dedicated to interactive systems, that combines a data-flow with a control-oriented approach. Our notion is based on \emph{scenarios}, extending to two dimensions the trace-based definition for the refinement of classical sequential systems. We illustrate our refinement notion with a simple example and outline several extensions to include more sophisticated distributed techniques.

Last updated on 2020-07-04 at 07:42