I am visiting Zinovy Diskin and Tom Maibaum at the Department of Computing and Software at McMaster University to get some work going on patterns of bidirectional transformations (BX), which we started at CSXW 2011, satellite event at GTTSE 2011. I am not going to say more, though, about BX here. Instead, I would like to make an announcement of the talk at McMaster. Not too much surprisingly, I am going to speak about megamodeling. As it happens or just in time, the megamodeling paper by Jean-Marie Favre, Andrei Varanovich, and me has been accepted for MODELS 2012.
Title: Megamodeling for software technologies
Abstract: The term of megamodeling has arisen specifically in the MDE context as referring to a form of modeling at the macroscopic level such that the model elements in megamodels would be models themselves, e.g., metamodels, conformant models, and transformation models. A more general notion of megamodeling takes shape, when we go beyond MDE, i.e., when we generalize the scope to arbitrary software technologies and languages. For instance, the notion of model generalizes to the notion of artifact; the notion of metamodel generalizes to the notion of artifact for which to relate to in a conformance relationship; the notion of transformation model generalizes to the notion of an artifact that implements a function on artifacts. Further, the notions of language and technologies are vital for a general notion of megamodeling. In this talk, we present a general notion of megamodeling, as it is embodied by the MegaL language, as it is utilized within the 101companies Project, and as it has been validated for Object/Relational/XML mapping technologies.
Bio: see here.
Acknowledgment: MegaL is joint work with Jean-Marie Favre and Andrei Varanovich. MegaL is part of the 101companies Project, which is community project involving many contributors. As far as the subject of the talk is concerned, thanks are due to Martin Leinberger, Marius Rackwitz, and Thomas Schmorleiz.