Petri Net Modeling Dynamic Context of ambient

Systems

 

 

 

 

 

 

Sahnoun Ali

Software and Information Technology department LIRE Laboratory, Constantine 2 University Constantine, Algeria

Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.


Maamri Ramdane

Software and Information Technology Department LIRE Laboratory, Constantine 2 University Constantine, Algeria

Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.

 

 

 

 

Abstract—An   ambient   System   is   a   network   of   tools   and equipment that interacts to fulfill someone needs. This equipment should respect the context in which they act. In order to correctly fulfill their functions, we need to specify these contexts. In this paper, we propose a new approach that allows 1) to model the ambient systems as a multi agent systems, and 2) to model both local context of each component and the global context of the ambient systems. The context is modeled using petri nets to formally verify and validate the system operations.

 

Keywords-component; Ambient Systems, Multi Agent Systems, Local context, Global Context, Petri

 

I.       Introduction

 

The progress of the current computer leads ubiquitous computing where each object in the environment plays the role of a sensor unit, calculator or communication. However, the number and variety of smart devices raise concerns about the amount of time and attention that users must spend to interact.

 Ambient intelligence (AMI) transforms a system to a network of intelligent sensors and devices in the environment acting as  a  global interface between users  and  information systems. [1]

 Modeling the Dynamic context of ambient systems is to represent the different states possible that our system can meet and factors causing these changes

Related   works   are   almost   based   of   functional   and behavioral decomposition of context, which causes the loss of some properties of context such as the relationship between states and events. Other work has not supported dynamicity in function of time.

 

In this paper we are trying to overcome these deficiencies. In section 2, we introduce ambient systems and their context. Section  3  presents  the  different  approaches  of  modeling ambient systems and context. In section 4, we describe our approach to model the ambient systems and context. This approach is based on multi agent systems and petri Nets. The section 5, we try to describe our approach thru an example. We conclude this work by a discussion and giving some perspectives.

 

 

télécharger l'article