The Community for Technology Leaders
Model-Based Methodologies for Pervasive and Embedded Software, International Workshop on (2006)
Potsdam, Germany
Mar. 30, 2006 to Mar. 30, 2006
ISBN: 0-7695-2538-5
TABLE OF CONTENTS
Introduction
Invited Papers

SODA: Not Just a Drink! (Abstract)

Dov Dori , Massachusetts Institute of Technology, Cambridge, MA, USA
pp. 3-14

Model-Based Specification and Validation of Automotive Electronics (Abstract)

Torsten Schultz , Berner and Mattner Systemtechnik GmbH
pp. 15-24
Embedded and Real-Time Applications

Design Method Support for Domain Specific SoC design (Abstract)

Ivan Porres , Turku Centre for Computer Science, Turku, Finland
Dragos Truscan , Turku Centre for Computer Science, Turku, Finland
Johan Lilius , Turku Centre for Computer Science, Turku, Finland
Marcus Alanen , Turku Centre for Computer Science
Kim Sandstrom , Nokia Research Centre, Helsinki, Finland
Ian Oliver , Nokia Research Centre, Helsinki, Finland
Johan Lilius , Turku Centre for Computer Science, Turku, Finland
pp. 25-32

Model-Driven Development of Real-Time Systems with UML 2.0 and C (Abstract)

Felix Gutbrodt , University of Stuttgart, Germany
Peter Gohner , University of Stuttgart, Germany
Roland Trauter , DaimlerChrysler AG, Ulm, Germany
Mohammad Ullah Khan , University of Kassel,Germany
Kurt Geihs , University of Kassel,Germany
pp. 33-42

Model-Based System Development for Embedded Mobile Platforms (Abstract)

Laszlo Lengyel , Budapest University of Technology and Economics
Imre Kelenyi , Budapest University of Technology and Economics
Tihamer Levendovszky , Budapest University of Technology and Economics
Hassan Charaf , Budapest University of Technology and Economics
Bertalan Forstner , Budapest University of Technology and Economics
Gergely Mezei , Budapest University of Technology and Economics
pp. 43-52

Model-Based Engineering of Embedded Control Software (Abstract)

Bernhard Schatz , Technische Universitat Munchen, Germany
pp. 53-62

Intelligent Instrument Design With ArchWare ADL (Abstract)

Flavio Oquendo , Universite de Bretagne-Sud VALORIA Vannes, Cedex, France
Eric Benoit , Universite de Savoie LISTIC/ESIA, Cedex, France
Jerome Revillard , Universite de Savoie LISTIC/ESIA, Cedex, France
Sorana Cimpan , Universite de Savoie LISTIC/ESIA, Cedex, France
pp. 63-74
Software Architectures

CMOF-Model Semantics and Language Mapping for MOF 2.0 Implementations (Abstract)

Markus Scheidgen , Institute of Computer Science, Humboldt-Universitat zu Berlin
pp. 84-93

Concepts for Abstracting away Object Reification at the level of Platform Independent Models (PIMs) (Abstract)

Geert Delanote , Software Development Methodology Research Group, K.U. Leuven, Belgium
Eric Steegmans , Software Development Methodology Research Group, K.U. Leuven, Belgium
pp. 94-102

TowardsWeaving Software Architecture Models (Abstract)

Patrizio Pelliccione , University of Luxembourg
Alfonso Pierantonio , Universita degli Studi dell?Aquila, Italy
Henry Muccini , Universita degli Studi dell?Aquila, Italy
Davide Di Ruscio , Universita degli Studi dell?Aquila, Italy
pp. 103-112

A generic MOF metamodel for aspect-oriented modelling (Abstract)

Pablo Sanchez , ETSI Informatica, University of Malaga, Malaga, Spain
Lidia Fuentes , ETSI Informatica, University of Malaga, Malaga, Spain
pp. 113-124
Model-Driven Methodologies

From Code Centric to Model Centric Software Engineering: Practical case study of MDD infusion in a Systems Integration Company (Abstract)

Regis Vogel , Enabler, Avenida da Boavista, Porto, Portugal
Margarida Afonso , Enabler, Avenida da Boavista, Porto, Portugal
Jose Teixeira , Enabler, Avenida da Boavista, Porto, Portugal
pp. 125-134

An EDOC-based Approach for Specific Middleware Services Development (Abstract)

Bruno Carreiro da Silva , Faculdade Ruy Barbosa Salvador, Bahia - Brazill
Leandro Abreu Mascarenhas , Faculdade Ruy Barbosa Salvador, Bahia - Brazill
Rita Suzana Pitangueira Maciel , Faculdade Ruy Barbosa Salvador, Bahia - Brazill
pp. 135-143

Modelling and verification of BPEL business processes (Abstract)

Marina Mongiello , Politecnico di Bari, Italy
Daniela Castelluccia , Politecnico di Bari, Italy
pp. 144-148

Model Patterns for Model Transformations in Model Driven Development (Abstract)

Markus Scheidgen , Institute of Computer Science, Humboldt-Universitat zu Berlin
pp. 149-158

Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment (Abstract)

Nagabhushan Mahadevan , Vanderbilt University, Nashville, TN.
Eric-J. Manders , Vanderbilt University, Nashville, TN.
Gautam Biswas , Vanderbilt University, Nashville, TN.
Gabor Karsai , Vanderbilt University, Nashville, TN.
pp. 159-168
Author Index

Author Index (PDF)

pp. 169
90 ms
(Ver 3.3 (11022016))