Génie Logiciel & Méthodes de Développement

Ingénierie Avancée des Modèles

  

Profil Intervenant(s)
100x100

-
d'Experience
Spécialités


100x100

-
d'Experience


Spécialités





      A partir du  11-01-2021 à 10:00



        5 J 

        Formation hybride Cours théorique à distance sur la plateforme youcan-academy.com, et travaux pratiques en présentiel
Inscrivez-vous à la prochaine session

Appelez vos conseillers
06 49 99 11 00
06 64 16 75 10

Objectifs de la formation

Ce module a pour vocation de doter l’étudiant de base solide en ingénierie avancée des modèles. L’accent est mis dans un premier temps sur la modélisation des processus. L’ingénierie des systèmes complexes avec SysML sera présentée via ces différents diagrammes dans un deuxième temps. Par la suit ... mps. Par la suite, les différentes méthodes de spécifications formelles sont passées en revue. Le langage de modélisation SoaML sera aussi mis en valeur avant de terminer le cours par l’approche de modélisation générique MDA. A l’issue de ce module, l’étudiant sera armé de plusieurs outils avancés d’ingénierie qui lui permettent de s’adapter avec n’importe quel projet logiciel. Voir Plus

Prérequis


Bonne connaissance de UML

Ingénierie des Processus


• Rappel MCT et diagramme d’activités • Modélisation avec BPMN

SysML


• Présentation SysML • diagrammes de description fonctionnelle _diagramme des cas d'utilisation _ diagramme des exigences _diagramme de contexte • diagrammes de description structurelle _diagramme de définition des bocks _diagramme de block interne _diagramme paramétrique _diagramme de pack ... Voir Plus

Les méthodes formelles


• Spécification à base de modèles • Algèbre de processus. • Analyse formelle des spécifications • Méthode relationnelle inductive/relationnelle _ La méthode boîte noire par entités _La méthode B _ La méthode des assertions de traces _O.C.L. (Object Constraint Language) • Correction et preuve ... Voir Plus

SoaML


• SoaML : Concepts et principes • Modèles de capacité • SoaML profil et métamodèle • Architecture Orientée Service _ Contrat de service _ Interface de service _ Modèles de comportement _ Chorographie • Collaboration _ Port de Service et Port de Requête _Les Connecteurs Service/Requête • T ... Voir Plus

Approche MDA


• Processus et Standards MDA • La méta-modélisation • Les transformations de modèles PIM, PSM et CIM • Modèles et exécution • Outils MDA

Atelier TD/TP


• Modélisation des Processus avec Enterprise Architect • Etude de cas avec quelques diagrammes sysML • Quantification sur des ensembles • Opérations sur les collections • Modélisation conceptuelle • Spécification des requêtes • Spécification des contraintes • Expressions régulières et automat ... Voir Plus

  Introduction à DEVOPS

  Software Engineering

© Copyright All Rights Reserved 2020 | Developed By : Team Formations++