Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Refinement of Structured Inter...

Refinement of Structured Interactive Systems

Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu, Refinement of Structured Interactive Systems. In: Gabriel Ciobanu, Dominique Méry (Eds.), Theoretical Aspects of Computing - ICTAC 2014, Lecture Notes in Computer Science 8687, 133–150, Springer, 2014.

Abstract:

The refinement concept provides a formal tool for addressing the complexity of software-intensive systems, by verified stepwise development from an abstract specfication 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 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.

BibTeX entry:

@INPROCEEDINGS{inpDiPeSeSt14a,
  title = {Refinement of Structured Interactive Systems},
  booktitle = {Theoretical Aspects of Computing - ICTAC 2014},
  author = {Diaconescu, Denisa and Petre, Luigia and Sere, Kaisa and Stefanescu, Gheorghe},
  volume = {8687},
  series = {Lecture Notes in Computer Science},
  editor = {Ciobanu, Gabriel and Méry, Dominique},
  publisher = {Springer},
  pages = {133–150},
  year = {2014},
  keywords = {scenario-based refinement, interactive systems, integration of data flow and control flow, coordination programming languages, trace semantics, stuttering equivallence},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication