Alfonso Pierantonio, Salvador Trujillo
Proceedings of the 14th European Conference on Modelling Foundations and Applications
ECMFA, 2018.

@proceedings{ECMFA-2018,
	address       = "Toulouse, France",
	doi           = "10.1007/978-3-319-92997-2",
	editor        = "Alfonso Pierantonio and Salvador Trujillo",
	isbn          = "['978-3-319-92996-5', '978-3-319-92997-2']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th European Conference on Modelling Foundations and Applications}",
	volume        = 10890,
	year          = 2018,
}

Contents (19 items)

ECMFA-2018-Stevens #bidirectional #question

Is Bidirectionality Important? (PS), pp. 1–11.

ECMFA-2018-ZolotasWGRKP #automation #editing #generative #papyrus #towards #uml #visual notation

Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (AZ, RW, SG, HHR, DSK, RFP), pp. 12–27.

ECMFA-2018-Cuadrado #ocl #optimisation

Optimising OCL Synthesized Code (JSC), pp. 28–45.

ECMFA-2018-BertoaMBBTV #data type #metric #nondeterminism #ocl #uml

Expressing Measurement Uncertainty in OCL/UML Datatypes (MFB, NM, GB, LB, JT, AV), pp. 46–62.

ECMFA-2018-HinkelB #analysis #design #metamodelling #on the

On the Influence of Metamodel Design to Analyses and Transformations (GH, EB), pp. 63–79.

ECMFA-2018-RutleIKD #automation #co-evolution #graph transformation #modelling #traceability #using

Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation (AR, LI, HK, ZD), pp. 80–96.

ECMFA-2018-YigitbasALG #bidirectional #editing #migration

Bidirectional Method Patterns for Language Editor Migration (EY, AA, EL, MG), pp. 97–114.

ECMFA-2018-MadaniKP #parallel #validation

Parallel Model Validation with Epsilon (SM, DSK, RFP), pp. 115–131.

ECMFA-2018-BaduelCBO #challenge #industrial #modelling #validation #verification

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation (RB, MC, JMB, IO), pp. 132–146.

ECMFA-2018-AhmadiHD #modelling #testing #uml

Property-Aware Unit Testing of UML-RT Models in the Context of MDE (RA, NH, JD), pp. 147–163.

ECMFA-2018-MustafizDKT #ide #modelling #named #process

MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems (SM, GD, FK, MT), pp. 164–178.

ECMFA-2018-Ramadan0SRJ #detection #modelling #process #requirements #security

Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models (QR, DS, MS, VR, JJ), pp. 179–198.

ECMFA-2018-AsoudehL #metric #search-based #similarity #testing

Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing (NA, YL), pp. 199–215.

ECMFA-2018-HartelHL #emf #git

EMF Patterns of Usage on GitHub (JH, MH, RL), pp. 216–234.

ECMFA-2018-YohannisRPK #modelling #performance #towards

Towards Efficient Loading of Change-Based Models (AY, HHR, FP, DSK), pp. 235–250.

ECMFA-2018-BarmpisKH #execution #framework #natural language #towards

Towards a Framework for Writing Executable Natural Language Rules (KB, DSK, JH), pp. 251–263.

ECMFA-2018-MashkoorKBE #case study #experience #modelling #re-engineering

Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report (AM, FK, MB, AE), pp. 264–278.

ECMFA-2018-ChenADR #implementation #modelling

Modeling AUTOSAR Implementations in Simulink (JC, MHA, TRD, SR), pp. 279–292.

ECMFA-2018-LeroyBMCW #comprehension #domain-specific language #execution

Trace Comprehension Operators for Executable DSLs (DL, EB, AM, BC, MW), pp. 293–310.