Bedir Tekinerdogan - Model Management and Analytics for Large Scale Systems

First edition

Bedir Tekinerdogan

nder Babur

Loek Cleophas

Mark van den Brand

Mehmet Akit

Academic Press is an imprint of Elsevier

125 London Wall, London EC2Y 5AS, United Kingdom

525 B Street, Suite 1650, San Diego, CA 92101, United States

50 Hampshire Street, 5th Floor, Cambridge, MA 02139, United States

The Boulevard, Langford Lane, Kidlington, Oxford OX5 1GB, United Kingdom

Copyright 2020 Elsevier Inc. All rights reserved.

No part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopying, recording, or any information storage and retrieval system, without permission in writing from the publisher. Details on how to seek permission, further information about the Publisher's permissions policies and our arrangements with organizations such as the Copyright Clearance Center and the Copyright Licensing Agency, can be found at our website: www.elsevier.com/permissions.

This book and the individual contributions contained in it are protected under copyright by the Publisher (other than as may be noted herein).

Notices

Knowledge and best practice in this field are constantly changing. As new research and experience broaden our understanding, changes in research methods, professional practices, or medical treatment may become necessary.

Practitioners and researchers must always rely on their own experience and knowledge in evaluating and using any information, methods, compounds, or experiments described herein. In using such information or methods they should be mindful of their own safety and the safety of others, including parties for whom they have a professional responsibility.

To the fullest extent of the law, neither the Publisher nor the authors, contributors, or editors, assume any liability for any injury and/or damage to persons or property as a matter of products liability, negligence or otherwise, or from any use or operation of any methods, products, instructions, or ideas contained in the material herein.

Library of Congress Cataloging-in-Publication Data

A catalog record for this book is available from the Library of Congress

British Library Cataloguing-in-Publication Data

A catalogue record for this book is available from the British Library

ISBN: 978-0-12-816649-9

For information on all Academic Press publications visit our website at https://www.elsevier.com/books-and-journals

Publisher: Mara Conner

Acquisition Editor: Mara Conner

Editorial Project Manager: John Leonard

Production Project Manager: Punithavathy Govindaradjane

Designer: Greg Harris

Typeset by VTeX

Antonin Abherve Softeam, Paris, France

Benny Akesson ESI (TNO), Eindhoven, The Netherlands

Mehmet Akit University of Twente, Computer Science, Formal Methods & Tools Group, Enschede, The Netherlands

Wilbert Alberts ASML N.V., Veldhoven, The Netherlands

nder Babur Eindhoven University of Technology, Eindhoven, The Netherlands

Alessandra Bagnato Softeam, Paris, France

Konstantinos Barmpis University of York, York, United Kingdom

Cagatay Catal Information Technology Group, Wageningen University, Wageningen, The Netherlands

Michel R.V. Chaudron

Chalmers University of Technology, Gothenburg, Sweden

Gothenburg University, Gothenburg, Sweden

Loek Cleophas

Eindhoven University of Technology, Eindhoven, The Netherlands

Stellenbosch University, Matieland, Republic of South Africa

Antonio Garca-Domnguez Aston University, Birmingham, United Kingdom

Regina Hebig

Chalmers University of Technology, Gothenburg, Sweden

Gothenburg University, Gothenburg, Sweden

Jozef Hooman

ESI (TNO), Eindhoven, The Netherlands

Radboud University, Nijmegen, The Netherlands

Truong Ho-Quang

Chalmers University of Technology, Gothenburg, Sweden

Gothenburg University, Gothenburg, Sweden

Aydin Kaya Department of Computer Engineering, Hacettepe University, Ankara, Turkey

Ali Seydi Keceli Department of Computer Engineering, Hacettepe University, Ankara, Turkey

Timo Kehrer Department of Computer Science, Humboldt-Universtitt zu Berlin, Berlin, Germany

Michael Nieke Institute of Software Engineering and Automotive Informatics, Technische Universitt Braunschweig, Braunschweig, Germany

Gner Orhan University of Twente, Computer Science, Formal Methods & Tools Group, Enschede, The Netherlands

Christopher Pietsch Department of Electrical Engineering and Computer Science, University of Siegen, Siegen, Germany

Eric J. Rapos Miami University, Department of Computer Science and Software Engineering, Oxford, OH, United States

Gregorio Robles King Juan Carlos University, Madrid, Spain

Ramon Schiffelers

Eindhoven University of Technology, Eindhoven, The Netherlands

ASML N.V., Veldhoven, The Netherlands

Christoph Seidl Institute of Software Engineering and Automotive Informatics, Technische Universitt Braunschweig, Braunschweig, Germany

Jack Sleuters ESI (TNO), Eindhoven, The Netherlands

Matthew Stephan Miami University, Department of Computer Science and Software Engineering, Oxford, OH, United States

Harald Strrle QAware GmbH, Mnchen, Germany

Aishwarya Suresh Eindhoven University of Technology, Eindhoven, The Netherlands

Bedir Tekinerdogan Information Technology Group, Wageningen University, Wageningen, The Netherlands

Burak Uzun Information Technology Group, Wageningen University, Wageningen, The Netherlands

Mark van den Brand Eindhoven University of Technology, Eindhoven, The Netherlands

Adrian Yankov Altran, Eindhoven, The Netherlands

Alfonso Pierantonio

The sheer complexity of software nowadays and its pervasiveness in everyday life have escalated the importance of managing abstraction by means models, modeling notations, and in general more model-based techniques. However, the proliferation of heterogeneous collections of related models in large-scale software development and their inherent complexity introduced an accidental complexity that requires advanced techniques for model management as well as model analysis. For instance, locating relevant information in a model repository presents interesting human and technical challenges because it requires the artifacts in the repository to be precisely classified, something that can not always be done manually.

This book provides an important overview of the most relevant and current aspects of model management and related analytical methods. It covers a full spectrum of topics covering foundations, methodological and empirical studies, and industrial applications. Interestingly, there is an aspect that emerges throughout the book that is particularly distinctive; most of the contributions assume that nowadays model-based techniques cannot neglect complexity, whether it be the size of the models, the extension of the collection of models, or their structural intricacy. As a consequence, it is of crucial relevance to have powerful and robust management and analysis techniques that build on a rigorous and solid basis and that focus not only on individual models but also on entire collections of them.