Une interprétation fonctionnelle de l'IDM

摘要

L'article propose une description fonctionnelle des (méta)modèles et des transformations utilisés par l'ingénierie dirigée par les modèles (IDM). Plus précisément, il montre comment les concepts de foncteur et de transformation naturelle, issus de la théorie des catégories, permettent d'associer une équation à un (méta)modèle ou une transformation. Cette formalisation des concepts IDM est utilisée alors pour établir formellement des équivalences. L'article introduit aussi le concept de monade pour exprimer plus facilement certaines transformations (de graphes). Il offre ainsi un point de vue particulier sur l'IDM qui présente l'avantage de pouvoir raisonner à la fois sur les (méta)modèles et les transformations.