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 |