Published: 29th June 2011
DOI: 10.4204/EPTCS.56
ISSN: 2075-2180

EPTCS 56

Proceedings Second International Workshop on
Algebraic Methods in Model-based Software Engineering
Zurich, Switzerland, 30th June 2011

Edited by: Francisco Durán and Vlad Rusu
Preface
Francisco Durán and Vlad Rusu		1
Invited Presentation: Formal Model Engineering for Embedded Systems Using Real-Time Maude
Peter Csaba Ölveczky		3
Invited Presentation: Rascal: From Algebraic Specification to Meta-Programming
Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm and Jurgen J. Vinju		15
Typed lambda-terms in categorical attributed graph transformation
Bertrand Boisvert, Louis Féraud and Sergei Soloviev		33
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Francisco Durán, Peter Csaba Ölveczky and José E. Rivera		49
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
Suzana Andova, Mark van den Brand and Luc Engelen		65
Tracing Properties of UML and OCL Models with Maude
Francisco Durán, Martin Gogolla and Manuel Roldán		81

Preface

It is our pleasure to present the papers of the second international workshop on Algebraic Methods for Model-Based Software Engineering, co-located with the TOOLS Federated Conferences 2011 and held in Zurich, Switzerland on June 30th, 2011. The aim of the workshop was to gather researchers working on the development and application of algebraic methods to provide rigorous support to model-based software engineering.

  The program committee chose four contributions and two invited presentations. The contributions propose various theoretical paradigms for formal model-based software engineering: equational logic, rewriting logic, and type theory. Case studies are also discussed in several contributions. The two invited presentations gave overviews of some of the more relevant works in model-based software engineering, using the Real-Time Maude and Rascal environments.

  We wish to thank the program committee, the TOOLS'11 organisers, EPTCS, as well as the reviewers, authors, and participants at the workshop.

  Program Committee :

  Artur Boronat, University of Leicester, UK

  Roberto Bruni, University of Pisa, Italy

  Jordi Cabot, Ecole des Mines de Nantes, France

  Manuel Clavel, Imdea Software & Universidad Complutense de Madrid, Spain

  Martin Gogolla, University of Bremen, Germany

  Alexander Knapp, Augsburg University, Germany

  Juan de Lara, Universidad Autonoma de Madrid, Spain

  Jose Meseguer, University of Illinois, Urbana-Champaign, USA

  Pierre-Etienne Moreau, Ecole des Mines de Nancy & INRIA Nancy Grand-Est, France

  Peter Csaba Olveczky, University of Oslo, Norway

  Gwen Salaun, INP/INRIA/LIG Grenoble, France

  Martin Wirsing, Ludwig-Maximilians-Universitat, Munchen, Germany

  Francisco Duran, University of Malaga, Spain (co-chair)

  Vlad Rusu, INRIA Lille Nord-Europe, France (co-chair)