[ecoop-info] CfP: 3rd International Workshop on Multi-Paradigm Modeling MPM09 at MODELS 2009

[Cecile Hardebolle]

[apologies for cross-posting; please distribute]
--------------------------------------------------------------------------------
Call for Papers

MPM 09
3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools

October 6, 2009 (Preliminary Date)
Denver, Colorado, USA

http://avalon.aut.bme.hu/mpm09/
http://avalon.aut.bme.hu/mpm09/mpm09cfp.pdf

In conjunction with MODELS Conference,
October 4-9, 2009
Denver, Colorado, USA
http://modelsconference.org/

--------------------------------------------------------------------------------

Context:
========
Modeling has become the norm in industry to remain competitive and be
successful. As such, Model-Based Design of embedded software has 
enterprise-wide
implications and modeling is not limited to isolated uses by a single 
engineer
or team. Instead, it has reached a proliferation much akin to large-scale
software design, with requirements for infrastructure support such as 
version
control, configuration management, and automated processing.

The comprehensive use of models in design has created a set of 
challenges beyond
that of supporting one isolated design task. In particular, the need to 
combine,
couple, and integrate models at different levels of abstraction and in 
different
formalisms is posing a set of specific problems that the field of Computer
Automated Multiparadigm Modeling (CAMPaM) is aiming to address.

The essential element of multiparadigm modeling is the use of explicit
heterogeneous models throughout. This leads to a framework with models to
represent the syntax of formalisms used for modeling, models of the
transformations that represent the operational semantics, as well as
model-to-model transformations for mapping between formalisms. These 
models are
then used to facilitate generative tasks in language engineering, such as
evolving a domain specific modeling formalism as system's requirements 
change,
but also in a tool engineering space, such as automatic generation of 
integrated
development environments. Moreover, an explicit model of a model 
transformation
allows analyses such as termination characteristics, consistency, and
determinism.

Topics of interest include, but not limited to:
===============================================
Language engineering  
--------------------
* concepts for multiple paradigm composition
* existing multiparadigm approaches
 - analysis
 - overview
* composability and compositionality
 - generic reasoning techniques
 - scalability of compositions
 - model integration
 
Tool engineering
----------------
* concepts for tool support of multiparadigm modeling
* tool support for compositional language constructs
* multiparadigm modeling tools

Applications
------------
* modeling concrete and abstract syntax and their relation
* integration of visual and textual modeling techniques
* executability and support for code generation
* model transformation modeling
 - modularity
 - textual or visual specification
 - declarative vs. imperative approaches
 - execution control
 - verification of properties
* traceability
* model composition in different formalisms at the syntax and semantics 
level

Contributions should clearly address the foundations of multiparadigm 
modeling
by demonstrating the use of models to achieve the stated objectives and 
discuss
the benefits of explicit modeling.

Important dates:
================
Paper submission deadline: July 31, 2009
Notification of acceptance: September 5, 2009
Camera-ready papers due: September 12, 2009

Submission procedure:
=====================
Papers must be submitted electronically as PDF via
http://avalon.aut.bme.hu/mpm09/. Papers should not exceed ten (10) pages and
follow the style available at the workshop web site.

Papers will be peer reviewed. Accepted papers will be published in the 
workshop
proceedings in Electronic Communications of the EASST. The authors of 
the best
two papers will be invited for the LNCS volume (conference 
post-proceedings with
the best papers of the workshops) to provide their extended versions 
including
the workshop feedbacks and further research results.

Program committee:
==================
Frédéric Boulanger, Supélec
Peter Bunus, Linköping University
Holger Giese, Hasso Plattner Institute  
Reiko Heckel, University of Leicester
Thomas Kühne, Victoria University of Wellington
Juan de Lara, Universidad Autónoma de Madrid
Edward A. Lee, UC Berkeley
Florence Maraninchi, Verimag
Pieter J. Mosterman, The MathWorks Inc.
Jose Risco-Martin, universidad Complutense de Madrid
Hessam S. Sarjoughian, Arizona State University
Jonathan Sprinkle, University of Arizona
Mamadou K. Traoré, Blaise Pascal University
Jeroen Voeten, Eindhoven University of Technology
Hans Vangheluwe, MacGill University

Workshop organizers:
====================
Tihamér Levendovszky, Vanderbilt University
László Lengyel, Budapest University of Technology and Economics
Gabor Karsai, Vanderbilt University
Cécile Hardebolle (Publicity), Supélec

E-mail: mpm09--at--cvs--donotwritethis-dot-aut-dot-bme-dot-hu
Web: http://avalon.aut.bme.hu/mpm09/
CfP: http://avalon.aut.bme.hu/mpm09/mpm09cfp.pdf