Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige
Proceedings of the Seventh European Conference on Modelling Foundations and Applications
ECMFA, 2011.

@proceedings{ECMFA-2011,
	address       = "Birmingham, England, United Kingdom",
	doi           = "10.1007/978-3-642-21470-7",
	editor        = "Robert B. France and Jochen Malte Küster and Behzad Bordbar and Richard F. Paige",
	isbn          = "978-3-642-21469-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh European Conference on Modelling Foundations and Applications}",
	volume        = 6698,
	year          = 2011,
}

Contents (30 items)

10 ×#modelling
4 ×#development
4 ×#incremental
3 ×#domain-specific language
3 ×#uml
3 ×#verification
2 ×#approach
2 ×#automation
2 ×#case study
2 ×#consistency

ECMFA-2011-Schafer

Building Advanced Mechatronic Systems (WS), pp. 1–2.

ECMFA-2011-CariouBFB #contract #execution #verification

Contracts for Model Execution Verification (EC, CB, AF, FB), pp. 3–18.

ECMFA-2011-EllnerADJKP #distributed #execution #modelling #process

A FUML-Based Distributed Execution Machine for Enacting Software Process Models (RE, SAH, JD, MJ, DK, MP), pp. 19–34.

ECMFA-2011-CombemaleGR #domain-specific language #semantics

A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics (BC, LG, VR), pp. 35–51.

ECMFA-2011-JurjensMOS #evolution #incremental #modelling #security #verification

Incremental Security Verification for Evolving UMLsec models (JJ, LM, MO, HS), pp. 52–68.

ECMFA-2011-StraetenPM #consistency #nondeterminism

Assessing the Kodkod Model Finder for Resolving Model Inconsistencies (RVDS, JPP, TM), pp. 69–84.

ECMFA-2011-NoirDESB #case study #consistency #detection #experience #nondeterminism #representation

Operation Based Model Representation: Experiences on Inconsistency Detection (JLN, OD, DE, MAAdS, XB), pp. 85–96.

ECMFA-2011-ColomboKL #analysis #design #generative #modelling #problem #requirements #using

Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML (PC, FK, LL), pp. 97–114.

ECMFA-2011-YueAB #automation #case study #state machine #testing #uml

Automated Transition from Use Cases to UML State Machines to Support State-Based Testing (TY, SA, LCB), pp. 115–131.

ECMFA-2011-BajwaL #constraints #ocl

Transformation Rules for Translating Business Rules to OCL Constraints (ISB, MGL), pp. 132–143.

ECMFA-2011-GreenyerPR #incremental #reuse

Preventing Information Loss in Incremental Model Synchronization by Reusing Elements (JG, SP, JR), pp. 144–159.

ECMFA-2011-DouxABCFL #approach #eclipse #framework #platform #problem

An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform (GD, PA, GB, JC, MDDF, SUJL), pp. 160–171.

ECMFA-2011-GoldschmidtU #incremental #modelling

Incremental Updates for View-Based Textual Modelling (TG, AU), pp. 172–188.

ECMFA-2011-DolquesDFHNP #automation #learning #model transformation

Easing Model Transformation Learning with Automatically Aligned Examples (XD, AD, JRF, MH, CN, FP), pp. 189–204.

ECMFA-2011-GessenharterR #approach #code generation #development #diagrams #modelling #process #towards #uml

Code Generation for UML 2 Activity Diagrams — Towards a Comprehensive Model-Driven Development Approach (DG, MR), pp. 205–220.

ECMFA-2011-GogollaV #model transformation #testing

Tractable Model Transformation Testing (MG, AV), pp. 221–235.

ECMFA-2011-BehjatiYNBS #architecture #concept #modelling

Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling (RB, TY, SN, LCB, BS), pp. 236–252.

ECMFA-2011-SvendsenHM #semantics #variability

Analyzing Variability: Capturing Semantic Ripple Effects (AS, ØH, BMP), pp. 253–269.

ECMFA-2011-LudwigFBC #design #runtime #variability

Integrating Design and Runtime Variability Support into a System ADL (ML, NF, JPB, JC), pp. 270–281.

ECMFA-2011-ElaasarBL #qvt #verification

Domain-Specific Model Verification with QVT (ME, LCB, YL), pp. 282–298.

ECMFA-2011-JainKP #development #modelling #validation

A SysML Profile for Development and Early Validation of TLM 2.0 Models (VJ, AK, PRP), pp. 299–311.

ECMFA-2011-PfeifferW

Taming the Confusion of Languages (RHP, AW), pp. 312–328.

ECMFA-2011-BarrettCB #detection

Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador (SB, PC, GB), pp. 329–344.

ECMFA-2011-Vallecillo #uml

Improving Naming and Grouping in UML (AV), pp. 345–360.

ECMFA-2011-AlferezACFKKKMMRZ #abstraction #aspect-oriented #development

Aspect-Oriented Model Development at Different Levels of Abstraction (MA, NA, SC, FF, JK, JK, MEK, SM, GM, EER, GZ), pp. 361–376.

ECMFA-2011-BendraouLCG #modelling

Process-Centred Approaches for Model-Driven Engineering (PMDE) — First Edition (RB, RL, BC, MPG), pp. 383–384.

ECMFA-2011-RumpeSVW #agile #development #domain-specific language

Agile Development with Domain Specific Languages (BR, MS, SV, IW), pp. 387–388.

ECMFA-2011-BergmannHRV #emf #evaluation #incremental #modelling #query #tutorial

Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery (GB, ÁH, IR, DV), pp. 389–390.

ECMFA-2011-KolovosPRW #model management

Integrated Model Management with Epsilon (DSK, RFP, LMR, JRW), pp. 391–392.

ECMFA-2011-Tolvanen #domain-specific language #modelling

Creating Domain-Specific Modelling Languages That Work: Hands-On (JPT), pp. 393–394.