Enabling Formal Model-Driven Development with QVT, Fachbücher von Dan Li

Das Buch "Enabling Formal Model-Driven Development with QVT" von Dan Li bietet eine umfassende Untersuchung der Automatisierung des Softwareentwicklungsprozesses im Rahmen der Model Driven Architecture (MDA). Es adressiert die Herausforderungen, die mit der Implementierung präziser und konkreter Entwicklungsmethoden verbunden sind, und präsentiert Techniken zur Automatisierung durch formale Verfeinerungsmechanismen in Form von Modelltransformationen. Die Arbeit basiert auf dem Refinement für Component and Object Systems (rCOS), das objekt- und komponentenbasiertes Modellieren unterstützt und eine umfassende Verfeinerungsrechnung beinhaltet. Durch die Verwendung der grafischen Notation von QVT-R, einer standardisierten Transformationssprache der OMG, werden die Verfeinerungstransformationen definiert. Das Buch entwickelt zudem einen Ansatz und ein unterstützendes Werkzeug zur Implementierung von QVT-R als ausführbare XSLT-Programme, was eine interaktive Anwendung der Verfeinerungsregeln in einem CASE-Tool ermöglicht. Es richtet sich an Studierende und Forschende, die sich mit modellgetriebener Softwareentwicklung und der Anwendung formaler Methoden beschäftigen.