Megamodeling for software technologies

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.



Design and execution qualities in the 101companies project

I am visiting the Generative Software Development Lab in Waterloo.

Specifically, I am visiting and working with Krzysztof CzarneckiZinovy Diskin, and Thiago Tonelli Bartolomei.

Today, I was giving a lecture on 101companies and because it was part of Kryysztof's advanced software architecture / quality class, I focused on 101companies' execution and design qualities. This is an area of 101companies, like so many others, which are still under development. Hence, I closed my lecture with a kind request, which I also open up to others:

Request for help: Submit software quality-related feature proposals for 101companies. Each proposal should contain information like the following: a "headline" (<= 66 characters), a "description" (What's is it? How does it make sense for 101companies' HRMS?). Send your requests to gatekeepers@101companies.org. Do you have an implementation handy?


Slides: [.pdf]

Title: Design and execution qualities in the 101companies project


101companies (101companies.org) is a community project in computer science (or software science) with the objective of developing a free, structured, online knowledge resource including an open-source repository for different stakeholders with interests in software technologies, software languages, and technological spaces; notably: teachers and learners in software engineering or software languages as well as software developers, software technologists, and ontologists.

In this lecture, design and execution qualities with coverage by 101companies are discussed. The corresponding list of qualities is by no means complete; instead, it is driven by a more technology-centric point of view: certain popular technologies were to be covered and some emphasis was placed on the notion of technological spaces. Nevertheless or perhaps specifically as a result of such an approach, an original corpus of illustration for software qualities with semantically enriched, structured content is now available.

The audience is strongly encouraged to engage with the lecturer and the community project during and after the lecture. It is clear that 101companies can benefit from informed proposals and contributions on software qualities specifically.