Paper
A Web Services-Based Learning System: from Modelling to Implementation
- Authors:
- Ahmed Nait-Sidi-Moh; Jaafar Gaber; Maxime Wack
- Abstract
- This paper deals with the specification, modelling and implementation of a pedagogic information system. In this context, a pervasive e-learning application is developed and its behaviour is described using a formal-based model. The application is mainly based on the cooperative navigation into pervasive environments, and using Web information spaces. The proposed modelling approach, in this paper, is based on Petri nets. This graphical tool has been used as a powerful graphical modelling language during the three last decades. The analysis techniques and mathematical background they propose allow graphical and analytical verification and validation of many relevant properties of systems’ behaviour. Their powerful modelling allows a graphical description including various phenomena such as synchronization, parallelism, concurrency and resource sharing. The models and associated results, we develop in this paper, point out a very clear trade-off between expressive power, analysability and model consistency. After the modelling and analysis phase, the application is implemented and deployed on a specific platform. This implementation is started with a conceptual analysis study. Then, Java technologies, XML language and Oracle data base are used to design the application.
- Keywords
- E-learning System; Cooperative Web-Navigation; Web Services; Petri Nets; Modelling and Evaluation; Implementation
- StartPage
- 30
- EndPage
- 38
- Doi