ECMFA 2011 University of Birmingham
 

  banner1                        banner1

Seventh European Conference on Modelling Foundations and Applications

CONFERENCE PROGRAM

The Timetable for Workshops

8:30 - 9:00

JUNE 6
Welcome

JUNE 7
Welcome

9:00 - 10:30

Joint Symposium on(MBSDI 2011, MDTPI 2011, PMDE 2011) Room: CPD5, BM-FA 2011 Room: cpd6 MELO 2011 Room: CPD1

Joint Symposium on(MBSDI 2011,MDTPI 2011,PMDE 2011) Room: CPD5

10:30 - 11:00

Break

Break

11:00 - 12:30

Joint Symposium on(MBSDI 2011, MDTPI 2011, PMDE 2011) Room: CPD5, BM-FA 2011 Room: cpd6 MELO 2011 Room: CPD1

Joint Symposium on(MBSDI 2011,MDTPI 2011,PMDE 2011) Room: CPD5

12:30 - 14:00

Lunch

Lunch

14:00 - 16:00

Joint Symposium on(MBSDI 2011, MDTPI 2011,  PMDE 2011) Room: CPD5, BM-FA 2011 Room: cpd6
MELO 2011
Room: CPD1

Joint Symposium on(MBSDI 2011,MDTPI 2011,PMDE 2011) Room: CPD5

16:00 - 16:30

Break

Break

16:30 - 18:00

Joint Symposium on(MBSDI 2011, MDTPI 2011,  PMDE 2011) Room: CPD5, BM-FA 2011 Room: cpd6
MELO 2011
Room: CPD1

Joint Symposium on(MBSDI 2011,MDTPI 2011,PMDE 2011) Room: CPD5

The Timetable for Tutorials


8:30 - 9:00

JUNE 6
Welcome

JUNE 7
Welcome

9:00 - 10:30

T1 Room: CPD4
 T2(half-day)
Room: CPD2

T3 Room: CPD4
T4
Room: CPD2

10:30 - 11:00

Break

Break

11:00 - 12:30

T1 Room: CPD4,
T2(half-day) Room: CPD2

T3 Room: CPD4
T4
Room: CPD2

12:30 - 14:00

Lunch

Lunch

14:00 - 16:00

T1 Room: CPD4

T3 Room: CPD4
T4
Room: CPD2

16:00 - 16:30

Break

Break

16:30 - 18:00

T1 Room: CPD4

T3 Room: CPD4
T4
Room: CPD2

07 June, 2011

18:00 - 21:00

Social Event
Barber Networking Function [Map]

08 June, 2011

08:30 - 09:10

Welcome

09:10 - 10:10

Keynote 1: Prof. Dr. Wilhelm Schäfer
Building Advanced Mechatronic Systems [Details]
Room: Forum

10:10 - 10:30


venue: Wolfson Centre Medical School

10:30 - 12:00

Session A
Model Execution
Room:
Forum
Chair: Andy Schuerr

Session B
MODEL ANALYSIS
Room:
CPD5
Chair:
Robert France

Contracts for Model Execution Verification
Eric Cariou, Cyril Ballagny, Alexandre Feugas and Franck Barbier.

A FUML-based Distributed Execution Machine for Enacting Software Process Models
Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Martin Jung, Detlef Kips and Michael Philippsen.

 A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
Benoît Combemale, Laure Gonnord and Vlad Rusu.

Incremental Security Verication for Evolving UMLsec models
Jan Jürjens
, Loic Marchal, Martin Ochoa and Holger Schmidt.

Assessing the Kodkod Model Finder for Resolving Model Inconsistencies
Ragnhild Van Der Straeten
, Jorge Pinna Puissant and Tom Mens.

 Operation Based Model Representation: Experiences on Inconsistency Detection
Jérôme Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida Da Silva and Xavier Blanc.

12:00 - 14:00


venue: Wolfson Centre Medical School

LUNCH
venue: Wolfson Centre Medical School

Modeling using System Architect
By Claire De Bie (IBM)
Room: Forum
Time:
13:30-14:00

