The book introduces an approach that harmonizes pragmatic industrial needs with formal modeling theory, leveraging a tailored subset of SysML enriched by the FOCUS theory. Integrated into the SPES Modeling Language (SpesML), this approach provides a semantically precise and methodologically consistent modeling environment, effectively overcoming the ambiguity and expressiveness gaps of standard SysML. SpesML, together with its open-source plugin prototype based on a commercial modeling platform, empowers practitioners to apply the SPES methodology within familiar workflows.

Funded by the German Federal Ministry of Education and Research (BMBF), the project’s outcomes are directly applicable to key sectors of the German economy, such as automotive, manufacturing, and health. This work thus contributes to the digital transformation and competitiveness of German industry, supporting national initiatives like the new High-Tech Strategy “Innovations for Germany" in the years to come. 

Herausgeber:
Wolfgang Böhm
Manfred Broy
Walter Koch
Nikolaus Regnat
Bernhard Rumpe
David Schmalzing

ISBN: 978-3-910649-08-8