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

https://dumas.ccsd.cnrs.fr/dumas-00636463
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy <>
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

Identifiers

  • HAL Id : dumas-00636463, version 1

Citation

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

Share

Metrics

Record views

246

Files downloads

171