MPM 2009
Jump to navigation
Jump to search
Event Rating
| median | worst |
|---|---|
|
|
List of all ratings can be found at MPM 2009/rating
| MPM 2009 | |
|---|---|
Multiparadigm Modeling: Concepts and Tools
| |
| Dates | 2009-10-04 (iCal) - 2009-10-09 |
| Homepage: | avalon.aut.bme.hu/mpm09 |
| Location | |
| Location: | US/CO/Denver, US/CO, US |
| Important dates | |
| Submissions: | Jul 31, 2009 |
| Camera ready due: | Sep 12, 2009 |
| Table of Contents | |
In conjunction with MODELS Conference, October 4-9, 2009 Denver, Colorado, USA http://modelsconference.org/ 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.
This CfP was obtained from WikiCFP