Skip to Main content Skip to Navigation
Master Thesis

Formal and tool-supported operator for multi-formalism modelling

Abstract : 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.
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy Connect in order to contact the contributor
Submitted on : Thursday, October 27, 2011 - 3:15:02 PM
Last modification on : Monday, February 15, 2021 - 10:37:44 AM
Long-term archiving on: : Thursday, November 15, 2012 - 10:46:49 AM


  • HAL Id : dumas-00636463, version 1


Jonathan Marchand. Formal and tool-supported operator for multi-formalism modelling. Software Engineering [cs.SE]. 2011. ⟨dumas-00636463⟩



Record views


Files downloads