Modeling and implementation of a pervasive e-learning application

In this paper, we present a modeling approach of a pervasive e-learning application based on high-level Petri Nets. This graphical tool has been used as a powerful graphical modeling language during the three last decades. Their mathematical analysis techniques allow an analytical verification of many relevant properties of systems´ behavior. Their powerful modeling allows a graphical description including various phenomena such as synchronization, parallelism and concurrency. The proposed model and the associated results, in this paper, point out a very clear trade-off between expressive power, analyzability and model consistency. The second contribution of the paper consists in the implementation of the application. This implementation is started with a conceptual analysis study. Then, Java technologies, XML language and Oracle data base are used to design the application.