Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings PDF
Preview Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Manuel Mazzara Jean-Michel Bruel Bertrand Meyer Alexander Petrenko (Eds.) 1 7 7 Software Technology: 1 1 S C Methods and Tools N L 51st International Conference, TOOLS 2019 Innopolis, Russia, October 15–17, 2019 Proceedings Lecture Notes in Computer Science 11771 Founding Editors Gerhard Goos Karlsruhe Institute of Technology, Karlsruhe, Germany Juris Hartmanis Cornell University, Ithaca, NY, USA Editorial Board Members Elisa Bertino Purdue University, West Lafayette, IN, USA Wen Gao Peking University, Beijing, China Bernhard Steffen TU Dortmund University, Dortmund, Germany Gerhard Woeginger RWTH Aachen, Aachen, Germany Moti Yung Columbia University, New York, NY, USA More information about this series at http://www.springer.com/series/7408 Manuel Mazzara Jean-Michel Bruel (cid:129) (cid:129) Bertrand Meyer Alexander Petrenko (Eds.) (cid:129) Software Technology: Methods and Tools 51st International Conference, TOOLS 2019 – Innopolis, Russia, October 15 17, 2019 Proceedings 123 Editors Manuel Mazzara Jean-Michel Bruel Innopolis University IUT deBlagnac Innopolis,Russia Blagnac, France Bertrand Meyer Alexander Petrenko Innopolis University IvannikovInstituteforSystemProgramming Innopolis,Russia Russian Academy of Sciences Moscow,Russia ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-030-29851-7 ISBN978-3-030-29852-4 (eBook) https://doi.org/10.1007/978-3-030-29852-4 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©SpringerNatureSwitzerlandAG2019 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, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface Started in 1989, the TOOLS conference series has played a major role in the devel- opmentofobjecttechnologyandhascontributedinmakingitpopular,mainstream,and ubiquitous. The 50th edition of the series “The Triumph of Objects,” was held in Prague in 2012 and was meant to be the closing edition for a conference that had brought, to a large audience, ideas originally shared only by a niche. After an inter- ruption of seven years, TOOLS now starts again with a scope extended to software technologies and applications and all the modern approaches to software engineering, robotics, and machine learning. The edition 50th+1 was held at Innopolis University, the educational center of the techno-cityofTatarstan,Russia.Thenumbering (50+1)istoemphasizethereopening of the series and celebrate it. The venue, being one of the most recently established universities in the world (2012), seemed to be the right place to celebrate a synergy betweentraditionandfuture.ThisvolumecontainsthepaperspresentedatTOOLS50 +1 during the period October 15–17, 2019. There were 62 submissions. Each sub- mission was reviewed by at least three Program Committee members. The committee decidedtoaccept 32papers,includinglong andshortcontributions.Theprogramalso includes four invited talks. The conference was made possible by the joint effort of several colleagues and departments.WewouldliketothankBertrandMeyerandAlexandrTormasovintheir role as general chairs, as well as Inna Baskakova, Oksana Zhirosh, Sergey Masyagin, Giancarlo Succi, Alberto Sillitti, Andrey Sadovykh, Mansur Khazeev, and Alexandr Naumchev for supporting the creation and organization of the event. JooYoung Lee, Adil Adelshin,and Sophie Ebersoldwere instrumental inpromotingtheconferencein Russia andabroad.LastbutnotleasttheProgram Committee that operated effectively indefining the program (afull listof names of additional reviewers isincludedin this volume). The process of volume preparation was enabled and simplified by a funda- mental tool like EasyChair. Financially, we have also received the support of Eiffel Software, SOFTEAM, and Springer, which funded the Best Paper Awards. July 2019 Manuel Mazzara Jean-Michel Bruel Bertrand Meyer Alexander Petrenko Organization Program Committee Muhammad Ahmad Messina University, Italy Danilo Ardagna Politecnico di Milano, Italy Marco Autili Università dell’Aquila, Italy Sergey Avdoshin National Research University Higher School of Economics, Russia Luciano Baresi Politecnico di Milano, Italy Alexandre Bergel University of Chile, Chile Jean Bezivin Software Consultant, France Judith Bishop University of Stellenbosch, South Africa Jean-Michel Bruel IRIT, France Antonio Bucchiarone FBK-IRST, Italy Paolo Ciancarini University of Bologna, Italy Salvatore Distefano Messina University, Italy Nicola Dragoni Technical University of Denmark, Denmark Catherine Dubois ENSIIE-Samovar, France Schahram Dustdar Vienna University of Technology, Austria Angelo Gargantini University of Bergamo, Italy Adil Khan Innopolis University, Russia Victor Kuliamin Institute for System Programming, Russian Academy of Sciences, Russia Cosimo Laneve University of Bologna, Italy Jooyoung Lee Innopolis University, Russia Manuel Mazzara Innopolis University, Russia Hernan Melgratti Universidad de Buenos Aires, Argentina Bertrand Meyer ETH Zurich, Switzerland Raffaela Mirandola Politecnico di Milano, Italy James Noble Victoria University of Wellington, New Zealand Manuel Oriol ABB Corporate Research, Sweden Richard Paige University of York, UK Alexander K. Petrenko ISP RAS, Russia Mauro Pezzè University of Lugano, Switzerland Victor Rivera Australian National University, Australia Andrey Sadovykh Softeam, France Ebersold Sophie IRIT, France Jan Vitek Northeastern University, USA Jim Woodcock University of York, UK Gianluigi Zavattaro University of Bologna, Italy viii Organization Additional Reviewers Ali, Mohsin De Sanctis, Martina Giaretta, Alberto Ivanov, Vladimir Kumar, Devender Ligozat, Anne-Laure Missiroli, Marcello Nibouche, Omar Strugar, Dragos Veschetti, Adele Abstracts of Invited Talks Science of Computing: From Functions and Sequentiality to Processes and Concurrency Davide Sangiorgi FocusTeam, University ofBologna andInria Abstract. The first part of the talk will be about history: I will discuss the origins of a few important concepts of concurrency theory, and how these conceptshave changedthe meaning of ‘Scienceof Computing’. The second part of the talk will focus on one of such concepts, namely coinduction.Coinductionisthedualofinduction–apervasivetoolinComputer Science andMathematics for defining objects andproving properties onthem. TodaycoinductioniswidelyusedinComputerScience,butalsoinotherfields, includingArtificialIntelligence,CognitiveScience,Mathematics,ModalLogics, Philosophy, particularly for reasoning about objects that may be potentially infinite or circular. If time permits I will show examples in which coinductive techniquesarecombinedwithothertechniques,suchasinductivetechniquesor type-basedtechniquesortechniquesbasedonunique-solutionofequations[1–3]. References 1. Durier, A., Hirschkoff, D., Sangiorgi, D.: Eager functions as processes. In: 33nd Annual ACM/IEEESymposiumonLogicinComputerScience.LICS2018.IEEEComputerSociety (2018) 2. Pous, D.,Sangiorgi, D.: Enhancements of the bisimulation proof method.In: Sangiorgi, D., Rutten, J. (eds.) Advanced Topics in Bisimulation and Coinduction. Cambridge University Press(2012) 3. Sangiorgi, D.: Typed π-calculus at work: a correctness proof of Jones’s parallelisation transformation onconcurrent objects.Theory Pract. ObjectSyst.5(1), 25–34(1999)
The list of books you might like
