Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris S. Kolovos
Proceedings of the Eighth European Conference on Modelling Foundations and Applications
ECMFA, 2012.

@proceedings{ECMFA-2012,
	address       = "Kgs. Lyngby, Denmark",
	doi           = "10.1007/978-3-642-31491-9",
	editor        = "Antonio Vallecillo and Juha-Pekka Tolvanen and Ekkart Kindler and Harald Störrle and Dimitris S. Kolovos",
	isbn          = "978-3-642-31490-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth European Conference on Modelling Foundations and Applications}",
	volume        = 7349,
	year          = 2012,
}

Contents (32 items)

11 ×#modelling
7 ×#uml
4 ×#case study
4 ×#state machine
3 ×#industrial
3 ×#model transformation
3 ×#multi
3 ×#named
3 ×#ocl
3 ×#testing

ECMFA-2012-Seidewitz #execution #manycore #uml

Executable UML: From Multi-domain to Multi-core (ES), p. 1.

ECMFA-2012-Lonn #challenge #design #modelling

Models Meeting Automotive Design Challenges (HL), pp. 2–3.

ECMFA-2012-MosserBD #adaptation #commutative #composition

A Commutative Model Composition Operator to Support Software Adaptation (SM, MBF, LD), pp. 4–19.

ECMFA-2012-VotintsevaWRS #case study #comparative #industrial #modelling #multi

Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings (AV, PW, NR, PES), pp. 20–31.

ECMFA-2012-KuhlmannG #modelling #ocl #representation #satisfiability #uml #validation

Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (MK, MG), pp. 32–48.

ECMFA-2012-ElaasarL #case study #process #testing

Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.

ECMFA-2012-GoldschmidtM #domain-specific language #query

An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.

ECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing #uml

Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.

ECMFA-2012-SelimWCD #case study #industrial #legacy #migration #model transformation #modelling

Model Transformations for Migrating Legacy Models: An Industrial Case Study (GMKS, SW, JRC, JD), pp. 90–101.

ECMFA-2012-RathHV #emf #query

Derived Features for EMF by Integrating Advanced Model Queries (IR, ÁH, DV), pp. 102–117.

ECMFA-2012-KolovosRWMP #approach #documentation #lightweight #xml

A Lightweight Approach for Managing XML Documents with MDE Languages (DSK, LMR, JRW, NDM, RFP), pp. 118–132.

ECMFA-2012-YueA #case study #industrial #non-functional #requirements #state machine #testing

Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.

ECMFA-2012-PuissantSM #consistency #design #named #nondeterminism

Badger: A Regression Planner to Resolve Design Model Inconsistencies (JPP, RVDS, TM), pp. 146–161.

ECMFA-2012-Zhang #aspect-oriented #modelling #state machine #uml

Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines (GZ), pp. 162–177.

ECMFA-2012-PfeifferW #development #multi #named

TexMo: A Multi-language Development Environment (RHP, AW), pp. 178–193.

ECMFA-2012-AtkinsonGK #modelling #multi #on the fly

On-the-Fly Emendation of Multi-level Models (CA, RG, BK), pp. 194–209.

ECMFA-2012-RiekeS #model transformation #refinement #specification

Specifying Refinement Relations in Vertical Model Transformations (JR, OS), pp. 210–225.

ECMFA-2012-BehjatiNYGB #automation #embedded #modelling

Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.

ECMFA-2012-ButtnerC #lightweight #ocl #reasoning #string

Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.

ECMFA-2012-LaraG #metamodelling #modelling

Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering (JdL, EG), pp. 259–274.

ECMFA-2012-BatoriTA #component #metamodelling #modelling

Metamodel Based Methodology for Dynamic Component Systems (GB, ZT, DA), pp. 275–286.

ECMFA-2012-LauderAVS #bidirectional #graph grammar #model transformation #precedence

Bidirectional Model Transformation with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 287–302.

ECMFA-2012-QureshiCT #constraints #specification

A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications (TNQ, DJC, MT), pp. 303–318.

ECMFA-2012-SmolikV #code generation

Code Generation Nirvana (PCS, PV), pp. 319–327.

ECMFA-2012-RadjenovicPRWK #approach #plugin #simulation #uml

A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.

ECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #uml #verification

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.

ECMFA-2012-GeP #framework #realtime #safety #uml #verification

Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.

ECMFA-2012-VarroAS #pattern matching #unification

Unification of Compiled and Interpreter-Based Pattern Matching Techniques (GV, AA, AS), pp. 368–383.

ECMFA-2012-HamannHG #monitoring #ocl #protocol #runtime #state machine

OCL-Based Runtime Monitoring of Applications with Protocol State Machines (LH, OH, MG), pp. 384–399.

ECMFA-2012-GuyCDSJ #on the #type system

On Model Subtyping (CG, BC, SD, JS, JMJ), pp. 400–415.

ECMFA-2012-WinklerFGM #performance

BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer (UW, MF, WG, AM), pp. 416–427.

ECMFA-2012-BurtonPRKPS #modelling #problem #using

Solving Acquisition Problems Using Model-Driven Engineering (FRB, RFP, LMR, DSK, SMP, SS), pp. 428–443.