Benoit Baudry, Benoît Combemale
Proceedings of the 19th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2016.

@proceedings{MoDELS-2016,
	address       = "Saint-Malo, France",
	doi           = "10.1145/2976767",
	editor        = "Benoit Baudry and Benoît Combemale",
	isbn          = "978-1-4503-4321-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 19th International Conference on Model Driven Engineering Languages and Systems}",
	year          = 2016,
}

Contents (42 items)

MoDELS-2016-FangLDE #automation #industrial #modelling #multi #variability

Multi-variability modeling and realization for software derivation in industrial automation management (MF, GL, JD, CE), pp. 2–12.

MoDELS-2016-PrehoferWJ #approach #interactive #modelling #multi

A model-based approach for multi-device user interactions (CP, AW, YJ), pp. 13–23.

MoDELS-2016-GolraBDGG #agile #modelling #using

Using free modeling as an agile method for developing domain specific modeling languages (FRG, AB, FD, SG, CG), pp. 24–34.

MoDELS-2016-DasGJBHD #animation #code generation #development #embedded #modelling #monitoring #realtime #runtime

Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation (ND, SG, LJ, MB, NH, JD), pp. 36–43.

MoDELS-2016-FalknerSC #modelling #performance #predict

Model-driven performance prediction of systems of systems (KEF, CS, VC), p. 44.

MoDELS-2016-RuscioMPT #automation #generative

Automatic generation of detailed flight plans from high-level mission descriptions (DDR, IM, PP, MT), pp. 45–55.

MoDELS-2016-RabbiLY #approach #category theory #game studies #metamodelling #towards

Towards a categorical approach for meta-modelling epistemic game theory (FR, YL, ICY), pp. 57–64.

MoDELS-2016-DaniaC #constraints #first-order #logic #named #ocl #satisfiability

OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints (CD, MC), pp. 65–75.

MoDELS-2016-Kosiuczenko #contract #on the #protocol #state machine #synthesis

On the synthesis of protocol state machines from contracts (PK), pp. 76–85.

MoDELS-2016-SzarnyasKSV #evaluation #graph #metric #modelling #multi #towards

Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics (GS, ZK, ÁS, DV), pp. 87–94.

MoDELS-2016-Kuhne #concept #modelling #ontology #towards

Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models (TK), pp. 95–102.

MoDELS-2016-KalninsB #metamodelling #modelling #visual notation

Metamodel specialization for graphical modeling language support (AK, JB), pp. 103–112.

MoDELS-2016-IvanchikjPS #modelling #rest #visual notation

Visual modeling of RESTful conversations with RESTalk (AI, CP, SS), p. 114.

MoDELS-2016-SomogyiSG #formal method #multi #simulation

Formalizing knowledge in multi-scale agent-based simulations (ETS, JPS, JAG), pp. 115–122.

MoDELS-2016-KalenkovaALR #mining #modelling #process #using

Process mining using BPMN: relating event logs and process models (AAK, WMPvdA, IAL, VAR), p. 123.

MoDELS-2016-HarrandFMH #code generation #framework #named

ThingML: a language and code generation framework for heterogeneous targets (NH, FF, BM, KEH), pp. 125–135.

MoDELS-2016-TuchschererWT #automation #c++ #collaboration #modelling

Modern C++ as a modeling language for automated driving and human-robot collaboration (DT, AW, FT), pp. 136–142.

MoDELS-2016-Blache #bound #c #development #embedded #modelling #safety #using

Handling index-out-of-bounds in safety-critical embedded C code using model-based development (GB), pp. 143–149.

MoDELS-2016-SzvetitsZ #comprehension #design #empirical #modelling #runtime #using

Controlled experiment on the comprehension of runtime phenomena using models created at design time (MS, UZ), pp. 151–161.

MoDELS-2016-HeALL #case study #technical debt

Technical debt in MDE: a case study on GMF/EMF-based projects (XH, PA, PL, ZL), pp. 162–172.

MoDELS-2016-HebigHCRF #git #mining #open source #uml

