Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Program

Giang Le Truong (1) , Olivier Hermant (2) , Matthieu Manceny (1) , Renaud Pawlak (3) , Renaud Rioboo (3)

1 Klinikum Ernst von Bergmann
2 Radiology Center Roth & Weissenburg
3 CEDRIC - Centre d'études et de recherche en informatique et communications

We introduce INICheck, a translation tool from a new programming language called INI, which combines both rule-based and event-based programming styles into Promela, the language of the model-checker SPIN. INI allows the definitions of rules that can be triggered by events, that are implemented in a multithreaded way. This makes it suitable for many types of applications such as embedded applications and self-adaptive software. Moreover, by using INICheck, programmers can verify constraints, which need to be satisfied in their INI programs.

Domaines: Informatique [cs]; Langage de programmation [cs.PL]

Giang Le Truong, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo. Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Program. International Conference on Software Paradigm Trends, Jul 2012, Rome, Italy. pp.347-350. ⟨hal-01126209⟩