SDL 2015: Model-Driven Engineering for Smart Cities: 17th International SDL Forum, Berlin, Germany, October 12–14, 2015, Proceedings PDF
Preview SDL 2015: Model-Driven Engineering for Smart Cities: 17th International SDL Forum, Berlin, Germany, October 12–14, 2015, Proceedings
Joachim Fischer · Markus Scheidgen Ina Schieferdecker · Rick Reed (Eds.) SDL 2015: Model-Driven 9 6 Engineering 3 9 S C for Smart Cities N L 17th International SDL Forum Berlin, Germany, October 12–14, 2015 Proceedings 123 Lecture Notes in Computer Science 9369 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, Zürich, 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/7411 Joachim Fischer Markus Scheidgen (cid:129) Ina Schieferdecker Rick Reed (Eds.) (cid:129) SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum – Berlin, Germany, October 12 14, 2015 Proceedings 123 Editors Joachim Fischer InaSchieferdecker Humboldt-Universität zuBerlin Fraunhofer FOKUS Berlin Berlin Germany Germany Markus Scheidgen RickReed Humboldt-Universität zuBerlin Telecommunications Software Engineering Berlin Windermere Germany UK ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-24911-7 ISBN978-3-319-24912-4 (eBook) DOI 10.1007/978-3-319-24912-4 LibraryofCongressControlNumber:2015950001 LNCSSublibrary:SL5–ComputerCommunicationNetworksandTelecommunications SpringerChamHeidelbergNewYorkDordrechtLondon ©SpringerInternationalPublishingSwitzerland2015 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 SpringerInternationalPublishingAGSwitzerlandispartofSpringerScience+BusinessMedia (www.springer.com) Preface The System Design Languages Forum (SDL Forum), held every two years, is an inter- national conference that provides an open arena for participants from academia and industrytopresentanddiscussrecentinnovations,trends,experiences,andconcernsinthe field of system design languages and modeling technologies. Originally focussing on theSpecificationandDescriptionLanguage—standardizedandfurtherdevelopedbythe International Telecommunications Union (ITU) over a period of nearly 40 years — the SDLForumhasbroadeneditstopicsinthecourseoftime. The SDL Forum conference series is run by the SDL Forum Society, a non-profit organizationfoundedin1995bylanguageusersandtoolproviderstopromotetheITU Specification and Description Language and related system design languages, includ- ing, for instance, Message Sequence Charts (MSC), Abstract Syntax Notation One (ASN.1), Testing and Test Control Notation (TTCN-3), User Requirements Notation (URN), Unified Modeling Language™ (UML), and Systems Modeling Language™ (SysML). Thelocalco-organizersofthe17theditionoftheSDLForum(SDL2015)werethe Humboldt-UniversitätzuBerlinandFraunhoferFOKUS.AspecialfocusofSDL2015 was on model-driven engineering for smart cities: In the future, new information and communicationtechnologieswillbeintegratedinmoreandmorebuildings,streets,and institutions. The challenge will be to allow all citizens a seamless access to relevant information,tosustainablyandeconomicallyusetheavailableresources,tomasterthe growing claims of networked mobility infrastructures, and to organize a modern, cit- izen-friendly administration. Modeling the structure and behavior of these kinds of complex systems of different domains requires adequate description, computation, testing,andgeneralsoftwaretechniques.Thus,theuseofmodelsservesnoendinitself butshouldideallyallowforautomaticderivationofcomplexsoftwarefrommodels.In addition, practical problems of performance, scalability, robustness, and security of such systems come into the focus of interest. This volume contains the papers presented at SDL 2015: 19 high-quality papers selectedfrom26submissions.EachpaperwaspeerreviewedbyatleastthreeProgram Committee members and discussed during the online Program Committee meeting. The selected papers cover a wide spectrum of topics related to system design lan- guages, ranging from the System Design Language usage and evolution to model transformations,andaregroupedintosixtechnicalsessionsasreflectedinthisvolume. The first session is devoted to smart cities and distributed systems. The papers in the secondsessionproposechangestotheITU-TSpecificationandDescriptionLanguage. Domain-specific languages are proposed in the third session papers, followed by a number of papers tackling different issues related to goal modeling. The fifth session includesasetofpapersonuse-casemodelingbeforeconcludingwithcontributionson model-based testing. VI Preface TheSDLForumhasbeenmadepossiblebythededicatedworkandcontributionsof many people and organizations. We thank the authors of submitted papers, the members of the Program Committee, and the members of the SDL Forum Society Board. We thank the communications services, conference services, and instructional and information technology services of Fraunhofer FOKUS for their support. The submission and review process was run with easychair.org, and we thank the people behind the EasyChair conference system. We thank the sponsors of SDL 2015: Technische Universität Kaiserslautern, PragmaDev, Fraunhofer FOKUS, Humboldt- Universität zu Berlin, and SDL Forum Society. October 2015 Joachim Fischer Markus Scheidgen Ina Schieferdecker Rick Reed SDL Forum Society TheSDLForumSocietyisanotforprofitorganizationthat,inadditiontorunningthe System Design Languages Forum (SDL Forum) conference series of events (once every two years), also: (cid:129) Runs the System Analysis and Modelling (SAM) workshop series, every 2 years between SDL Forum years. (cid:129) Is a body recognized by ITU-T as co-developing System Design Languages in the Z.100 series (Specification and Description Language), Z.120 series (Message Sequence Chart), Z.150 series (User Requirements Notation) and other language standards. (cid:129) Promotes the ITU-T System Design Languages. For more information on the SDL Forum Society, see http://www.sdl-forum.org. Organization Chairs Joachim Fischer Humboldt-Universität zu Berlin, Germany Markus Scheidgen Humboldt-Universität zu Berlin, Germany Ina Schieferdecker Fraunhofer FOKUS/Freie Universität Berlin, Germany Holger Schlingloff Fraunhofer FOKUS/Humboldt-Universität zu Berlin, Germany Members Reinhard Gotzhein Chairman SDL Forum Society Ferhat Khendek Secretary SDL Forum Society Joachim Thees Treasurer SDL Forum Society Rick Reed Non-voting member of SDL Forum Society Board Program Committee Conference Chairs Joachim Fischer Humboldt-Universität zu Berlin, Germany Markus Scheidgen Humboldt-Universität zu Berlin, Germany Ina Schieferdecker Fraunhofer FOKUS/Freie Universität Berlin, Germany Holger Schlingloff Fraunhofer FOKUS/Humboldt-Universität zu Berlin, Germany Reinhard Gotzhein Chairman SDL Forum Society Members Daniel Amyot University of Ottawa, Canada Pau Fonseca i Casas Universitat Politècnica de Catalunya, Spain Gunter Mussbacher McGill University, Canada Shaukat Ali Simula Research Laboratory, Norway Rolv Bræk NTNU Trondheim, Norway Reinhard Brocks HTW Saarland, Germany Jean-Michel Bruel University of Toulouse, France Anders Ek IBM Rational, Sweden Stein Erik Ellevseth ABB Corporate Research, Norway Joachim Fischer Humboldt-Universität zu Berlin, Germany Markus Scheidgen Humboldt-Universität zu Berlin, Germany Emmanuel Gaudin PragmaDev, France Birgit Geppert Avaya, USA X Organization Abdelouahed Gherbi Écoledetechnologiesupérieure,UniversitéduQuébec, Canada Reinhard Gotzhein Technische Universität Kaiserslautern, Germany Jens Grabowski University of Göttingen, Germany Øystein Haugen SINTEF, Norway Loïc Hélouët Inria Rennes, France Peter Herrmann NTNU Trondheim, Norway Andreas Hoffmann Fraunhofer FOKUS, Germany Dieter Hogrefe University of Göttingen, Germany Ferhat Khendek Concordia University, Canada Tae-Hyong Kim Kumoh National Institute of Technology, Korea Jacques Klein University of Luxembourg, Luxembourg Finn Kristoffersen Cinderella, Denmark Anna Medve University of Pannonia, Hungary Pedro Merino Gómez University of Malaga, Spain Birger Møller-Pedersen University of Oslo, Norway Patricio Moreno Montero ACCIONA, Spain Ileana Ober University of Toulouse, France Iulian Ober University of Toulouse, France Fei Peng Siemens CT, China Dorina Petriu Carleton University, Canada Andreas Prinz Agder University College, Norway Rick Reed TSE, UK Tom Ritter Fraunhofer FOKUS, Germany Manuel Valladolid University, Spain Rodriguez-Cayetano Richard Sanders SINTEF, Norway Amardeo Sarma NEC Laboratories Europe, Germany Ina Schieferdecker Fraunhofer FOKUS/Freie Universität Berlin, Germany Holger Schlingloff Fraunhofer FOKUS/Humboldt-Universität zu Berlin, Germany Edel Sherratt University of Wales Aberystwyth, UK Maria Toeroe Ericsson, Canada Peter Tröger Potsdam University, Germany Hans Vangheluwe University of Antwerp, Belgium/McGill University, Canada Martin von Löwis Beuth-Hochschule für Technik Berlin, Germany Thomas Weigert Missouri University of Science and Technology and UniqueSoft, USA Manuel Wimmer Technische Universität Wien, Austria Steffen Zschaler King’s College London, UK
The list of books you might like
