Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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 [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01649674
Contributor : Ines SARRAY Connect in order to contact the contributor
Submitted on : Wednesday, April 11, 2018 - 11:52:57 AM
Last modification on : Saturday, June 25, 2022 - 11:29:53 PM

File

IINTEC_vf.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01649674, version 2

Collections

Citation

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-01649674v2⟩

Share

Metrics

Record views

297

Files downloads

195