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.

Resources:

Comments

  1. Jacques CaretteJune 19, 2012 at 1:26 AM

    When exactly? I have not seen an announcement of this talk at Mac (yet).

    ReplyDelete
  2. Ralf LämmelJune 19, 2012 at 4:38 AM

    I believe it's going to be announced for Wednesday or it hereby is :-)

    ReplyDelete
  3. Jacques CaretteJune 19, 2012 at 11:08 PM

    It has just been announced for Thursday... and I am not at Mac on Thursday (although I will be there Wednesday).

    ReplyDelete

Post a Comment

Popular posts from this blog

SWI-Prolog's Java Interface JPL

I would like to mix Java and Prolog code on a number of occasions. Together with a student of mine (Joachim Pehl), we just convinced ourselves that the JPL library of SWI-Prolog is really cool. Basically JPL allows you to call Prolog from Java and Java from Prolog. But the question is, of course, how easy is it and can you easily go back and forth . For instance, can we call Prolog from Java and call back Java from Prolog and share Java state throughout? Sure it works! PROLOG PORTION FOLLOWS % This library is all we need to call Java from Prolog :- ensure_loaded(library(jpl)). main :- % Create an object jpl_new(class([],['Test']), [], X), % Printing objects is like printing object ids write(X),nl, % Access a field of the object; happens to be static jpl_get(X, state, Y), % Prints whatever the state's value is write(Y),nl. JAVA PORTION FOLLOWS // This jar is all we need to call Prolog from Java import jpl.*; public class Test { public static int state = 0;
Read more

Software Engineering Teaching Meets LLMs

Software Engineering Teaching Meets LLMs Context: On 2023-05-26 I attended the  VERSEN  event  SEN Classrooms (26 May 2023) . (What is VERSEN? I quote from the VERSEN website: VERSEN is " the Dutch National Association for Software Engineering. Its mission is to bring together researchers, educators and practitioners in the field of software engineering ") (I haven't been in Utrecht in a while. It was great to be back. I love the campus and the science park.) My keynote presentation had the title " Software Engineering Career Planning in the Age of AGI+/- ". My slides are available here: [ .pdf ] Loads of relevant content is linked on those slides, but there is probably not much ROI from the slides alone. I want to call out though my DOs and the DON'Ts for teaching adaptation in software engineering. SE Teaching Adaptation — DON’Ts   Don’t ban the use of AI. Don’t ignore the new role of AI. Don’t grade homework likely done by LLM. Don’t aim at outsmarting th
Read more

Lecture series on advanced (functional) programming concepts

[ Added 10 Aug 2010: Here is the link to the first lecture's video: " The Expression Problem ". ] If you are a programming nerd or something of a similar species, you may know of C9 Lectures at http://channel9.msdn.com/tags/C9+Lectures . Several of the lectures are given by Erik Meijer who has turned many chapters of Graham Hutton 's book " Programming in Haskell " into videos. In my recent, recorded lecture on " Programming Paradigms and Formal Semantics ", I also incorporated Graham's text, but you should really watch Erik's lectures, if you haven't---they are more fun. I am inspired by his ability to present relatively simple content in such a crisp, insightful, and enjoyable manner. In the aforementioned lecture, I covered all kinds of "crazy stuff" though, and in the end, I had to deliver body bags to my Bachelor students---in the form of a radically simple examination. Thanks a lot btw to @grammarware for helping with t
Read more