Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01126209
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:45:51 AM
Last modification on : Saturday, February 9, 2019 - 1:24:10 AM

Identifiers

  • HAL Id : hal-01126209, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

75