The new harbour (Ny Havn)

8th European Conference on
Modelling Foundations and Applications

July 2-5, 2012, Technical University of Denmark
Kgs. Lyngby, Denmark 		ECMFA
Home :: Contact :: Contributions :: Dates :: Committees :: Registration :: Accommodation :: Venue :: Sponsors
Keynotes :: Programme :: Workshops :: Proceedings :: Tutorials :: Pictures
 
   DTU Logo

Programme

Overview all days (as PDF)

Best paper award

Programme (main conference)
 Keynotes
 Wednesday, July 4
 Thursday, July 5
 Poster and tool demos
 Guidelines for speakers

Programme (workshops)
 Monday, July 2
 Tuesday, July 3

Programme (tutorials)
 Tutorial 1 (Monday morning)
 Tutorial 2 (Monday afternoon)

Social events
 Reception (July 3)
 Excursion and dinner (July 4)

Accepted papers

Follow us on twitter

ECMFA Main conference program: Wednesday, July 4

  830–900 Registration

  900–915 Opening session (Glassalen)

  915–1030 Keynote talk (Glassalen)
chaired+) by Richard Paige
Henrik Lönn, VOLVO Technology, Sweden:
Models Meeting Automotive Design Challenges
1030–1100 Coffee break

1100–1230 Testing (Glassalen)
chaired+) by Dimitris Kolovos 		  Applications of MDE 1 (M1)
chaired+) by Thomas Goldschmidt
M. Elaasar and Y. Labiche:
Model Interchange Testing: a Process and a Case Study

T. Yue and S. Ali:
Bridging the Gap between Requirements and Aspect State Machines to Support Non-Functional Testing: Industrial Case Studies

L. Briand, Y. Labiche and Y. Liu:
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing*)

G. M. K. Selim, S. Wang, J. R. Cordy and J. Dingel:
Model Transformations for Migrating Legacy Models: An Industrial Case Study#)

A. Radjenovic, N. Matragkas, R. Paige, A. Motta, M. Rossi, L. Baresi and D. Kolovos:
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems#)

A. Votintseva, P. Witschel, N. Regnat and P. E. Stelzig:
Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings

1230–1330 Lunch break

1330 – 1330–1430 Techniques (Glassalen)
chaired+) by Tao Yue 		  1330–1500 Tools session (M1)
chaired+) by Imran Quadri
J. Pinna Puissant, R. Van Der Straeten and T. Mens:
Badger: A regression planner to resolve design model inconsistencies*)

G.Varró, A. Anjorin and A. Schürr:
Unification of Compiled and Interpreter-Based Pattern Matching Techniques

J. Johannes, M. Seifert, C. Wende and F. Heidenreich:
CommentTemplate: A Lightweight Code Generator for Java Developers

R. Etemaadi and M. Chaudron:
A Model-based Tool for Automated Quality-driven Design of System Architectures

V. Acretoaie and H. Störrle:
MQ-2: A Tool for Prolog-based Model Querying

C. Vogel, H. Koziolek, T. Goldschmidt and E. Burger:
Rapid Performance Modeling and Reasoning with UCM2PCM

D. Redlich, S. Platz, T. Molka and W. Gilani:
MDE in Practice: Process-centric Performance Prediction via Simulation in Real-time

G. Botterweck and Andreas Pleuss:
S2T2-Configurator: Interactive Support for Configuration of Large Feature Models.

The tool sessions last until 1500. There will be a special open-ended coffee break after this session in front of the lecture hall (Foyer), where the tools and posters will be demonstrated — up to the excursion.

1430–1500 Coffee break

1500–1630 Domain-Specific Languages (Glassalen)
chaired+) by Fabian Büttner 		T
O
O
L
D
E
M
O
/
P
O
S
T
E
R
S 		Applications of MDE 2 (M1)
chaired+) by Tom Mens
T. Goldschmidt and W. Mahnke:
An Internal Domain-Specic Language for Constructing OPC UA Queries and Event Filters

R.-H. Pfeiffer and A. Wasowski:
TexMo: A Multi-Language Development Environment*)

I. Rath, Á. Hegedüs and D. Varro:
Derived Features for EMF by Integrating Advanced Model Queries

D. Kolovos, L. Rose, N. Matragkas, J. Williams and R. Paige:
A Lightweight Approach for Managing XML Documents with MDE Languages

R. Behjati, S. Nejati, T. Yue, A. Gotlieb and L. Briand:
Model-Based Automated and Guided Configuration of Embedded Software Systems

F. Burton, R. Paige, D. Kolovos, L. Rose and S. Poulding:
Solving Acquisition Problems using Model-Driven Engineering and Model Transformation

1645– Excursion and Conference dinner

*) Papers marked with an asterisk are candidates for the best foundations paper award.
#) Papers marked with a hash symbol are candidates for the best industry paper award.

+) Speakers are asked to contact their session chairs before the session (see more details in the guidelines for speakers).  

 

ECMFA Main conference program: Thursday, July 5

  830–900 Registration

  900–915 Welcome

  915–1030 Keynote talk (Glassalen)
chaired+) by Antonio Vallecillo
Ed Seidewitz, Model Driven Solutions, USA:
Executable UML: From multi-domain to multi-core
1030–1100 Coffee break (with posters and tool demo in the Foyer in front of lecture hall M1)

1100–1230 Model transformation (Glassalen)
chaired+) by Esther Guerra 		  Metamodeling 1 (M1)
chaired+) by Juan de Lara
M. Lauder, A. Anjorin, G. Varró and A. Schürr:
Bidirectional Model Transformation with Precedence Triple Graph Grammars

J. Rieke and O. Sudmann:
Specifying Refinement Relations in Vertical Model Transformations

P. Smolik and P. Vitkovsky:
Code Generation Nirvana

S. Mosser, M. Blay-Fornarino and L. Duchien:
A Commutative Model Composition Operator to Support Software Adaptation

C. Atkinson, R. Gerbig and B. Kennel:
On-the-Fly Emendation of Multi-Level Models

G. Batori, Z. Theisz and D. Asztalos:
Metamodel Based Methodology for Dynamic Component Systems

1230–1330 Lunch break

1330–1430 Verification 1 (Glassalen)
chaired+) by Christopher Preschern 		  Simulation (M1)
chaired+) by Andy Schürr
T. N. Qureshi, D. Chen and M. Torngren:
A timed automata-based method to analyze EAST-ADL timing constraints specifications

N. Ge and M. Pantel:
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems

A. Radjenovic, R. Paige, L. Rose, J. Woodcock and S. King:
A Plug-In Based Approach for UML Model Simulation

U. Winkler, M. Fritzsche, W. Gilani and A. Marshall:
BOB the Builder: a fast Model-to-PetriNet transformater

1430–1500 Coffee break

1500–1630 Verification 2 (Glassalen)
chaired+) by Ekkart Kindler 		  Metamodeling 2 (M1)
chaired+) by Reda Bendraou
M. Kuhlmann and M. Gogolla:
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations

F. Büttner and J. Cabot:
Lightweight String Reasoning for OCL

L. Hamann, O. Hofrichter and M. Gogolla:
OCL-Based Runtime Monitoring of Applications with Protocol State Machines

J. De Lara and E. Guerra:
Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering

C. Guy, B. Combemale, S. Derrien, J. Steel and J.-M. Jezequel:
On Model Subtyping

G. Zhang:
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines

1630–1645 Closing session (Glassalen)
    © 2011, Software Engineering Section, DTU Informatics  •  Ekkart Kindler ()