Transactions on Foundations for Mastering Change I PDF
Preview Transactions on Foundations for Mastering Change I
e n i l b u S l a n r u o J Transactions on 0 6 Foundations for 9 9 S C Mastering Change I N L Bernhard Steffen Editor-in-Chief 123 Lecture Notes in Computer Science 9960 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/15545 Bernhard Steffen (Ed.) Transactions on Foundations for Mastering Change I 123 Editor-in-Chief Bernhard Steffen TU Dortmund Dortmund Germany ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-319-46507-4 ISBN978-3-319-46508-1 (eBook) DOI 10.1007/978-3-319-46508-1 LibraryofCongressControlNumber:2016951710 ©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 ThegoaloftheLNCS–TransactionsonFoundationsforMasteringChange(FoMaC)is to establish a community for developing theories, methods, and tools for dealing with the fact that change is not an exception, but the norm for today’s systems. The initial issueofFoMaCcomprises,inparticular,contributionsbythemembersoftheeditorial board, in order to indicate its envisioned style and range of papers, which cross-cuts varioustraditionalresearchdirections,butischaracterizedbyitsclearfocusonchange. August 2016 Bernhard Steffen Organization Editor-in-Chief Bernhard Steffen TU Dortmund University, Germany Editorial Board Michael Felderer University of Innsbruck, Austria Klaus Havelund Jet Propulsion Laboratory/NASA, USA Mike Hinchey Lero, Ireland Reiner Hähnle TU Darmstadt, Germany Axel Legay Inria, France Tiziana Margaria Lero, Ireland Arend Rensink University of Twente, The Netherlands Bernhard Steffen TU Dortmund University, Germany Stavros Tripakis Aalto UniversityandUniversityofCalifornia,Berkeley,USA Martin Wirsing LMU, Munich, Germany LNCS Transaction on the Foundations for Mastering Change (FoMaC) Aims and Scope Everything Moves: Change Is No Exception for Today’s Systems — It Is the Norm The LNCS Transactions on Foundations for Mastering Change (FoMaC) intend to establishaforumforfoundationalresearchthatfostersadisciplineforrigorouslydealing with the phenomenon of change. In particular it addresses the very nature of today’s agile system development, which is characterized by unclear premises, unforeseen change,andtheneedforfastreaction,inacontextofhard-to-controlframeconditions, such as third-party components, network problems, and attacks. We envision focused contributionsthatreflectandenhancethestateoftheartundertheperspectiveofchange. Thismaycomprisenewtheoreticalresults,analysistechnology,toolsupport,experience reportsandcasestudies,aswellaspragmaticsforchange,i.e.,user-centricapproaches that make inevitable changes controllable in practice. Papers may well focus on individualtechniques,butmustclearlypositionthemselvesintheFoMaClandscape. Scope FoMaC is concerned with the foundations for mastering change and variation during the whole systems lifecycle at various conceptual levels, in particular during Meta-Modeling: This can be regarded as a technology transfer issue, where methods are considered to systematically adapt solutions from one (application) domain for another domain. This comprises meta-modeling, generation of and transforma- tions between domain-specific languages, as well as other issues of domain modeling and validation. Modeling and Design: This is the main level at which “classic” variability modeling operates. The methods considered here generalize classic modeling to specifically address variability issues, e.g., where and how to change things, and technology to maintain structural and semantical properties within the range of modeled variability.Heremethodssuchasfeaturemodeling,“150%modeling,”product- line management, model-to-model transformations, constraint-based (require- ment) specification, synthesis-based model completion, model checking, and feature interactiondetection are considered. Implementation: Atthislevel,FoMaC addresses methodsbeyondclassicparametricand modular programming approaches, such as aspect orientation, delta programming, program generation, generative programming, and program transformation, but X (FoMaC) Aims andScope alsostaticanddynamicvalidationtechniques,e.g.,programverification,symbolic execution,runtime verification, (model-based) testing, and test-based modeling, Runtime: This is the level of self-X technology, where methods are addressed that allow, steer, and control the autonomous evolution of systems during runtime. These methods comprise techniques to achieve fault tolerance, runtime planning and synthesis, higher-order exchange offunctionality, hot deployment and fail-over, and they should go hand in hand with the aforementioned dynamic validation techniques, such as program verification, symbolic execution, runtime verifica- tion, (model-based) testing, test-based modeling, and monitoring. Evolution/Migration: This level is concerned with the long-term perspective of system evolution, i.e., the part where the bulk of costs is accumulated. Central issues here are the change of platform, the merging of systems of overlapping functionality, the maintenance of downward compatibility, and the support of a continuous (system) improvement process, as well as continuous quality assurance, comprising regression testing, monitoring, delta testing, and model-based diagnostic features. FoMaC comprises regular papers and Special Sections. Both need to clearly focus on change. Special Sections, however, provide the unique opportunity to shed light on a wider thematic contextwhileestablishing appropriate (change-oriented) links between the subtopics. Submission of Manuscripts Moredetailedinformation,inparticularconcerningthesubmissionprocessaswellasa direct access to the editorial system, can be found under http://www.fomac.de/. Contents Introduction to the First Issue of FoMaC . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Bernhard Steffen Knowledge Management for Inclusive System Evolution. . . . . . . . . . . . . . . 7 Tiziana Margaria Archimedean Points: The Essence for Mastering Change . . . . . . . . . . . . . . . 22 Bernhard Steffen and Stefan Naujokat Model Patterns: The Quest for the Right Level of Abstraction . . . . . . . . . . . 47 Arend Rensink Verified Change . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Klaus Havelund and Rahul Kumar Good Change and Bad Change: An Analysis Perspective on Software Evolution. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 Mikael Lindvall, Martin Becker, Vasil Tenev, Slawomir Duszynski, and Mike Hinchey Compositional Model-Based System Design and Other Foundations for Mastering Change . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113 Stavros Tripakis Proof Repositories for Compositional Verification of Evolving Software Systems: Managing Change When Proving Software Correct . . . . . . . . . . . . 130 Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, and Ingrid Chieh Yu Statistical Model Checking with Change Detection . . . . . . . . . . . . . . . . . . . 157 Axel Legay and Louis-Marie Traonouez Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180 Lenz Belzner, Matthias Hölzl, Nora Koch, and Martin Wirsing Continuous Collaboration for Changing Environments. . . . . . . . . . . . . . . . . 201 Matthias Hölzl and Thomas Gabor Issues on Software Quality Models for Mastering Change . . . . . . . . . . . . . . 225 Michael Felderer
The list of books you might like
