Refinement of Structured Interactive Systems

Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorge Stefanescu

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer 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åkOdefinierat/okänt
    Titel på gästpublikationTheoretical Aspects of Computing - ICTAC 2014
    RedaktörerGabriel Ciobanu, Dominique Méry
    FörlagSpringer
    Sidor133–150
    ISBN (elektroniskt)978-3-319-10882-7
    ISBN (tryckt)978-3-319-10881-0
    StatusPublicerad - 2014
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2014-09-17; 2014-09-19 - Bucharest, Romania
    Varaktighet: 17 sep 201419 sep 2014

    Konferens

    Konferensconference; 2014-09-17; 2014-09-19
    Period17/09/1419/09/14

    Citera det här