2/28/2012

More of a discussion on web privacy

I had the pleasure to give a talk today on web privacy and P3P at Ecole des Mines de Nantes in the ASCOLA research team by kind invitation of Mario Südholt. The hidden agenda was to promote our empirical research on P3P but we also agreed upfront to attempt a more general discussion of web privacy. So you find little empirical stuff in the early parts of the slide deck.

Title: More of a discussion on web privacy

Abstract: The presentation begins with observations about the current state of web privacy on the internet today. The presentation continues to set up some challenges for web privacy to be addressed in practice, subject to contributions by CS research. The technical core of the presentation is a language engineer's approach to understanding W3C's P3P language for privacy policies of web-based systems. Discussion during and after the talk is strongly appreciated.

Acknowledgement: This is joint work with Ekaterina Pek, ADAPT Team, University of Koblenz-Landau

Links:

2/05/2012

MegaL goes Nantes

The Software Languages Team in Koblenz, with potent support by visiting scientist Jean-Marie Favre is getting increasingly excited and knowledgeable about megamodels for software technologies and software products. MegaL is the megamodeling language under development. During upcoming research visits, I expect to present MegaL: its rationale, some applications, and ongoing research. The first presentation of this kind is to take place in Nantes in the AtlanMod team. The talk announcement follows.

Title: A megamodel of the ATL model transformation language and toolkit

Abstract: According to http://www.eclipse.org/atl/, "ATL (ATL Transformation Language) is a model transformation language and toolkit. In the field of Model-Driven Engineering (MDE), ATL provides ways to produce a set of target models from a set of source models." We would like to deeply understand the linguistic architecture of ATL in terms of all the involved software languages, metamodels, technologies, and relationships between all of them. To this end, we leverage a suitable form of megamodeling, as it is supported by the (mega)modeling language MegaL. In this manner, we discover some shortcomings of common, informal explanations of ATL and opportunities for highly systematic discussion of ATL.

Acknowledgements: Joint work with Jean-Marie Favre, Martin Leinberger, Thomas Schmorleiz, and Andrei Varanovich.

Links:
  • A related paper on megamodeling: [.html]
  • Slide deck of the talk: [.pdf]

Bio: Ralf Lämmel is Professor of Computer Science at the Department of Computer Science at the University of Koblenz-Landau since July 2007. In the past, he held positions at Microsoft Corp., Free University of Amsterdam, CWI (Dutch Center for Mathematics and Computer Science), and the University of Rostock, Germany. Ralf Lämmel's speciality is "software language engineering", but he is generally interested in themes that combine software engineering and programming languages. His research and teaching interests include program transformation, software re-engineering, grammar-based methods as well as model-driven and model-based methods. Ralf Lämmel is a committed member of the research community; he is one of the founding fathers of the international summer school series on Generative and Transformational Techniques on Software Engineering (GTTSE) as well as the international conference on Software Language Engineering (SLE).