Imen Ismail and Faouzi Moussa, Manouba University, Tunisia

Ubiquitous systems require user to be dynamically and realtime informed in order to make his current activity increasingly easy. First, this paper presents and discusses a method to model the realtime interaction of the user with a ubiquitous system based on Petri-nets modelling technology. The goal deals with investigating dynamically the appropriate form of interaction depending on the context of the user. Thus, the interaction model structure should be dynamically improved with respect to the current and particular activity or goal of the user to better cope with his runtime requirements. This mechanism has been characterized as “models mutation”. Secondly, this paper proves the dynamic construction of models while basing on the dynamic composition of services. The ultimate purpose is to take advantage of the ontology of service written in OWL-S in order to describe the dynamic aspect of Petri-nets based models, especially, the realtime and automatic composition of such models. Simulation work has been conducted to validate the proposed approach

Petri-nets; Modelling; OWL-S; Model Mutation; Ubiquitous Interaction; Ubiquitous Environments