Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications
type: Dataset
description: Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that support many manufacturing and daily life activities. For instance, industrial robots detect the changes of the working environment in the factory to adapt their operations to the requirements. Automotive control systems may observe other vehicles, detect obstacles, and monitor the essence level or the air quality in order to warn the drivers in case of emergency. Another example is power-aware embedded systems that need to work based on current power/energy availability since power consumption is an important issue. Those kinds of systems can also be considered as smart applications. In practice, successful implementation and deployment of context-aware systems depend on the mechanism to recognize and react to variabilities happening in the environment. In other words, we need a well-defined and efficient adaptation approach so that the systems' behavior can be dynamically customized at runtime. Moreover, concurrency should be exploited to improve the performance and responsiveness of the systems. All those requirements, along with the need for safety, dependability, and reliability pose a big challenge for developers.In this thesis, we propose a novel programming language called INI, which supports both event-based and rule-based programming paradigms and is suitable for building concurrent and context-aware reactive applications. In our language, both events and rules can be defined explicitly, in a stand-alone way or in combination. Events in INI run in parallel (synchronously or asynchronously) in order to handle multiple tasks concurrently and may trigger the actions defined in rules. Besides, events can interact with the execution environment to adjust their behavior if necessary and respond to unpredictable changes. We apply INI in both academic and industrial case studies, namely an object tra…
identifier: NNT: 2013CNAM0883
issued: 2026-05-06T04:48:01.838436
language: en
modified: 2026-05-06T04:48:01.838441
contact point: Organization
  fn: CCSD
keyword: analyse-statique
keyword: applications-sensibles-au-contexte
keyword: concurrent-programming
keyword: context-aware-pervasive-computing
keyword: embedded-programming
keyword: event-based-programming
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-aucomputer-science-csautomatic-control-engineering
keyword: infoinfo-escomputer-science-csembedded-systems
keyword: model-checking
keyword: programmation-a-base-de-regles
keyword: programmation-concurrente
keyword: programmation-de-robots
keyword: programmation-embarquee
keyword: programmation-evenementielle
keyword: robot-programming
keyword: rule-based-programming
keyword: smart-computing
keyword: static-analysis
keyword: theses
keyword: verification-and-validation
keyword: verification-et-validation
landing page: https://theses.hal.science/tel-00953368

Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications
type: Distribution
format: HTML
issued: 2026-05-06T04:48:01.878683
modified: 2026-05-06T04:48:01.806220
access URL: https://theses.hal.science/tel-00953368

test_moissonnage_selune
type: Agent