The quest for open source projects that use UML: mining GitHub (RH, THQ, MRVC, GR, MAF), pp. 173–183.

MoDELS-2016-RueggLPKSH #automation #diagrams #incremental #layout #migration

Incremental diagram layout for automated model migration (UR, RL, AP, AK, CDS, RvH), pp. 185–195.

MoDELS-2016-KokalySCMC #approach #assurance #evolution #model management #reuse

A model management approach for assurance case reuse due to system evolution (SK, RS, VC, TM, MC), pp. 196–206.

MoDELS-2016-BarnesCVP #communication #industrial #protocol #simulation #towards #verification

Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC (CB, JMC, FV, AP), pp. 207–214.

MoDELS-2016-HeldalPELDW #industrial #modelling

Descriptive vs prescriptive models in industry (RH, PP, UE, JL, JD, JW), pp. 216–226.

MoDELS-2016-KahaniBDC #analysis #eclipse #modelling #problem #tool support #topic

The problems with eclipse modeling tools: a topic analysis of eclipse forums (NK, MB, JD, JRC), pp. 227–237.

MoDELS-2016-KargRTL #case study #experience #lessons learnt #modelling #re-engineering

Model-driven software engineering in the openETCS project: project experiences and lessons learned (SK, AR, MT, GL), pp. 238–248.

MoDELS-2016-AroraSBZ #approach #domain model #evaluation #industrial #modelling #requirements

Extracting domain models from natural-language requirements: approach and industrial evaluation (CA, MS, LCB, FZ), pp. 250–260.

MoDELS-2016-PrzigodaWD #ocl #performance #smt

Ground setting properties for an efficient translation of OCL in SMT-based model finding (NP, RW, RD), pp. 261–271.

MoDELS-2016-FontAHC #algorithm #feature model #information retrieval #modelling #search-based

Feature location in models through a genetic algorithm driven by information retrieval techniques (JF, LA, ØH, CC), pp. 272–282.

MoDELS-2016-FreundB #algorithm #development #modelling

A generic transformation algorithm to simplify the development of mapping models (MF, AB), pp. 284–294.

MoDELS-2016-AlkhaziRKWG #approach #atl #automation #model transformation #refactoring #search-based

Automated refactoring of ATL model transformations: a search-based approach (BA, TR, MK, MW, WIG), pp. 295–304.

MoDELS-2016-AcretoaieSS #model transformation

Model transformation for end-user modelers with VMTL (VA, HS, DS), p. 305.

MoDELS-2016-SemerathDHV #co-evolution #incremental #logic #modelling

Incremental backward change propagation of view models by logic solvers (OS, CD, ÁH, DV), pp. 306–316.

MoDELS-2016-DanielSC #framework #modelling #named

PrefetchML: a framework for prefetching and caching models (GD, GS, JC), pp. 318–328.

MoDELS-2016-WeiKGBP #modelling #xmi

Partial loading of XMI models (RW, DSK, AGD, KB, RFP), pp. 329–339.

MoDELS-2016-Garcia-Dominguez #graph #integration #modelling #tool support

Integration of a graph-based model indexer in commercial modelling tools (AGD, KB, DSK, MAAdS, AA, AB), pp. 340–350.

MoDELS-2016-BergmannDRV #bidirectional #collaboration #data access #modelling #using

Query-based access control for secure collaborative modeling using bidirectional transformations (GB, CD, IR, DV), pp. 351–361.

MoDELS-2016-ZhangYAL #analysis #case study #mutation testing #towards

Towards mutation analysis for use cases (HZ, TY, SA, CL), pp. 363–373.

MoDELS-2016-BatotS #framework #learning #testing #unification

A generic framework for model-set selection for the unification of testing and learning MDE tasks (EB, HAS), pp. 374–384.

MoDELS-2016-DeVriesC #analysis #automation #detection #requirements

Automatic detection of incomplete requirements via symbolic analysis (BD, BHCC), pp. 385–395.

MoDELS-2016-ChabotPN #design #multi #testing

A requirement driven testing method for multi-disciplinary system design (MC, LP, ANM), pp. 396–405.