By Siegfried Nolte
Die item administration staff, ein unabhängiges Gremium mit der Zielsetzung, objekt-orientierte Methoden und Techniken zu standardisieren, hat mehrere criteria veröffentlicht, die in dem Konzept MDA subsumiert sind. Seit April 2008 ist im Rahmen der MDA ein Sprachkonzept verabschiedet worden unter dem Titel MOF QVT, mit dem Transformationen zwischen formalen Modellen beschrieben und vorgenommen werden können. Das vorliegende Buch ist ein Fachbuch, mit dem ein Erlernen und Anwenden der MOF QVT-Sprache Operational Mappings ermöglicht werden soll. Neben einer ausführlichen Einleitung und Einordnung in den MDA-Kontext erläutert der Autor die QVT-Sprache Operational Mappings. Die Sprache wird zunächst formal eingeführt und anschließend an umfassenden Beispielen dargestellt. Zum Nachvollziehen der Beispiele und zur Anwendung und Übung der Sprache werden geeignete frei verfügbare Werkzeuge vorgestellt.
Read Online or Download QVT - Operational Mappings: Modellierung mit der Query Views Transformation PDF
Similar compilers books
Joel Spolsky begun his mythical net log, www. joelonsoftware. com, in March 2000, which will supply insights for bettering the realm of programming. Spolsky dependent those observations on years of non-public adventure. the outcome only a handful of years later? Spolsky's technical wisdom, caustic wit, and remarkable writing abilities have earned him prestige as a programming guru!
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
Foreword. - creation. - Nature as Quantum desktop. - Jack Schwartz Meets Karl Marx. - SETL and the Evolution of Programming. - selection approach for straight forward Sublanguages of Set concept XVII: quite often taking place Decidable Extensions of Multi-level Syllogistic. - Jack Schwartz and Robotics: The Roaring Eighties.
Principles of Compilers: A New Approach to Compilers Including the Algebraic Method
"Principles of Compilers: a brand new method of Compilers together with the Algebraic procedure" introduces the tips of the compilation from the typical intelligence of humans by way of evaluating similarities and modifications among the compilations of common languages and programming languages. The notation is created to checklist the resource language, objective languages, and compiler language, vividly illustrating the multilevel technique of the compilation within the approach.
This publication constitutes the refereed complaints of the 3rd overseas Workshop on Formal concepts for Safety-Critical structures, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised complete papers offered including invited talks have been conscientiously reviewed and chosen from forty submissions.
- Creating Maintainable APIs: A Practical, Case-Study Approach
- Languages and Compilers for Parallel Computing: 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers (Lecture Notes in Computer Science)
Additional resources for QVT - Operational Mappings: Modellierung mit der Query Views Transformation
Sample text
10: Model-To-Model/Model-To-Text-Abgrenzung Die deskriptiven Konzepte Core Language und Relations Language werden also nicht weiter betrachtet, obwohl sie für ein tiefer gehendes Verständnis des Transformationsprozesses durchaus interessant sind. In diesem Punkt möchte ich auf die entsprechenden Ausführungen der Spezifikation – Kapitel 7, „Relations Language“, Kapitel 9, „The Core Language“, und Kapitel 10, „Relations to Core Transformation“ – verweisen [QVT] und natürlich auch auf das ebenfalls in dieser Reihe erschienene Buch QVT – Relations Language [Nol09].
Emof (siehe Listing 1). Einige Transformationswerkzeuge insbesondere im Umfeld der Plattform Eclipse, wie zum Beispiel die später vorgestellten und eingesetzten Werkzeuge SmartQVT und QVT Operational, erfordern Metamodelle im Format des Eclipse Modeling Framework (EMF) Ecore, welche als Eclipse-Plugins vorliegen müssen. 3. Import des Metamodells in den Kontext der Transformationsumgebung. Schritt 1: Modellierung Grundsätzlich ist jedes moderne – kommerzielle wie auch frei verfügbare – UMLWerkzeug zur Modellierung von Metamodellen geeignet, es werden ja schließlich nur Klassendiagramm-Editoren benötigt.
Hierbei handelt es sich um Metamodelle, zum Beispiel insbesondere das UML2Metamodell, welches so auch als Grundlage für die Implementierung einer Modellierungssprache Verwendung findet. Diese Ausprägung des UML2-Metamodells stammt aus dem Eclipse-UML-Projekt [EUML]. Variante 3: Metamodelle im Eclipse-Kontext In unseren QVT-Beispielen werden wir es mit Metamodellen zu tun haben, die im Kontext der Transformationsplattform verfügbar sind. Wie bereits angedeutet, werden die Beispiele der operationalen Transformationen mit frei verfügbaren Werkzeugen erarbeitet, die auf der Basis der Entwicklungsplattform Eclipse zur Verfügung stehen.