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