Anthony Anjorin, Huáscar Espinoza
Proceedings of the 13th European Conference on Modelling Foundations and Applications
ECMFA, 2017.

@proceedings{ECMFA-2017,
	address       = "Marburg, Germany",
	doi           = "10.1007/978-3-319-61482-3",
	editor        = "Anthony Anjorin and Huáscar Espinoza",
	isbn          = "['978-3-319-61481-6', '978-3-319-61482-3']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th European Conference on Modelling Foundations and Applications}",
	volume        = 10376,
	year          = 2017,
}

Contents (18 items)

ECMFA-2017-Kraas #automation #on the #uml

On the Automated Derivation of Domain-Specific UML Profiles (AK), pp. 3–19.

ECMFA-2017-AddaziCLP #hybrid #modelling #towards #uml

Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles (LA, FC, PL, EP), pp. 20–33.

ECMFA-2017-Kusmenko0RW #architecture #cyber-physical #modelling

Modeling Architectures of Cyber-Physical Systems (EK, AR, BR, MvW), pp. 34–50.

ECMFA-2017-ButtingHHKRW #architecture

Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language (AB, AH, LH, OK, BR, AW), pp. 53–70.

ECMFA-2017-RuscioEIPS #approach #migration #model transformation #variability

A Feature-Based Approach for Variability Exploration and Resolution in Model Transformation Migration (DDR, JE, LI, AP, WS), pp. 71–89.

ECMFA-2017-ArcegaFHC #feature model #modelling #on the #runtime

On the Influence of Models at Run-Time Traces in Dynamic Feature Location (LA, JF, ØH, CC), pp. 90–105.

ECMFA-2017-KlugeSGSM #c #embedded #generative #modelling #named #network

cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks (RK, MS, DG, AS, MM), pp. 109–125.

ECMFA-2017-YigitbasS0E #adaptation #development #modelling #self

Self-adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations (EY, HS, SS, GE), pp. 126–141.

ECMFA-2017-PrieferKS #content management #development #modelling #web

Iterative Model-Driven Development of Software Extensions for Web Content Management Systems (DP, PK, DS), pp. 142–157.

ECMFA-2017-KonigD #consistency #modelling #performance

Efficient Consistency Checking of Interrelated Models (HK, ZD), pp. 161–178.

ECMFA-2017-Wu #consistency #constraints #metamodelling

Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels (HW), pp. 179–196.

ECMFA-2017-Sunye #collaboration #consistency #distributed #modelling

Model Consistency for Distributed Collaborative Modeling (GS), pp. 197–212.

ECMFA-2017-AhmadianSRJ #analysis #ecosystem #industrial #modelling #privacy

Model-Based Privacy Analysis in Industrial Ecosystems (ASA, DS, VR, JJ), pp. 215–231.

ECMFA-2017-GogollaHNW #diagrams #independence #uml #verification

Formulating Model Verification Tasks Prover-Independently as UML Diagrams (MG, FH, PN, RW), pp. 232–247.

ECMFA-2017-Debbi #analysis #formal method #modelling #probability

Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications (HD), pp. 248–263.

ECMFA-2017-Ed-DouibiIC #api #specification #web

Example-Driven Web API Specification Discovery (HED, JLCI, JC), pp. 267–284.

ECMFA-2017-BucaioniMCCS #manycore #modelling

Technology-Preserving Transition from Single-Core to Multi-core in Modelling Vehicular Systems (AB, SM, FC, AC, MS), pp. 285–299.

ECMFA-2017-GomezMBCDGKLT #case study #development #experience #modelling #on the #scalability

On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development (AG, XM, GB, JC, CD, AG, DSK, JdL, ST), pp. 300–315.