Proceedings of the 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017
MoDELS, 2017.

@proceedings{MoDELS-2017,
	address       = "Austin, TX, USA",
	ee            = "https://www.computer.org/csdl/proceedings/models/2017/3492/00/index.html",
	isbn          = "978-1-5386-3492-9",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017}",
	year          = 2017,
}

Contents (37 items)

MoDELS-2017-Stevens #bidirectional #in the large

Bidirectional Transformations in the Large (PS), pp. 1–11.

MoDELS-2017-CuadradoGLCC #constraints #model transformation

Translating Target to Source Constraints in Model-to-Model Transformations (JSC, EG, JdL, RC, JC), pp. 12–22.

MoDELS-2017-HidakaJT #model transformation #on the #transformation language

On Additivity in Transformation Languages (SH, FJ, MT), pp. 23–33.

MoDELS-2017-SelimCD #atl #how

How is ATL Really Used? Language Feature Use in the ATL Zoo (GMKS, JRC, JD), pp. 34–44.

MoDELS-2017-Zaytsev #design

Language Design with Intent (VZ), pp. 45–52.

MoDELS-2017-EgeaD #automation #code generation #named #ocl #sql

SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language (ME, CD), p. 54.

MoDELS-2017-Al-RefaiCG #approach #fuzzy #logic #modelling #testing

A Fuzzy Logic Based Approach for Model-Based Regression Test Selection (MAR, WC, SG), pp. 55–62.

MoDELS-2017-UlkeSL #ocl #partial evaluation

Partial Evaluation of OCL Expressions (BU, FS, RL), pp. 63–73.

MoDELS-2017-Tikhonova #domain-specific language #reuse #semantics #specification

Reusable Specification Templates for Defining Dynamic Semantics of DSLs (UT), p. 74.

MoDELS-2017-Vaquero-Melchor #domain-specific language #mobile

Active Domain-Specific Languages: Making Every Mobile User a Modeller (DVM, JP, EG, JdL), pp. 75–82.

MoDELS-2017-RatiuPD #case study #domain-specific language #education #experience #industrial #towards

Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners (DR, VP, KD), pp. 83–92.

MoDELS-2017-FamelisRCSC #design #nondeterminism #product line #reasoning #variability

Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty (MF, JR, KC, RS, MC), pp. 93–100.

MoDELS-2017-TaentzerSSC #category theory #framework #product line

Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory (GT, RS, DS, MC), pp. 101–111.

MoDELS-2017-LeducDCSB #composition #domain-specific language #execution

Revisiting Visitors for Modular Extension of Executable DSMLs (ML, TD, BC, TvdS, OB), pp. 112–122.

MoDELS-2017-RamadanS0JG #modelling #process #security #verification

From Secure Business Process Modeling to Design-Level Security Verification (QR, MS, DS, JJ, PG), pp. 123–133.

MoDELS-2017-MaozPRS #component #question #satisfiability #specification #why

Why is My Component and Connector Views Specification Unsatisfiable? (SM, NP, JOR, RS), pp. 134–144.

MoDELS-2017-AravantinosK #tool support #verification

Tool Support for Live Formal Verification (VA, SK), pp. 145–155.

MoDELS-2017-DenneyPW #architecture #development #modelling #safety

Model-Driven Development of Safety Architectures (ED, GP, IW), pp. 156–166.

MoDELS-2017-BertramMRRW #case study #component #experience

Component and Connector Views in Practice: An Experience Report (VB, SM, JOR, BR, MvW), pp. 167–177.

MoDELS-2017-FamelisC #nondeterminism

Managing Design-Time Uncertainty (MF, MC), p. 179.

MoDELS-2017-HartmannMFT #domain model #evolution #integration #machine learning #modelling

The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling (TH, AM, FF, YLT), p. 180.

MoDELS-2017-BenelallamHMFBB #modelling

Raising Time Awareness in Model-Driven Engineering: Vision Paper (AB, TH, LM, FF, JB, OB, YLT), pp. 181–188.

MoDELS-2017-DurisicMST #case study #co-evolution #metamodelling #modelling #semantics #syntax

Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments — A Case Study of AUTOSAR (DD, CM, MS, MT), pp. 189–198.

MoDELS-2017-DebreceniBRD #collaboration #modelling

Property-Based Locking in Collaborative Modeling (CD, GB, IR, DV), pp. 199–209.

MoDELS-2017-BatotKSF #heuristic #metamodelling #ocl #recommendation

Heuristic-Based Recommendation for Metamodel — OCL Coevolution (EB, WK, HAS, MF), pp. 210–220.

MoDELS-2017-KlareBKLSR #java #metamodelling #named #tool support

Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools (HK, EB, MEK, ML, TS, RHR), pp. 221–228.

MoDELS-2017-AbrahaoBCKPSW #challenge #experience #modelling #user interface

User Experience for Model-Driven Engineering: Challenges and Future Directions (SA, FB, BHCC, SK, RFP, HS, JW), pp. 229–236.

MoDELS-2017-ZolotasRKPH #model management #modelling #open source #tool support

Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon (AZ, HHR, DSK, RFP, SH), pp. 237–247.

MoDELS-2017-Ernadote #ontology

Ontology-Based Pattern for System Engineering (DE), pp. 248–258.

MoDELS-2017-BarnerDMSFFP #modelling

DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems (SB, AD, JM, AS, GF, MF, DGP), pp. 259–269.

MoDELS-2017-EderZVKI #case study #design #industrial

Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case (JE, SZ, SV, MK, AI), pp. 270–280.

MoDELS-2017-WortmannCB #industrial #modelling

A Systematic Mapping Study on Modeling for Industry 4.0 (AW, BC, OB), pp. 281–291.

MoDELS-2017-IzquierdoCC #eclipse #ecosystem #empirical #maturity #modelling

An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem (JLCI, VC, JC), pp. 292–302.

MoDELS-2017-AgnerL #education #modelling #overview

A Survey of Tool Use in Modeling Education (LTWA, TCL), pp. 303–311.

MoDELS-2017-GreenyerG #execution #specification #symbolic computation

Symbolic Execution for Realizability-Checking of Scenario-Based Specifications (JG, TG), pp. 312–322.

MoDELS-2017-DouBB #approach #modelling

A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties (WD, DB, LCB), pp. 323–333.

MoDELS-2017-BeckmannMSV #diagrams #process #uml

Removal of Redundant Elements within UML Activity Diagrams (MB, VNM, AS, AV), pp. 334–343.