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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

4 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Ei tiedossa
Otsikko	Theoretical Aspects of Computing - ICTAC 2014
Toimittajat	Gabriel Ciobanu, Dominique Méry
Kustantaja	Springer
Sivut	133–150
ISBN (elektroninen)	978-3-319-10882-7
ISBN (painettu)	978-3-319-10881-0
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2014-09-17; 2014-09-19 - Bucharest, Romania Kesto: 17 syysk. 2014 → 19 syysk. 2014

Konferenssi

Konferenssi	conference; 2014-09-17; 2014-09-19
Ajanjakso	17/09/14 → 19/09/14

Viittausmuodot

@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 -