Formal Modeling IoT Systems on the Basis of BiAgents* and Maude
Autor: | MARIR, Souad, Faiza, Belala, Nabil, Hameurlain, Souad, St |
---|---|
Přispěvatelé: | Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA), LIRE laboratory, Constantine, University of Constantine, Laboratoire d'Informatique Répartie [Algérie] (LIRE), Université de Constantine 2 Abdelhamid Mehri [Constantine] |
Jazyk: | angličtina |
Rok vydání: | 2020 |
Předmět: |
Structure (mathematical logic)
Maude 020203 distributed computing IoT BiAgents Basis (linear algebra) Computer science business.industry Formalism (philosophy) Context (language use) 02 engineering and technology ENCODE 0202 electrical engineering electronic engineering information engineering Formalism 020201 artificial intelligence & image processing Collision avoidance system [INFO]Computer Science [cs] State (computer science) Internet of Things business Software engineering |
Zdroj: | 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE) 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, Algeria. pp.1-7, ⟨10.1109/ICAASE51408.2020.9380126⟩ ICAASE |
DOI: | 10.1109/ICAASE51408.2020.9380126⟩ |
Popis: | International audience; The Internet of Things is an emerging worldwide ecosystem in which smart devices interact to build smart homes, smart cities, etc. In such context, plethora of research efforts are oriented to networking and devices; analyzing and formalizing IoT systems are still in their earliest state. In this paper, we propose a BiAgents* (Bigraphical Agents) model to provide a formal description for IoT systems structure and behavior. In addition, we encode the BiAgents* specification into Maude language to enable an autonomic execution of the IoT systems' behaviors. The proposed approach is illustrated and evaluated through an example (an intelligent case of collision avoidance system). |
Databáze: | OpenAIRE |
Externí odkaz: |