Refinement of Structured Interactive Systems

Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorge Stefanescu

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    4 Citations (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.
    Original languageUndefined/Unknown
    Title of host publicationTheoretical Aspects of Computing - ICTAC 2014
    EditorsGabriel Ciobanu, Dominique Méry
    ISBN (Electronic)978-3-319-10882-7
    ISBN (Print)978-3-319-10881-0
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2014-09-17; 2014-09-19 - Bucharest, Romania
    Duration: 17 Sept 201419 Sept 2014


    Conferenceconference; 2014-09-17; 2014-09-19

    Cite this