La spécification Incrémentale des systémes a base de composants - Approche dirigée par les modéles

Abstract

Le présent s'inscrit dans le domaine de l'ingénierie dirigée par les modéles (IDM) et exactement sur la piste de transformation de modéles. cette transformation se base sur la méta-modélisation que nous avons utilisée pour définir les méta-modéles de diagrammes de définition de bloc (BBD) et de réseau du petré coloré(RPC) en se basant sur (EMF) . aprés nous avons utilisée ces méta-modéles pour construire les éditeurs graphiques pour les BBDs et les RPCs. pour générer ces derniéres, nous avons utilisée GMF. dans ce travail, pour assurer la composistion architecturelle et comportementale des blocs SysML,nous avons fait appel a ATL, (Atlas transformation langauage). cette composition nous permet d'avoir l'architecture et le comportement global de partie du systéme qu'on vous construire.