Artículos relacionados a Enabling Formal Model-Driven Development with QVT:...

Enabling Formal Model-Driven Development with QVT: Concepts, Methods and Tools - Tapa blanda

Li Dan

 
9783659694493: Enabling Formal Model-Driven Development with QVT: Concepts, Methods and Tools
Tapa blanda
ISBN 10: 3659694495 ISBN 13: 9783659694493
Editorial: KS OmniScriptum Publishing, 2015

Sinopsis

To achieve the faster and less costly software development promised by the Model Driven Architecture (MDA), automating the development process with tools is critical, but not easy. One reason is that MDA lacks a precise and concrete development methodology. This book aims at exploring techniques to automate the MDA development process through the application of formal refinement mechanism as model transformations. The work is based on the refinement for Component and Object Systems (rCOS), which supports object and component-based modeling, and includes a comprehensive refinement calculus. The graphical notation of QVT-R, an OMG’s standard transformation language, is adopted to define the refinement transformations. Particularly we develop an approach and a support tool to implement QVT-R as executable XSLT programs. Integrated the refinement rules into a CASE tool, the full model-driven development process can thus be conducted by interactively applying the rules. Basic concepts and methods of MDA, QVT-R and rCOS are discussed in the book. It could possibly help students and researchers working on model-driven software development and the application of formal methods.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

To achieve the faster and less costly software development promised by the Model Driven Architecture (MDA), automating the development process with tools is critical, but not easy. One reason is that MDA lacks a precise and concrete development methodology. This book aims at exploring techniques to automate the MDA development process through the application of formal refinement mechanism as model transformations. The work is based on the refinement for Component and Object Systems (rCOS), which supports object and component-based modeling, and includes a comprehensive refinement calculus. The graphical notation of QVT-R, an OMG's standard transformation language, is adopted to define the refinement transformations. Particularly we develop an approach and a support tool to implement QVT-R as executable XSLT programs. Integrated the refinement rules into a CASE tool, the full model-driven development process can thus be conducted by interactively applying the rules. Basic concepts and methods of MDA, QVT-R and rCOS are discussed in the book. It could possibly help students and researchers working on model-driven software development and the application of formal methods.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
KS OmniScriptum Publishing
Año de publicación
2015
Idioma
Inglés
ISBN 10 
3659694495
ISBN 13 
9783659694493
Encuadernación
Tapa blanda
Número de páginas
372
Contacto del fabricante
no disponible
Persona responsable
no disponible