ECMFA 2011 University of Birmingham

  banner1                        banner1

Seventh European Conference on Modelling Foundations and Applications

ECMFA 2011 Accepted Papers


Following papers have been accepted in ECMFA 2011

  • Stephen Barrett, Patrice Chalin and Greg Butler. Table-Driven Detection and Resolution of Operation-Based Merge Conflicts in Mirador
  • Joel Greenyer, Sebastian Pook and Jan Rieke. Preventing Information Loss in Incremental Model Synchronization by Reusing Elements
  • Eric Cariou, Cyril Ballagny, Alexandre Feugas and Franck Barbier. Contracts for Model Execution Verification
  • Razieh Behjati, Tao Yue, Shiva Nejati, Lionel C. Briand and Bran Selic. Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling
  • Pietro Colombo, Ferhat Khendek and Luigi Lavazza. Generating Early Design Models from Requirements Analysis Artifacts using Problem Frames and SysML
  • Tao Yue, Shaukat Ali and Lionel Briand. Automated Transition from Use Cases to UML State Machines to Support State-based Testing
  • Antonio Vallecillo. Improving Naming and Grouping in UML
  • Imran Sarwar Bajwa and Mark G. Lee. Transformation Rules for Translating Business Rules to OCL Constraints
  • Xavier Dolques, Marianne Huchard, Clémentine Nebut, Jean-Rémy Falleri, François Pfister and Aymen Dogui. Easing Model Transformation Learning with Automatically Aligned Examples
  • Jan Jürjens, Loic Marchal, Martin Ochoa and Holger Schmidt. Incremental Security Verication for Evolving UMLsec models
  • Dominik Gessenharter. Code Generation for UML 2 Activity Diagrams - Towards a comprehensive Model-Driven Development Approach
  • Andreas Svendsen, Øystein Haugen and Birger Møller-Pedersen. Analyzing Variability Models: Capturing Semantic Ripple Effects
  • Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Martin Jung, Detlef Kips and Michael Philippsen. A FUML-based Distributed Execution Machine for Enacting Software Process Models
  • Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau and Joël Champeau. Integrating Design and Runtime Variability Support into a System ADL
  • Maged Elaasar, Lionel Briand and Yvan Labiche. Domain-Specific Model Verification with QVT
  • Ragnhild Van Der Straeten, Jorge Pinna Puissant and Tom Mens. Assessing the Kodkod Model Finder for Resolving Model Inconsistencies
  • Martin Gogolla and Antonio Vallecillo. Tractable Model Transformations Testing
  • Benoît Combemale, Laure Gonnord and Vlad Rusu. A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
  • Vaibhav Jain, Anshul Kumar and Preeti Panda. A SysML Profile for Development and Early Validation of TLM 2.0 Models
  • Guillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Didonet Del Fabro and Scott Lee. An MDE-based approach for solving configuration problems
  • Mauricio Alferez, Nuno Amalio, Selim Ciraci, Franck Fleurey, Joerg Kienzle, Jacques Klein, Sebastien Mosser, Gunter Mussbacher, Ella Roubtsova and Gefei Zhang. Aspect-Oriented Model Development at Different Levels of Abstraction
  • Jérôme Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida Da Silva and Xavier Blanc. Operation Based Model Representation: Experiences on Inconsistency Detection
  • Rolf-Helge Pfeiffer and Andrzej Wasowski. Taming the Confusion of Languages
  • Thomas Goldschmidt and Axel Uhl. Incremental Updates for View-Based Textual Modelling