Juergen Dingel Wolfram Schulte Isidro Ramos Silvia Abrahão Emilio Insfran (Eds.) Model-Driven 7 6 Engineering Languages 7 8 S C and Systems N L 17th International Conference, MODELS 2014 Valencia, Spain, September 28 – October 3, 2014 Proceedings 123 Lecture Notes in Computer Science 8767 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum MaxPlanckInstituteforInformatics,Saarbruecken,Germany Juergen Dingel Wolfram Schulte Isidro Ramos Silvia Abrahão Emilio Insfran (Eds.) Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014 Valencia, Spain, September 28 – October 3, 2014 Proceedings 1 3 VolumeEditors JuergenDingel Queen’sUniversity,Kingston,ON,Canada E-mail:[email protected] WolframSchulte MicrosoftResearch,Redmond,WA,USA E-mail:[email protected] IsidroRamos SilviaAbrahão EmilioInsfran UniversitatPolitècnicadeValència,Spain E-mail:{iramos,sabrahao,einsfran}@dsic.upv.es ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-319-11652-5 e-ISBN978-3-319-11653-2 DOI10.1007/978-3-319-11653-2 SpringerChamHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2014948734 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerInternationalPublishingSwitzerland2014 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface Software and systems development based on modeling recognizes abstraction and automation as key principles to deal with the complexity of modern soft- ware.Model-baseddevelopmentapproacheshavetheprovencapabilitytodeliver complex, dependable software efficiently and effectively. TheMODELSconferenceseriesbringstogethereducators,practitioners,and researchers to solidify and extend the benefits of modeling for the development of current and future software and systems by providing the premier venue for the dissemination and discussion of high-quality work in the area of software andsystemsmodeling.Thescopeoftheconferenceseriesisbroad,encompassing modelinglanguages,methods,tools,andapplicationsconsideredfromtheoretical and practical angles and in academic and industrial settings. For MODELS 2014, authors were invited to submit papers to a Founda- tions track and a Model-DrivenEngineeringin Practicetrack. The Foundations track provides a forum for new ideas, results, and insights that can advance thestate-of-the-artandcontainsfourpapercategories:Technicalpaperspresent novel, scientifically rigorous solutions to significant model-based development problems. Exploratory papers describe new, unconventional research positions and approaches. Empirical evaluation papers assess existing problem cases or validate proposed solutions scientifically through, e.g., empirical studies, exper- iments, case studies, or simulations. Modeling pearls are polished, elegant, and insightfulapplicationsofmodeling.Forthefirsttime,authorscouldsubmitsup- porting artifacts via the Repositoryfor Model DrivenDevelopment(ReMoDD). For modeling pearls this was required and for empirical evaluation papers this was encouraged. TheMDEinPracticetrackchallengesresearchersandpractitionerstodiscuss innovations and solutions to concrete software modeling problems and experi- ences related to the industrial adoption of modeling techniques. Authors were invited to submit original experience reports and case studies, both with clear take-away value by describing the context of a problem of practical, industrial importance and application and its solution. Overall, 126 full papers were submitted to the Foundations track and 35 to theMDEinPracticetrack.Paperauthorscamefrom33differentcountrieswith Germany, USA, Norway, and France being the most frequent. The MODELS2014reviewprocesswasdesignedto ensurehigh-qualityfeed- backto the authorsanda high-qualityprogram.As in the two previousyears,a ProgramBoard(PB) was used to assistthe ProgramCommittee (PC) chairs in the monitoring of the reviews and the online PC discussion period. After every submission had been reviewed by three PC members, authors had a chance to correct factual mistakes in the reviews in a response period. Papers, reviews, and author responses were discussed in detail by the PC and PB during a VI Preface two-week online discussion period. On May 29, 2014, the PB meeting was held inPotsdam,Germany,withallPBmembersinattendanceto discussthe papers for which the online discussion period had not resulted in a clear decision. At thatmeeting,30of126submissionstothe Foundationstrackwereacceptedand three more were invited to resubmit after the correction of specific deficiencies; for the MDE in Practice Track, eight of 35 submissions were accepted and one wasinvitedtoresubmit.AfterreviewoftheresubmissionsbythePB,allofthem were accepted, resulting in an acceptance rate of 26% for both the Foundations track and the MDE in Practice track. The resulting programis broadandinclusivecovering,e.g., the theory,prac- tice, and pragmatics of modeling languages; model transformation; survey and vision papers; and experience reports and descriptions of the application of model-baseddevelopment.Papersreportonthe useofmodelinginawiderange of contexts ranging from domains in which modeling and model-based develop- menthavealreadybecome partofthe recognizedbestpractices(e.g., embedded devices,distributedsystems,signalprocessing,mechatronicsystems,andcontrol systems), to domains in which the use of modeling is a growing trend (e.g., web and mobile applications, and cloud computing), to domains in which software modeling techniques traditionally have not been used (e.g., tax law and grant proposal writing). This diversity provides evidence for the increasing maturity and adoption of modeling. ThepaperpresentationsintheFoundationsandMDEinPracticetrackswere complemented by three keynotes and two panels. The keynotes nicely echoed the diversity and quality of the MODELS 2014 program:The benefits of formal, foundational work in modeling languages were explored by Jose Meseguer, Professor of Computer Science at the University of IllinoisatUrbana-Champaign(UIUC),inhiskeynoteon“WhyFormalModeling LanguageSemanticsMatters”.Inhiskeynoteon“Modeling:aPracticalPerspec- tive”, Wolfgang Grieskamp, staff engineer at Google, reported on current uses and opportunities for modeling in industrial software engineering. In the third keynote,NuriaOliver,ScientificDirectorandfounderoftheUser,DataandMe- diaIntelligenceresearchareasatTelefonicaResearchinBarcelona,Spain,shared her thoughts on the use of models for improving the products and services of a large telecommunications company in her presentation“TowardsData-Driven ModelsofHumanBehavior”.Wewelcometheseinternationalleadersandexperts to the MODELS community and thank them for enriching the conference with their keynotes. The first panel on“Modeling Outside the Box”sought to break new ground in the use of modeling and encourage the audience to develop innovative, vi- sionaryideas about new areas of application and uses. The second panel“What Practioners and Industry Really Want”reached out to industry and attempted to identify industrial needs and challenges. We thank all panel participants for sharing their time, expertise, and ideas with the community so generously. MODELS 2014 would have been impossible without the hard work of many people.ItstartswiththeauthorswhosubmittedpaperstoMODELS.Wethank Preface VII them for sharing their work with us and giving us the material of which high- quality conference programs are made. We are grateful to the PB, PC, and the additionalreviewersforensuringthatMODELSremainsavenueworthattenting and submitting to. Their efforts constitute a vital contribution to the research community which, unfortunately, often do not receive the recognition they de- serve. On the more technical side, a big thank-you must go to Richard van de Stadt. His CyberChairPRO system and the prompt, reliable support Richard provided significantly facilitated many aspects of our work. Robert France pro- vided help with the use of ReMoDD for artifact submission which we gratefully acknowledge. We thank Holger Giese and his staff for helping with the organi- zationofthe PBmeeting inPotsdamandthe subsequentMDEworkshopatthe Hasso-Plattner-Institute which featured a wide range of talks and provided a stimulating overview of the trends, challenges, and open problems in MDE. We also thank the members of the Steering and Organizing Committees for their support and efforts to make MODELS 2014 a success. Lastly, we gratefully ac- knowledgetheassistanceofoursponsorsandsupportingorganizationsincluding the Universitat Polit`ecnica de Val`encia (UPV), which provided the venue and facilities for the conference and satellite events, the Escola T´ecnica Superior de Ingenieria Inform´atica (ETSINF-UPV), and our society sponsors IEEE, IEEE Computer Society, ACM, and ACM SIGSoft. August 2014 Juergen Dingel Wolfram Schulte Isidro Ramos Silvia Abrah˜ao Emilio Insfran Organization General Chairs Isidro Ramos Universitat Polit`ecnica de Val`encia, Spain Silvia Abrah˜ao Universitat Polit`ecnica de Val`encia, Spain Local Organizing Chair Emilio Insfran Universitat Polit`ecnica de Val`encia, Spain Foundations Track Program Chair Juergen Dingel Queen’s University, Canada MDE in Practice Track Program Chair Wolfram Schulte Microsoft Research, USA Steering Committee Chair Gregor Engels University of Paderborn, Germany Tutorial Chairs Juan de Lara Universidad Auto´noma de Madrid, Spain Michel Chaudron Chalmers University of Technology, Sweden Workshop Chairs Gabriele Taentzer Philipps-Universit¨atMarburg, Germany Alfonso Pierantonio University of L’Aquila, Italy Panel Chair Timothy C. Lethbridge University of Ottawa, Canada X Organization Demonstration Chairs Tao Yue Simula Research Laboratory, Norway Benoit Combemale University of Rennes 1/Inria, France Poster Chairs Manuel Wimmer Vienna University of Technology, Austria Stefan Sauer University of Paderborn, Germany Social Media Chairs Jordi Cabot E´cole des Mines de Nantes, France Dimitris Kolovos University of York, UK ACM Student Research Competition Chairs Marcela Genero University of Castilla-la Mancha, Spain Shaz Qadeer Microsoft Research, USA Publicity Chairs Alessandro Garcia PUC-Rio, Brazil Nelly Bencomo Aston University, UK Educators’ Symposium Chairs Birgit Demuth TU Dresden, Germany Dave Stikkolorum Leiden University, The Netherlands Doctoral Symposium Chair Benoit Baudry Inria, France Financial Chairs Jos´e A´ngel Cars´ı Universitat Polit`enica de Val`encia, Spain Patricio Letelier Universitat Polit`enica de Val`encia, Spain Local Facilities Chair Javier Gonza´lez-Huerta Universitat Polit`enica de Val`encia, Spain Organization XI Student Volunteers Chair M. Carmen Penad´es Universitat Polit`enica de Val`encia, Spain Web Chair Priscila Cedillo Universitat Polit`enica de Val`encia, Spain Program Board Jean-Michel Bruel CNRS/IRIT, Universit´e de Toulouse, France Gregor Engels University of Paderborn, Germany Martin Gogolla University of Bremen, Germany Øystein Haugen SINTEF, Norway Heinrich Hussmann Ludwig-Maximilians-Universit¨atMu¨nchen, Germany Jean-Marc J´ez´equel IRISA, France Gerti Kappel Vienna University of Technology, Austria Ana Moreira Universidade Nova de Lisboa, Portugal Richard Paige University of York, UK Andy Schu¨rr Technische Universit¨at Darmstadt, Germany Perdita Stevens University of Edinburgh, UK Program Committee: Foundations Track Daniel Amyot University of Ottawa, Canada Jo˜ao Arau´jo Universidade Nova de Lisboa, Portugal Mira Balaban Ben-Gurion University, Israel Benoit Baudry Inria, France Nelly Bencomo Aston University, UK Xavier Blanc University of Bordeaux, France Ruth Breu University of Innsbruck, Austria Jordi Cabot E´cole des Mines de Nantes / Inria, France Michel Chaudron Chalmers University of Technology, Sweden Marsha Chechik University of Toronto, Canada Siobhan Clarke Trinity College Dublin, Ireland Juan de Lara Universidad Autonoma de Madrid, Spain Zinovy Diskin McMaster University and University of Waterloo, Canada Alexander Egyed Johannes Kepler University, Austria Rik Eshuis Eindhoven University of Technology, The Netherlands Lidia Fuentes Universidad de Malaga, Spain Alessandro Garcia PUC-Rio, Brazil