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

摘要

We propose a new programming language called INI, which combines both event-based and rule-based styles and is suitable for building concurrent and context-aware reactive applications. In our language, both events and rules can be defined intuitively and explicitly, in a stand-alone way or in combination. Events in INI can run in parallel in order to handle multiple tasks concurrently and may trigger actions defined in related rules. Besides, events can interact with the execution environment to adjust their behaviors if necessary and response to unpredicted changes. This makes INI a convenient language to write many kinds of programs which need to take advantages of concurrency and context-awareness, such as embedded software, interactive applications, sensors applications, robotic systems, etc.