Formal and tool-supported operator for multi-formalism modelling - DUMAS - Dépôt Universitaire de Mémoires Après Soutenance Accéder directement au contenu
Mémoires Année : 2011

Formal and tool-supported operator for multi-formalism modelling

Résumé

We propose, in this master internship report, a unified formal framework for model composition. Indeed, there are various operators of model composition de fined each in its own framework. Defining a unified framework for model composition allows to compare them, to reuse them and to capitalize knowledge. Defining a formal framework allows to consider the system that these compositions represent in its entirety. This framework is built through category theory and the notion of pushout. More precisely, a category of models is defined, and the pushout construction in this category described. Then, this pushout is used to formalize several model composition operators, including model merge, model transformation and aspect weaving.
Fichier principal
Vignette du fichier
Marchand.pdf (630.49 Ko) Télécharger le fichier
Loading...

Dates et versions

dumas-00636463 , version 1 (27-10-2011)

Identifiants

  • HAL Id : dumas-00636463 , version 1

Citer

Jonathan Marchand. Formal and tool-supported operator for multi-formalism modelling. Software Engineering [cs.SE]. 2011. ⟨dumas-00636463⟩
100 Consultations
73 Téléchargements

Partager

Gmail Facebook X LinkedIn More