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: Hardback
Length: 307 pages
Publication date: 03 December 2021
Publisher: Springer Nature Switzerland AG

This comprehensive book presents a collection of collaborative works by members from the fields of software engineering and formal methods, alongside industry representatives. Its primary objective is to establish the groundwork for a shared understanding of the requirements for increased flexibility in model-driven engineering. Drawing inspiration from the Dagstuhl Seminar 19481, titled "Composing Model-Based Analysis Tools," held from November 24 to 29, 2019, at Schloss Dagstuhl, Germany, the book delves into the current challenges, their historical context, and innovative concepts to address them.

The book is divided into two parts, each centered around five fundamental core aspects:
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.

To provide a solid foundation, the book begins with two chapters dedicated to establishing common terminology and providing an overview of the field's challenges. In the subsequent chapters, each of the five core aspects is explored in depth. These core chapters are accompanied by additional case studies in the second part of the book, which offer detailed insights into specific tools and practical applications within the context of real-world scenarios.

With a primary focus on researchers and software engineers in the domains of software engineering and formal methods, as well as those with a basic understanding of quality properties, model-driven engineering, and analysis tools, this book offers a comprehensive overview of the state-of-the-art and emerging trends in the field. It serves as a valuable resource for scholars seeking to expand their knowledge and expertise, while also providing practical insights for practitioners seeking to apply these concepts in their work.

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