Proceedings of 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05)

Welcome to the 2nd edition of the International Workshop on Model-Based
Methodologies for Pervasive and Embedded Software (MOMPES 2005) held
in Rennes (France), June 6th, 2005.
The Object Management Group’s Model Driven Architecture (MDA)
paradigm is an approach to the development of software, based on the
separation between the specification of the systems and their implementation
using specific platforms. This workshop focuses on the scientific and practical
aspects related with the adoption of Model Driven development (MDD)
methodologies (notation, process, methods, and tools) for supporting the
construction of pervasive and embedded software. Suggested areas of interest
in the workshop include, but are not restricted to:
· Specification of Platform Independent Models (PIMs) and Platform
Specific Models (PSMs)
· PIM to PSM transformations
· MDD process for embedded and pervasive software
· Automatic code generation in MDD contexts
· Testing and validation in MDD contexts
· Tools for MDD of embedded and pervasive software
· Case studies on the application of MDD
We would like to thank the authors that submitted papers, the PC members
for their excellent work in reviewing the papers, the ACSD'05 organizers,
especially Laure Petrucci, for help in the local arrangements of this workshop,
and TUCS and CREST for support in publishing the proceedings. Finally, we
acknowledge the "Nordic Journal of Computing" for having accepted to
publish a special edition with a selection of (extended and revised) versions of
papers presented during the workshop.
MOMPES series of workshops proves once more to be a pertinent initiative
to be able to get together people from the application domain of embedded and
pervasive software and from the scientific community of model transformation.