User Requirements Deduction in a Pervasive Environment

In a pervasive environment, user is in front of an enormous amount of information and heterogeneous contents. Thus, he could see on his interface varied information. However, at some moment, user could need certain information and find the others completely useless: this choice depends necessarily on his preferences and his individual requirements. In this paper we present a model-based approach for User Requirements (UR) deduction by using Petri-Nets (PN) generation technology. This deduction is mainly based on the current context of use involving the user´s task.