Skip to Main content Skip to Navigation
Conference papers

An Activity Description Language for Activity Recognition

Abstract : Activity recognition aims at recognizing and understanding the movements, actions, and objectives of mobile objects. These objects can be humans, animals, or simple artefacts. Many important and critical applications such as surveillance or health care require some form of (human) activity recognition. Existing languages can be used to describe models of activities, but they are difficult to master by non computer scientists (ex: doctors). In this paper, we present a new language dedicated to end users, to describe their activities. We call it ADeL (Activity Description Language). This language is intended to be part of a complete recognition system. Such a system has to be real time, reactive, correct, and dependable. We choose the synchronous approach because it respects these characteristics, it ensures determinism and safe parallel composition, and it allows verification of systems using model-checking. Relying on the synchronous approach, we supply our language with two complementary formal semantics and we provide it with two formats: textual and graphical. This paper focuses on the description of the ADeL language.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Ines Sarray <>
Submitted on : Wednesday, April 11, 2018 - 10:45:18 AM
Last modification on : Monday, October 12, 2020 - 10:30:51 AM


Files produced by the author(s)


  • HAL Id : hal-01649674, version 1


Ines Sarray, Annie Ressouche, Sabine Moisan, Jean-Paul Rigault, Daniel Gaffé. An Activity Description Language for Activity Recognition. IINTEC 2017 - IEEE International Conference on Internet of Things, Embedded Systems and Communications, Oct 2017, Gafsa, Tunisia. pp.6. ⟨hal-01649674v1⟩



Record views


Files downloads