Refinement of Structured Interactive Systems

Denisa Diaconescu; Luigia Petre; Kaisa Sere; Gheorge Stefanescu

Refinement of Structured Interactive Systems

Denisa Diaconescu
, Luigia Petre
, Kaisa Sere
, Gheorge Stefanescu

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

4 Citeringar (Scopus)

Sammanfattning

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.

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Theoretical Aspects of Computing - ICTAC 2014
Redaktörer	Gabriel Ciobanu, Dominique Méry
Förlag	Springer
Sidor	133–150
ISBN (elektroniskt)	978-3-319-10882-7
ISBN (tryckt)	978-3-319-10881-0
Status	Publicerad - 2014
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2014-09-17; 2014-09-19 - Bucharest, Romania Varaktighet: 17 sep. 2014 → 19 sep. 2014

Konferens

Konferens	conference; 2014-09-17; 2014-09-19
Period	17/09/14 → 19/09/14

Citera det här

@inproceedings{fa8ce2cf491840d6973be3335ed0ef0c,

title = "Refinement of Structured Interactive Systems",

abstract = "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 \textbackslash{}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.",

author = "Denisa Diaconescu and Luigia Petre and Kaisa Sere and Gheorge Stefanescu",

year = "2014",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-10881-0",

pages = "133–150",

editor = "Gabriel Ciobanu and Dominique M{\'e}ry",

booktitle = "Theoretical Aspects of Computing - ICTAC 2014",

publisher = "Springer",

note = "conference; 2014-09-17; 2014-09-19 ; Conference date: 17-09-2014 Through 19-09-2014",

}

TY - GEN

T1 - Refinement of Structured Interactive Systems

AU - Diaconescu, Denisa

AU - Petre, Luigia

AU - Sere, Kaisa

AU - Stefanescu, Gheorge

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

M3 - Publicerad konferensartikel

SN - 978-3-319-10881-0

SP - 133

EP - 150

BT - Theoretical Aspects of Computing - ICTAC 2014

A2 - Ciobanu, Gabriel

A2 - Méry, Dominique

PB - Springer

T2 - conference; 2014-09-17; 2014-09-19

Y2 - 17 September 2014 through 19 September 2014

ER -