Date: Tue, 17 Jan 2012 07:22:43 +0100 (CET) Subject: January 19, 11:00, L016: SWAT colloquium From: Vadim Zaytsev To: sen1-list Dear fellow SWATers, Let me have the honour of reviving the SWAT/PEM colloquiums in 2012: http://event.cwi.nl/pem/ After Bas's departure, the organiser's hat has been inherited by yours truly. This Thursday, January 19, 2012, let us have the first presentation, which will also be given by me since I wanted to (re)start this series by synchronising with all of you about its goals and objectives. The talk will consist of two parts: the administrative one and the scientific one. The badly itemised abstracts follow. [skip] Bidirectional Transformation and Grammarware - Brief recollection of grammar convergence and grammarware engineering - Relations between grammars expressed as transformations - Grammar evolution as coupled grammar transformation - Grammar adaptation as bidirectional grammar transformation - Transformation scenarios as directed acyclic graphs - Problems and profits of bidirectionality The colloquium will take place in L016, unless I'm unable to book it, in which case we will end up in "the Fishtank" (the room with glass walls in the centre of our floor) and you will see another apologising email from me. In any case, hope to see [most of] you there! Yours, Vadim. Date: Thu, 26 Jan 2012 14:58:57 +0100 Subject: SEM next week: 3 Feb 2012, at 11:00, in L017, Vadim Zaytsev, BX and Grammarware From: Vadim Zaytsev To: SWAT Cc: SEN-3 Dear colleagues, I hope you have enjoyed the PEM talk of Serge Demeyer yesterday. This email is an announcement of the SEM talk that will happen next week as usual (on Friday, at 11:00). It will be given by yours truly not just because I have already threatened you with it, but also because the corresponding paper has just been accepted at BX2012 with two strong accepts and two weak rejects, so I am looking for feedback for finishing the camera ready copy. I also put the SEN-3 in the CC because I believe there is a chance that they can find the topic somewhat interesting, and if so, give valuable feedback from a fresh perspective. I do realise SEM talks are meant to have more limited audience than PEM, but SEN-3 are no strangers to us. Date: 3 February 2012 Time: 11:00 Room: L017 (CWI) Speaker: Vadim Zaytsev Abstract: see below ---------------------------------------------------------------------- Bidirectional Transformations and Grammarware Bidirectional transformations (BX) are a mechanism for maintaining the consistency of at least two related sources of information (databases, software models, documents, graphs, trees). BX are an emerging topic in a wide range of research areas with methodologies ranging from classical program transformation to graph transformation techniques, from ad hoc data synchronization to the development of integrated DSLs. The unnecessary diversity of notation for syntactic definitions stems from the current practice of almost every language documentation artefact employing its own notation, usually a dialect of EBNF. I propose to investigate a scenario of metalanguage evolution: a special language evolution case when the language itself is preserved, but the notation which is used to write down its grammar in the documentation, changes. Changes in notation need to be propagated to different levels, such as to parsers that used to work with the old notation, to grammars of those notations that were used in the documentation to serve as explanation material, and finally to the existing grammarbase. Both the megamodel and the prototypical implementation of this scenario will be explained in the talk. They employ bidirectional grammar transformation for the purposes of adaptation and convergence, transformable notation specifications and coupled unidirectional grammar mutations. The talk will be structured the same way the paper was structured and will provide a brief introduction into the topic, present a motivational example, discuss bidirectionalising grammar transformation, explain transformable notation specifications, separate grammar transformation and grammar mutation and present the abstract megamodel and its concrete application to the case study, and touch a couple of related and future work directions. ---------------------------------------------------------------------- http://event.cwi.nl/pem http://grammarware.net/text/2012/metasyntactically.pdf ---------------------------------------------------------------------- Yours, Vadim.