This book provides a comprehensive introduction into the SPES XT modeling framework. Moreover, it shows the applicability of the framework for the development of embedded systems in different industry domains and reports on the lessons learned. It also describes how the SPES XT modeling framework can be tailored to meet domain and project-specific needs.

The book is structured into four parts:

Part I Starting Situation discusses the status quo of the development of embedded systems with specific focus on model-based engineering and summarizes key challenges emerging from...

This book constitutes the refereed proceedings of the 29th International Conference on Advanced Information Systems Engineering, CAiSE 2017, held in Essen, Germany, in June 2017. business process alignment; business process performance; business process modeling readability; business process modeling notation.