Jens Grabowski · Steffen Herbold (Eds.) System Analysis 9 5 and Modeling 9 9 S C N Technology-Specific Aspects of Models L 9th International Conference, SAM 2016 Saint-Melo, France, October 3–4, 2016 Proceedings 123 Lecture Notes in Computer Science 9959 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zurich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max Planck Institute for Informatics, Saarbrücken, Germany More information about this series at http://www.springer.com/series/7408 Jens Grabowski Steffen Herbold (Eds.) (cid:129) System Analysis and Modeling fi Technology-Speci c Aspects of Models 9th International Conference, SAM 2016 – Saint-Melo, France, October 3 4, 2016 Proceedings 123 Editors Jens Grabowski SteffenHerbold Georg-August-Universität Göttingen Georg-August-Universität Göttingen Göttingen Göttingen Germany Germany ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-46612-5 ISBN978-3-319-46613-2 (eBook) DOI 10.1007/978-3-319-46613-2 LibraryofCongressControlNumber:2016951709 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerInternationalPublishingAG2016 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface TheSystemAnalysisandModeling(SAM)conferenceprovidesanopenarenaforpar- ticipantsfromacademiaandindustrytopresentanddiscussthemostrecentinnovations, trends,experiences,andconcernsinmodeling,specification,andanalysisofdistributed, communication,andreal-timesystemsusingtheSpecificationandDescriptionLanguage (SDL-2010) and Message Sequence Charts (MSC) notations from the International TelecommunicationUnion(ITU-T),aswellasrelatedsystemdesignlanguagessuchas UML,ASN.1,TTCN-3,SysML,andtheUserRequirementsNotation(URN). The first seven editions of SAM (Berlin 1998, Grenoble 2000, Aberystwyth 2002, Ottawa 2004, Kaiserslautern 2006, Oslo 2010, and Innsbruck 2012) were workshops. Since the 2014 edition of SAM in Valencia, SAM has become a conference to better reflect its structure, audience, and overall quality. This 9th SAM conference (http://sdl-forum.org/Events/SAM2016/) was co-located with the ACM/IEEE 19th International Conference on Model-Driven Engineering LanguagesandSystems(MODELS2016)inSaint-Malo,France, duringOctober 3–4, 2016. Theme for 2016: Technology-Specific Aspects of Models Modernmodelinglanguagesareusedinmanydifferentdomainsandformanydifferent applications.Technology-specificaspectsofmodelsincludedomain-specificaspectsof models and peculiarities of using models for different technologies, including, but not limited to the Internet of Things (IoT), automotive software, cloud applications, and embedded software. Moreover, the usage of models for different purposes and the combinationwithdifferentsoftwareengineeringtechnologies,includingbutnotlimited to software testing, requirements engineering, and automated code generation are also of interest within this theme. SAM 2016 especially invited contributions that cover such domain and application-specificaspects.Additionally,academicsandindustryrepresentativeswere invited to provide contributions regarding models and quality, language development, model-driven development, and applications. Review Process SAM2016usedamulti-tierreviewprocess.First,allpaperswerereviewedbyatleast threeProgramCommitteemembers.Thepapersandreviewswerethenmadeavailable to Program Committee members who did not have a conflict of interest with the authors. The papers were discussed online during a one-week online meeting before final decisions were made. Out of 31 full papers, 15 papers were selected (48% acceptance rate). VI Preface Proceedings Overview This volume contains 15 papers selected for presentation at SAM 2016. The volume reflects the five sessions of the conference. The first two sessions are closely aligned with theconferencethemewithasession onthe“Internet ofThings”andasession on “Technology-Specific Aspects.” The other three sessions cover aspects regarding modeling languages and model-driven development in general and were organized in the sessions “Languages, Configurations and Features” and “Patterns and Compilation.” Acknowledgement ThenintheditionofSAMwasmadepossiblebythededicatedworkandcontributions of many people and organizations. We thank the authors of submitted papers, the 41 members of the Program Committee, the three additional reviewers, and the board members of the SDL Forum Society. We thank the MODELS 2016 local Organizing Committeefortheirlogisticsupport.Thesubmissionandreviewprocesswasrunwith theEasyChairconferencesystem(http://www.easychair.org/)andwethankthepeople behind this great tool. October 2016 Jens Grabowski Steffen Herbold Organization Organizing Committee Chairs Jens Grabowski Georg-August-Universität Göttingen, Germany Steffen Herbold Georg-August-Universität Göttingen, Germany SDL Forum Society Reinhard Gotzhein University of Kaiserslautern, Germany (Chairman) Joachim Thees (Treasurer) University of Kaiserslautern, Germany Ferhat Khendek (Secretary) Concordia University, Canada Rick Reed (Non-voting TSE, UK board member) Program Committee Program Chairs Jens Grabowski Georg-August-Universität Göttingen, Germany Steffen Herbold Georg-August-Universität Göttingen, Germany Program Committee Shaukat Ali Simula Research Laboratory, Norway Daniel Amyot University of Ottawa, Canada Rolv Bræk Norwegian University of Science and Technology, Norway Reinhard Brocks HTW des Saarlandes, Germany Tibor Csöndes Ericsson, Hungary Dennis Christmann University of Kaiserslautern, Germany Pau Fonseca I Casas Universitat Politècnica de Catalunya, Spain Janusz Dobrowolski StateSoft, USA Stein Erik Ellevseth ABB Corporate Research, Norway Joachim Fischer Humboldt University of Berlin, Germany Emmanuel Gaudin PragmaDev, France Abdelouahed Gherbi Ecole de Technology Supérieure, Université du Quebec, Canada VIII Organization Reinhard Gotzhein University of Kaiserslautern, Germany Jameleddine Hassine KFUPM, Saudi Arabia Øystein Haugen SINTEF, Norway Loïc Hélouët Inria, France Peter Herrmann NTNU Trondheim, Norway Ferhat Khendek Concordia University, Canada Gábor Kovács Budapest University of Technology and Economics, Hungary Alexander Kraas T-Systems, Germany Finn Kristoffersen Cinderella ApS, Denmark Anna Medve University of Pannonia, Hungary Birger Møller-Pedersen University of Oslo, Norway Gunter Mussbacher McGill University, Canada Helmut Neukirchen University of Iceland, Iceland Ileana Ober University of Toulouse, IRIT, France Iulian Ober University of Toulouse, IRIT, France Dorina Petriu Carleton University, Canada Andrej Pietschker Giesecke & Devrient, Germany Andreas Prinz University of Agder, Norway Rick Reed TSE, UK György Rethy Ericsson, Hungary Axel Rennoch Fraunhofer FOKUS Berlin, Germany Manuel Rodríguez University of Valladolid, Spain Cayetano Ina Schieferdecker Freie Universität Berlin, Germany Edel Sherratt University of Wales Aberystwyth, UK Maria Toeroe Ericsson, Canada Andreas Ulrich Siemens AG, Germany Hans Vangheluwe University of Antwerp, Belgium and McGill University, Canada Thomas Weigert Uniquesoft LLC, USA Marc-Florian Wendland Fraunhofer FOKUS Berlin, Germany Reviewers Bart Meyers McGill University, Canada Martin Schneider Fraunhofer FOKUS Berlin, Germany Bruno Barroca McGill University, Canada Contents EvaluatingVariabilityModelingTechniquesforSupportingCyber-Physical System Product Line Engineering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Safdar Aqeel Safdar, Tao Yue, Shaukat Ali, and Hong Lu Complex Event Processing in ThingML. . . . . . . . . . . . . . . . . . . . . . . . . . . 20 An Ngoc Lam and Øystein Haugen SDL: Meeting the IoT Challenge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 Edel Sherratt Applying MDA and OMG Robotic Specification for Developing Robotic Systems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 Claudia Pons, Gabriela Pérez, Roxana Giandini, and Gabriel Baum Domain Model Optimized Deployment and Execution of Cloud Applications with TOSCA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 Fabian Glaser Representativeness and Descriptiveness of Task Trees Generated from Website Usage Traces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 Patrick Harms Optimizing Performance of SDL Systems. . . . . . . . . . . . . . . . . . . . . . . . . . 100 Mihal Brumbulli and Emmanuel Gaudin Evolving the ETSI Test Description Language . . . . . . . . . . . . . . . . . . . . . . 116 Philip Makedonski, Gusztáv Adamis, Martti Käärik, Finn Kristoffersen, and Xavier Zeitoun Object-Oriented Operational Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . 132 Andreas Prinz, Birger Møller-Pedersen, and Joachim Fischer Model Driven Upgrade Campaign Generation for Highly Available Systems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148 Oussama Jebbar, Margarete Sackmann, Ferhat Khendek, and Maria Toeroe Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164 Sofiene Beji, Abdelouahed Gherbi, John Mullins, and Pierre-Emmanuel Hladik