Andrzej Wasowski, Richard F. Paige, Øystein Haugen
Proceedings of the 21th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2018.

@proceedings{MoDELS-2018,
	address       = "Copenhagen, Denmark",
	doi           = "10.1145/3239372",
	editor        = "Andrzej Wasowski and Richard F. Paige and Øystein Haugen",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 21th International Conference on Model Driven Engineering Languages and Systems}",
	year          = 2018,
}

Contents (45 items)

MoDELS-2018-Kuhne

Exploring Potency (TK), pp. 2–12.

MoDELS-2018-KastnerGS #diagrams

From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper (AK, MG, BS), pp. 13–22.

MoDELS-2018-GuerraL #flexibility #modelling #on the

On the Quest for Flexible Modelling (EG, JdL), pp. 23–33.

MoDELS-2018-WeckesserLRS #analysis #modelling #programming

Mathematical Programming for Anomaly Analysis of Clafer Models (MW, ML, MR, AS), pp. 34–44.

MoDELS-2018-WestfechtelG #model transformation #multi #variability

From Single- to Multi-Variant Model Transformations: Trace-Based Propagation of Variability Annotations (BW, SG), pp. 46–56.

MoDELS-2018-BurguenoBMV #model transformation #modelling

Expressing Confidence in Models and in Model Transformation Elements (LB, MFB, NM, AV), pp. 57–66.

MoDELS-2018-LaraGCS #model transformation #product line

Model Transformation Product Lines (JdL, EG, MC, RS), pp. 67–77.

MoDELS-2018-Boronat #domain-specific language #model transformation #performance

Expressive and Efficient Model Transformation with an Internal DSL of Xtend (AB), pp. 78–88.

MoDELS-2018-ArcegaFC #algorithm #configuration management #debugging #locality #modelling #runtime

Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at Runtime (LA, JF, CC), pp. 90–100.

MoDELS-2018-KessentiniWS #co-evolution #design #interactive #metamodelling

Integrating the Designer in-the-loop for Metamodel/Model Co-Evolution via Interactive Computational Search (WK, MW, HAS), pp. 101–111.

MoDELS-2018-BesnardBJTD #embedded #execution #ltl #modelling #uml #verification

Unified LTL Verification and Embedded Execution of UML Models (VB, MB, FJ, CT, PD), pp. 112–122.

MoDELS-2018-BucchiaroneC #modelling

A Model-Driven Solution to Support Smart Mobility Planning (AB, AC), pp. 123–132.

MoDELS-2018-NordmannM #assessment #component #fault #lessons learnt #modelling #safety

Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees (AN, PM), pp. 134–143.

MoDELS-2018-ChenKSPJ #behaviour

Digital Behavioral Twins for Safe Connected Cars (XC, EK, SS, VMP, ZJ), pp. 144–153.

MoDELS-2018-MorinHSHB #approach #modelling

Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications (BM, JH, HS, NH, BB), pp. 155–165.

MoDELS-2018-BarqueroBTV

Extending Complex Event Processing to Graph-structured Information (GB, LB, JT, AV), pp. 166–175.

MoDELS-2018-GonzalezVNBI #cyber-physical #testing

Enabling Model Testing of Cyber-Physical Systems (CAG, MV, SN, LCB, YI), pp. 176–186.

MoDELS-2018-Petrenko #finite #state machine #testing #towards

Towards Testing from Finite State Machines with Symbolic Inputs and Outputs (AP), p. 187.

MoDELS-2018-BallarinMPC #metric #problem

Measures to report the Location Problem of Model Fragment Location (MB, ACM, VP, CC), pp. 189–199.

MoDELS-2018-HenriquesLAG #developer #experience #modelling #process

Improving the Developer Experience with a Low-Code Process Modelling Language (HH, HL, VA, MG), pp. 200–210.

MoDELS-2018-BruneliereBCW #overview

A Feature-based Survey of Model View Approaches (HB, EB, JC, MW), p. 211.

MoDELS-2018-JolakHCS #case study #challenge #development #modelling #multi #re-engineering

Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts (RJ, THQ, MRVC, RRHS), pp. 213–223.

