Skip to Main content Skip to Navigation
Conference papers

Designing, developing and verifying interactive components iteratively with djnn

Abstract : Introducing iterative user interface design methods into the development processes of safety-critical software creates technical and methodological challenges. This article describes a new programming paradigm aimed at addressing some of these challenges: interaction-oriented programming. In this paradigm any piece of software consists of a hierarchical collection of components that can interact among themselves and with their environment, and its execution consists in propagating activation through interactions between components. We first describe the principles of interaction-oriented programming, and illustrate them by describing the basic components provided by the djnn programming framework to create interactive software. We then show how interactive programming provides a basis for formulating and checking properties that capture requirements on interactive components. The rest of the article is dedicated to example design and development scenarios that illustrate how development environments could leverage interactive programming in the future so as to jointly address the requirements of modern user interface design and safety-critical software development .
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Marc Boyer <>
Submitted on : Tuesday, March 22, 2016 - 5:41:56 PM
Last modification on : Thursday, December 17, 2020 - 7:12:04 PM
Long-term archiving on: : Monday, November 14, 2016 - 2:34:07 AM


Files produced by the author(s)


  • HAL Id : hal-01292291, version 1



Stéphane Chatty, Mathieu Magnaudet, Daniel Prun, Stéphane Conversy, Stéphanie Rey, et al.. Designing, developing and verifying interactive components iteratively with djnn. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01292291⟩



Record views


Files downloads