Semantic Integration of Heterogeneous Software Specifications, Fachbücher von Martin Grosse-Rhode

Das Buch "Semantic Integration of Heterogeneous Software Specifications" bietet eine umfassende Analyse der modellbasierten Entwicklung von Softwaresystemen. Es behandelt die Notwendigkeit der semantischen Integration, um die Heterogenität der verschiedenen Sichtweisen auf ein System zu bewältigen. Durch die Verwendung geeigneter Modellierungssprachen und -techniken wird aufgezeigt, wie die Beziehungen zwischen den Modellen hergestellt und deren relative Konsistenz überprüft werden kann. Der Autor, Martin Grosse-Rhode, präsentiert einen Integrationsansatz, der auf einem gemeinsamen semantischen Bereich abstrakter Systeme basiert. Die Anwendbarkeit dieses Ansatzes wird durch semantische Interpretationen und kompositionale Vergleiche verschiedener Spezifikationsansätze demonstriert, die von formalen Spezifikationstechniken wie Prozessberechnungen und Petrinetzen bis hin zu semiformalen Softwaremodellierungssprachen wie UML reichen.