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 \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 language | Undefined/Unknown |
|---|---|
| Title of host publication | Theoretical Aspects of Computing - ICTAC 2014 |
| Editors | Gabriel Ciobanu, Dominique Méry |
| Publisher | Springer |
| Pages | 133–150 |
| ISBN (Electronic) | 978-3-319-10882-7 |
| ISBN (Print) | 978-3-319-10881-0 |
| Publication status | Published - 2014 |
| MoE publication type | A4 Article in a conference publication |
| Event | conference; 2014-09-17; 2014-09-19 - Bucharest, Romania Duration: 17 Sept 2014 → 19 Sept 2014 |
Conference
| Conference | conference; 2014-09-17; 2014-09-19 |
|---|---|
| Period | 17/09/14 → 19/09/14 |