|
Maître
|
|
|
Premier jour
|
|
Séquence
|
Présenter le stage (structure, objectifs des séquences)
|
|
L'objectif de la modélisation logique
|
|
Qu'est-ce que la modélisation logique ? Comment trouver les services ?
|
Justifier la modélisation logique.
Questionnement sur la notion de service. Schéma de la démarche
|
|
Les termes de la modélisation logique
|
Se repérer dans la terminologie de l'urbanisation et de l'architecture logique.
Présentation argumentée des notions et illustration par les diagrammes du pj Règlements. Questionnaire.
|
|
La démarche
|
Comprendre la cohérence de la démarche Amos.
Positionnement de la modélisation Lq dans la démarche globale. Organisation des activités (négociation, dérivation, PRO2...).
|
|
L'architecture logique
|
|
Le graphe d'architecture logique
|
Pouvoir comprendre les décisions d'architecture logique.
Présentation des décisions (stratification, orchestration...). Exercices : possibilités et contraintes
déduites du graphe existant
|
|
L'urbanisation du SI
|
Adhérer à la démarche d'urbanisation
Magistral. Discussion : la portée du changement.
|
|
Les dispositifs logiques
|
Savoir utiliser les dispositifs transverses et en tenir compte dans la conception des services.
Contenu : codifications, identifiants, gestion des incidents, logique de l'information.
Présentation magistrale (exos dans séq. suivantes)
|
|
Les règles de dérivation à appliquer au modèle sémantique
|
Être capable de dériver le modèle sémantique pour peupler la strate "Métier".
Etude de cas : application des règles de dérivation sur un extrait du modèle sémantique.
|
|
Les structures de données
|
Être capable de concevoir et documenter les formats pivots.
Etude de cas : application des règles de dérivation sur un extrait du modèle sémantique.
|
|
La dérivation des automates à états
|
Être capable d'élaborer les automates du niveau logique.
Présentation des contraintes. Etude de cas : transformation d'un automate.
|
|
Deuxième jour
|
|
La dérivation du modèle pragmatique
|
|
Les règles de dérivation à appliquer au modèle pragmatique
|
Être capable de dériver le modèle sémantique pour peupler la strate "Organisation".
Etude de cas : application des règles de dérivation au dossier des cas d'utilisation.
|
|
Les automates à états des machines "Organisation"
|
Comprendre l'intérêt des automates de MLO et être capable de les concevoir.
À partir d'un automate de cas d'utilisation ou à partir des spécifications fonctionnelles.
|
|
La spécification logique détaillée
|
|
La spécification des services logiques
|
Être capable de spécifier un service en exprimant son contrat.
Les notions : signature, pré et post-conditions, lien avec l'automate. Exercices : sv élémentaires,
sv ensemblistes et requêtes.
|
|
La conception des services logiques
|
Être capable de concevoir un service en établissant son algorithme et en l'exprimant en pseudo-code.
Les règles pour l'algorithme : structure, événements. Le contenu du pseudo-code et les règles d'usage. Exercices.
|
