Workshop Description

Over the past years there has been quite a bit of activity in the algebraic community about using algebraic methods for providing support to model-driven software engineering. The aim of this workshop is to gather researchers working on the development and application of algebraic methods to provide rigorous support to model-based software engineering.

The topics relevant to the workshop are all those related to the use of algebraic methods to software engineering, including but not limited to:

  • formally specifying and verifying model-based software engineering concepts and related ones (MDE, UML, OCL, MOF, DSLs, ...)
  • tool support for the above
  • integration of formal and informal methods
  • theoretical frameworks (algebraic, rewriting-based, category theory-based, ...)


Its main goal is to examine, discuss, and relate the existing projects within the algebraic community that address common open-issues in model-driven software engineering.

To foster the discussion among participants, our plan is to organize the workshop in two main sessions, with short individual presentations (20 minutes) followed by ample time slots for comments, questions, and exchange of ideas.

Program

11:00 - 12:00 Session: Invited presentation by Mark Hills.

Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, and Jurgen J. Vinju. Rascal: From Algebraic Specification to Meta-Programming.
   

12:00 - 13:00 Session: DSL Modelling.

12:00 - 12-30 Francisco Durán, Peter Csaba Ölveczky, and José E. Rivera. Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies.

12:30 - 13:00 Suzana Andova, Mark van den Brand, and Luc Engelen. Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

14:30 - 15:30 Session: Invited presentation by Peter Ölveczky.

Peter Ölveczky. Formal Model Engineering for Embedded Systems using Real-Time Maude.

16:00 - 17:30 Session

16:00 - 16:30 Francisco Durán, Martin Gogolla, and Manuel Roldán. Tracing Properties of UML and OCL Models with Maude.

16:30 - 17:00 Bertrand Boisvert, Louis Féraud, and Sergei Soloviev. Typed lambda-terms in categorical attributed graph transformation.

17:00 - 17:30 Discussion

Important Dates

  • Paper submission deadline:
    		•  April 13, 2011
  • Author notification:
    		•  May 29, 2011
  • Camera-ready paper versions due:
    		•  June 12, 2011

    Call For Papers

    Available in text form and pdf. 

    Submission

    Please submit your contributions via EasyChair. Submissions should be at most 15 pages long in the EPTCS LaTeX style, available at the EPTCS site.

    Program Committee

    • Artur Boronat, University of Leicester, UK
    • Roberto Bruni, University of Pisa, Italy
    • Jordi Cabot, École des Mines de Nantes, France
    • Manuel Clavel, Imdea Software & Universidad Complutense de Madrid, Spain
    • Francisco Durán, University of Málaga, Spain (co-chair)
    • Martin Gogolla, University of Bremen, Germany
    • Alexander Knapp, Augsburg University, Germany
    • Juan de Lara, Universidad Autónoma de Madrid, Spain
    • José Meseguer, University of Illinois, Urbana-Champaign, USA
    • Pierre-Etienne Moreau, Ecole des Mines de Nancy & INRIA Nancy, France
    • Peter Ölveczky, University of Oslo, Norway
    • Vlad Rusu, IRISA-INRIA, Rennes, France (co-chair)
    • Gwen Salaün, Grenoble INP–INRIA– LIG. France
    • Martín Wirsing, Ludwig-Maximilians-Universität, München, Germany