14:00 - 15:30

Session C
METHODOLOGY
Room:
Forum
Chair:
Ella Roubstova

Session D
MODEL MANAGEMENT
Room:
CPD5
Chair:
Eric Cariou

Generating Early Design Models from Requirements Analysis Artifacts  using Problem Frames and SysML
Pietro Colombo, Ferhat Khendek and Luigi Lavazza.

Automated Transition from Use Cases to UML State Machines to Support State-based Testing
Tao Yue, Shaukat Ali and Lionel Briand.

Transformation Rules for Translating Business Rules to OCL Constraints
Imran Sarwar Bajwa and Mark Lee

Preventing Information Loss in Incremental Model Synchronization by Reusing Elements
Joel Greenyer, Sebastian Pook and Jan Rieke.

An MDE-based approach for solving configuration problems
Guillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Didonet Del Fabro and Scott Lee.

Incremental Updates for View-Based Textual Modelling
Thomas Goldschmidt and Axel Uhl

15:30 - 16:00


venue: Wolfson Centre Medical School

16:00 - 17:00

Tools and Consultancy Track: Session 3

17:10 - 19:30

Canal Boat Trip from the Conference Venue to Conference Dinner  [Details]
(There is no extra fee for the trip)

19:30 - 23:00

Social Event
Conference Dinner at Birmingham Council House [Map]


09 June, 2011

09:10 - 10:10

Keynote 2: Steve Cook 
UML: Past, Present and Future [Details]
Room:
Forum

10:10 - 10:30


venue: Wolfson Centre Medical School

10:30 - 12:00

Session A
TRANSFORMATIONS
Room:
Forum
Chair: Dimitris Kolovos

Session B
VARIABILITY ANALYSIS & ADLs
Room:
CPD5
Chair:
Stefan Van Baelen

Easing Model Transformation Learning with Automatically Aligned Examples
Xavier Dolques, Marianne Huchard, Clémentine Nebut, Jean-Rémy Falleri, François Pfister and Aymen Dogui.

 Code Generation for UML 2 Activity Diagrams - Towards a comprehensive Model-Driven Development Approach
Dominik Gessenharter.

 Tractable Model Transformations Testing
Martin Gogolla and Antonio Vallecillo.

Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling
Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand and Bran Selic.

Analyzing Variability Models: Capturing Semantic Ripple Effect
Andreas Svendsen, Øystein Haugen and Birger Møller-Pedersen.

 Integrating Design and Runtime Variability Support into a System ADL
Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau and Joël Champeau.

12:00 - 14:00


venue: Wolfson Centre Medical School

LUNCH
venue: Wolfson Centre Medical School

Modeling Requirements Flowdown For Complex Systems
By Laurence James (IBM)
Room: Forum
Time: 13:20-14:00

14:00 - 15:30

Session C
DOMAIN SPECIFIC MODELING
Room:
Forum
Chair:
Benoit Combemale

Session D
MODEL MANAGEMENT II
Room:
CPD5
Chair:
Richard Paige

Domain-Specific Model Verification with QVT
Maged Elaasar, Lionel Briand and Yvan Labiche.

A SysML Profile for Development and Early Validation of TLM 2.0 Models
Vaibhav Jain, Anshul Kumar and Preeti Panda.

 Taming the Confusion of Languages
Rolf-Helge Pfeiffer and Andrzej Wasowski.

Table-Driven Detection and Resolution of Operation-Based Merge Conflicts in Mirador
Stephen Barrett, Patrice Chalin and Greg Butler.

Improving Naming and Grouping in UML
Antonio Vallecillo.

 Aspect-Oriented Model Development at Different Levels of Abstraction
Mauricio Alferez, Nuno Amalio, Selim Ciraci, Franck Fleurey, Joerg Kienzle, Jacques Klein, Sebastien Mosser, Gunter Mussbacher, Ella Roubtsova and Gefei Zhang.

15:30 - 16:00


venue: Wolfson Centre Medical School

16:00 - 17:00

Tools and Consultancy Track: Session 3