L’objectif de cette matière est de faire découvrir à l’étudiant les services web ; comment les concevoir, les réaliser et les orchestrer. Ces services web sont devenus les éléments de base dans la réalisation des projets web.
Contenu de la matière :
Chapitre 1 : Principes des AOS
Chapitre 2 : Composants des AOS
Chapitre 3 : Types des services dans les aos
Chapitre 4 : Concepts de bases et principes de fonctionnement des services Web
Chapitre 5 : Composition des des services Web
Chapitre 6 : Développement des services Web
Mode d’évaluation :
67 % Examen + 33 % interrogations
- Enseignant: Mohamed Lamine Kerdoudi
Ce cours traite les modèles de réseaux de Petri de haut niveau. Les étudiants ont déjà vu les RdP de bas niveau dans une matière présenté dans le S2 du master 1. L'objectif est donc d'explorer des modèles plus avancés avec une expressivité plus importante. Le cours va examiner les modèles suivants:
1) les réseaux de Petri colorés
2) les réseaux de Petri colorés, temporisés, et hiérarchiques
3) les réseaux de Petri temporisés
4) les réseaux de Petri temporels
5) d'autres modèles avancés: stochastiques, reconfigurables, etc.
- Enseignant: Laid Kahloul
Ce cours traite les systèmes mobiles qu'ils soient logiciels ou matériels. Il s'agit de voir les formalismes qui peuvent spécifier et vérifier de tels systèmes. Le cours englobes les sections suivantes:
1) Introduction informelle au systèmes mobiles
2) les algèbres de processus comme formalisme pour les systèmes mobiles
4) le CCS, le pi-calcul et le HO-p-caclul
- Enseignant: Laid Kahloul