Refinement of Structured Interactive Systems

Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorge Stefanescu

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    4 Sitaatiot (Scopus)


    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äiskieliEi tiedossa
    OtsikkoTheoretical Aspects of Computing - ICTAC 2014
    ToimittajatGabriel Ciobanu, Dominique Méry
    ISBN (elektroninen)978-3-319-10882-7
    ISBN (painettu)978-3-319-10881-0
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2014-09-17; 2014-09-19 - Bucharest, Romania
    Kesto: 17 syyskuuta 201419 syyskuuta 2014


    Konferenssiconference; 2014-09-17; 2014-09-19