Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering

This book provides an introduction to graph transformation as a foundation to model-based software engineering, covering concepts, notations, and techniques with applications in software engineering and domain-specific language engineering. It is a valuable resource for graduate students, practitioners, and researchers in software engineering, foundations of programming, and formal methods.

Format: Paperback / softback
Length: 309 pages
Publication date: 14 May 2021
Publisher: Springer Nature Switzerland AG

This comprehensive textbook provides an in-depth introduction to graph transformation as a fundamental foundation for model-based software engineering,spanning both individual systems and domain-specific modelling languages. The first part of the book offers a precise yet informal exploration of the fundamentals, serving as a prerequisite for describing the applications presented in the subsequent chapters. Additionally, it serves as a comprehensive and systematic survey of the concepts, notations, and techniques associated with graph transformation.

In the second part, the book showcases a diverse range of applications that leverage graph transformation in model-based software engineering and domain-specific language engineering. These applications vividly illustrate the broad applicability of graphs and graph transformations in modelling, analysing, and implementing complex software systems and languages.

What sets this textbook apart is its unique approach, which does not confine itself to a specific mathematical representation or implementation approach. Instead, it emphasises research and engineering methodologies, making it an invaluable resource for graduate students, practitioners, and researchers in software engineering, foundations of programming, and formal methods.

By delving into the core concepts, notations, and techniques of graph transformation, this textbook equips readers with the tools necessary to understand and apply this powerful modelling paradigm in various software engineering contexts. Whether you are a seasoned software professional or a student embarking on a journey into the realm of modelling and analysis, this book will serve as a valuable guide and reference for your academic and professional pursuits.

Weight: 510g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030439187
Edition number: 1st ed. 2020