Ana M. D. Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke
Proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems
MoDELS, 2013.

@proceedings{MoDELS-2013,
	address       = "Miami, Florida, USA",
	doi           = "10.1007/978-3-642-41533-3",
	editor        = "Ana M. D. Moreira and Bernhard Schätz and Jeff Gray and Antonio Vallecillo and Peter J. Clarke",
	isbn          = "978-3-642-41532-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems}",
	volume        = 8107,
	year          = 2013,
}

Event page: http://models2013.lcc.uma.es/

Committee

Contents (47 items)

18 ×#modelling
8 ×#metamodelling
7 ×#uml
6 ×#using
5 ×#approach
5 ×#composition
5 ×#constraints
4 ×#analysis
4 ×#automation
4 ×#domain-specific language

MODELS-2013-WhittleHRBH #industrial #modelling #problem #question #tool support

Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? (JW, JH, MR, HB, RH), pp. 1–17.

MODELS-2013-SteimannU

Generic Model Assist (FS, BU), pp. 18–34.

MODELS-2013-FrancisKMP #spreadsheet #tool support

Adding Spreadsheets to the MDE Toolkit (MF, DSK, NDM, RFP), pp. 35–51.

MODELS-2013-PerezGCCC #analysis #modelling #network #policy #security

Model-Driven Extraction and Analysis of Network Security Policies (SMP, JGA, FC, NCB, JC), pp. 52–68.

MODELS-2013-VaraP #metamodelling #named #safety #standard

SafetyMet: A Metamodel for Safety Standards (JLdlV, RKPW), pp. 69–86.

MODELS-2013-PretschnerHEG #assurance #fault #quality

A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.

MODELS-2013-StorrleF #analysis #physics #towards #visual notation

Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages (HS, AF), pp. 104–120.

MODELS-2013-BatoryLA #database #education #modelling #perspective #relational

Teaching Model Driven Engineering from a Relational Database Perspective (DSB, EL, MA), pp. 121–137.

MODELS-2013-FondementMTWF #metamodelling

Big Metamodels Are Evil — Package Unmerge — A Technique for Downsizing Metamodels (FF, PAM, LT, BW, GF), pp. 138–153.

MODELS-2013-ElaasarN #case study #development #lifecycle #modelling #tool support

Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study (ME, AN), pp. 154–169.

MODELS-2013-KuschkeMR #modelling #process #recommendation

Recommending Auto-completions for Software Modeling Activities (TK, PM, PR), pp. 170–186.

MODELS-2013-FaunesCBSC #automation #metamodelling

Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.

MODELS-2013-WimmerB #testing

Testing M2T/T2M Transformations (MW, LB), pp. 203–219.

MODELS-2013-ChavezSFM #approach #implementation #java #testing #uml

An Approach to Testing Java Implementation against Its UML Class Model (HMC, WS, RBF, BAM), pp. 220–236.

MODELS-2013-WangGAL #automation #case study #feature model #industrial #testing #using

Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.

MODELS-2013-TaentzerMAL #metamodelling #migration #multi

Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (GT, FM, TA, YL), pp. 254–270.

MODELS-2013-CazzolaRAF #evolution #fine-grained #modelling #process #uml #using

Fine-Grained Software Evolution Using UML Activity and Class Models (WC, NAR, MAR, RBF), pp. 271–286.

MODELS-2013-DemuthLE #co-evolution #constraints #incremental #metamodelling

Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management (AD, RELH, AE), pp. 287–303.

MODELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using

Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.

MODELS-2013-PiresPWD #behaviour #embedded #source code #verification

Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.

MODELS-2013-ZalilaCP #approach #domain-specific language #integration #verification

Formal Verification Integration Approach for DSML (FZ, XC, MP), pp. 336–351.

MODELS-2013-AcherCCBLF #composition #modelling #variability

Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.

MODELS-2013-NieYAZF #automation #constraints #cyber-physical #named

Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems (KN, TY, SA, LZ, ZF), pp. 370–387.

MODELS-2013-Gonzalez-HuertaIA #approach #architecture #multi #validation

Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement (JGH, EI, SA), pp. 388–404.

MODELS-2013-WendlandSH #evolution #interactive #metamodelling #uml

Evolution of the UML Interactions Metamodel (MFW, MS, ØH), pp. 405–421.

MODELS-2013-RajbhojR #approach #detection #metamodelling #version control

A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System (AR, SR), pp. 422–435.

MODELS-2013-HebigGSS #evolution #on the

On the Complex Nature of MDE Evolution (RH, HG, FS, AS), pp. 436–453.

MODELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml

Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.

MODELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #semantics #specification

Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.

MODELS-2013-HamannG #concept #metamodelling #semantics #uml

Endogenous Metamodeling Semantics for Structural UML 2 Concepts (LH, MG), pp. 488–504.

MODELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using

Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.

MODELS-2013-Wouters #development #domain-specific language #towards

Towards the Notation-Driven Development of DSMLs (LW), pp. 522–537.

MODELS-2013-SemerathHV #constraints #domain-specific language #graph #query #validation

Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.

MODELS-2013-SongBCC #adaptation #constraints #modelling #runtime #self #theorem proving #using

Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving (HS, SB, AC, SC), pp. 555–571.

MODELS-2013-ZhangCZWY0L #modelling #runtime

Runtime Model Based Management of Diverse Cloud Resources (XZ, XC, YZ, YW, WY, GH, QL), pp. 572–588.

MODELS-2013-IordanovAAHU #modelling #semantics #web

The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management (BI, AA, SA, TH, PU), pp. 589–603.

MODELS-2013-AlamKM #design

Concern-Oriented Software Design (OA, JK, GM), pp. 604–621.

MODELS-2013-SunkleKR #architecture #enterprise #modelling #ontology #using

Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology (SS, VK, SR), pp. 622–638.

MODELS-2013-FariasGWL #case study #design #industrial #modelling #scalability

Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies (KF, AG, JW, CJPdL), pp. 639–655.

MODELS-2013-TisiPC #atl #execution #parallel

Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.

MODELS-2013-FamelisSSC #modelling #nondeterminism

Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.

MODELS-2013-SelimBCDW #automation #industrial #model transformation #verification

Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.

MODELS-2013-SaadB #analysis #data flow

Data-Flow Based Model Analysis and Its Applications (CS, BB), pp. 707–723.

MODELS-2013-SunFR #modelling #slicing #uml

Contract-Aware Slicing of UML Class Models (WS, RBF, IR), pp. 724–739.

MODELS-2013-FernandezAIM #development #empirical #modelling #usability #validation #web

Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML (AF, SA, EI, MM), pp. 740–756.

MODELS-2013-ArkinTI #algorithm #approach #modelling #parallel #platform

Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms (EA, BT, KMI), pp. 757–773.

MODELS-2013-GreenyerK #composition #specification #synthesis

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.