Designing, developing and verifying interactive components iteratively with djnn - Archive ouverte HAL Access content directly
Conference Papers Year :

Designing, developing and verifying interactive components iteratively with djnn

Mathieu Magnaudet
  • Function : Author
  • PersonId : 957733
Daniel Prun
  • Function : Author
  • PersonId : 947486
Stéphanie Rey
Mathieu Poirier
  • Function : Author
  • PersonId : 972012


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 .
Fichier principal
Vignette du fichier
paper_89.pdf (289.63 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01292291 , version 1 (22-03-2016)


  • 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⟩


210 View
240 Download


Gmail Facebook Twitter LinkedIn More