Composing Model-Based Analysis Tools

This book aims to establish the foundations for a common understanding of the needs for more flexibility in model-driven engineering by presenting joint works of members of the software engineering and formal methods communities with representatives from industry. It is structured in two parts and organized around five fundamental core aspects: composition of languages, models, and analyses, integration and orchestration of analysis tools, continual analysis of models, exploitation of results, and handling uncertainty in model-based developments. It mainly targets researchers and software engineers in the fields of software engineering and formal methods.

Format: Paperback / softback
Length: 307 pages
Publication date: 04 December 2022
Publisher: Springer Nature Switzerland AG

This comprehensive book presents a collection of collaborative works by members of the software engineering and formal methods communities, along with industry representatives, with the aim of establishing the foundations for a shared understanding of the requirements for increased flexibility in model-driven engineering. Drawing upon the insights gained from the Dagstuhl Seminar 19481, titled "Composing Model-Based Analysis Tools," held from November 24 to 29, 2019, at Schloss Dagstuhl, Germany, this publication explores the current challenges, their historical backgrounds, and innovative concepts to address them.

The book is divided into two parts, each centered around five fundamental core aspects of the subject:
1. The composition of languages, models, and analyses.
2. The integration and orchestration of analysis tools.
3. The continual analysis of models.
4. The exploitation of results.
5. The approach to handling uncertainty in model-based developments.

In the first part of the book, after an introductory chapter on foundations and common terminology, each of the five core aspects is explored in depth through one dedicated chapter. These core chapters are complemented by additional case studies in the second part, which provide detailed presentations of specific tools and experiences to illustrate the concepts and ideas introduced earlier.

The primary audience for this book includes researchers and practitioners in the fields of software engineering and formal methods, as well as software engineers with a basic understanding of quality properties, model-driven engineering, and analysis tools. By delving into the contents of this publication, researchers will gain a comprehensive overview of the state-of-the-art, emerging challenges, and cutting-edge research directions. Practitioners, on the other hand, will find valuable insights into practical applications and concrete tools within the context of the case studies presented.

Through this collaborative effort, the book aims to foster a common understanding of the needs for more flexibility in model-driven engineering, paving the way.

Weight: 498g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030819170
Edition number: 1st ed. 2021