Refinement of Structured Interactive Systems

A4 Konferenspublikationer

Interna författare/redaktörer

Publikationens författare: Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorge Stefanescu
Redaktörer: Gabriel Ciobanu, Dominique Méry
Publiceringsår: 2014
Förläggare: Springer
Moderpublikationens namn: Theoretical Aspects of Computing - ICTAC 2014
Seriens namn: Lecture Notes in Computer Science
Volym: 8687
Artikelns första sida, sidnummer: 133
Artikelns sista sida, sidnummer: 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.

Senast uppdaterad 2020-19-01 vid 03:32