MoDELS-2018-PouraliA #challenge #empirical #modelling #tool support #using

An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools (PP, JMA), pp. 224–234.

MoDELS-2018-Tolvanen0 #domain-specific language #modelling

Effort Used to Create Domain-Specific Modeling Languages (JPT, SK), pp. 235–244.

MoDELS-2018-BadreddinKFML #bibliography #design #modelling #roadmap

A Decade of Software Design and Modeling: A Survey to Uncover Trends of the Practice (OB, RK, AF, OM, TCL), pp. 245–255.

MoDELS-2018-MokaddemSS #recommendation #refactoring

Recommending Model Refactoring Rules from Refactoring Examples (CeM, HAS, ES), pp. 257–266.

MoDELS-2018-HolmesZ #architecture #modelling #refactoring #requirements

Refactoring Architecture Models for Compliance with Custom Requirements (TH, UZ), pp. 267–277.

MoDELS-2018-DouBB #modelling #specification

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications (WD, DB, LCB), pp. 278–288.

MoDELS-2018-KautzR #on the

On Computing Instructions to Repair Failed Model Refinements (OK, BR), pp. 289–299.

MoDELS-2018-Stevens #flexibility #megamodelling #towards

Towards sound, optimal, and flexible building from megamodels (PS), pp. 301–311.

MoDELS-2018-MartinezGC #modelling #robust

Robust Hashing for Models (SM, SG, JC), pp. 312–322.

MoDELS-2018-MarussySV #incremental #modelling #using

Incremental View Model Synchronization Using Partial Models (KM, OS, DV), pp. 323–333.

MoDELS-2018-BruneliereKDC #scalability #towards

Towards Scalable Model Views on Heterogeneous Model Resources (HB, FMdK, GD, JC), pp. 334–344.

MoDELS-2018-AhmadiPD #embedded #modelling #realtime #slicing #uml

Slicing UML-based Models of Real-time Embedded Systems (RA, EP, JD), pp. 346–356.

MoDELS-2018-ShinCNSBZ #analysis #framework #named #physics #testing #uml

HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems (SYS, KC, SN, MS, LCB, FZ), pp. 357–367.

MoDELS-2018-CremonaLBLMT #hybrid

Hybrid Co-simulation: It’s About Time (FC, ML, DB, EAL, MM, ST), p. 368.

MoDELS-2018-Rodriguez-Echeverria #framework #modelling #protocol #towards #visual notation

Towards a Language Server Protocol Infrastructure for Graphical Modeling (RRE, JLCI, MW, JC), pp. 370–380.

MoDELS-2018-ZoubekLM #bibliography #evolution #modelling #perspective #visual notation #visualisation

Visualizations of Evolving Graphical Models in the Context of Model Review (FZ, PL, TM), pp. 381–391.

MoDELS-2018-KinneerH #architecture #clustering #difference #metric

Dissimilarity Measures for Clustering Space Mission Architectures (CK, SJIH), pp. 392–402.

MoDELS-2018-KhelladiKE #co-evolution #evolution #metamodelling

Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels (DEK, RK, AE), pp. 404–414.

MoDELS-2018-SelwayGSOD #contract #development #integration #model transformation #visual notation

Integration of Visual Contracts and Model Transformation for Enhanced MDE Development (MS, GG, MS, KRO, RMD), pp. 415–425.

MoDELS-2018-DiskinMWWL #assurance #model transformation #refinement

Assurance via model transformations and their hierarchical refinement (ZD, TM, AW, SWW, ML), pp. 426–436.

MoDELS-2018-EderBVIK #architecture #automation #deployment #distributed #framework #hardware #synthesis

From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures (JE, AB, SV, AI, MK), pp. 438–446.

MoDELS-2018-KusmenkoRSW #c++ #compilation #component #embedded #modelling #multi

Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc (EK, BR, SS, MvW), pp. 447–457.

MoDELS-2018-RioMBB #energy #modelling #performance #process

Efficient use of local energy: An activity oriented modeling to guide Demand Side Management (AR, YM, OB, YB), pp. 458–468.