Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Program
Résumé
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.