Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Lan - Hausmann, Jan H
Netto: 31,52 €33,73€
inkl. MwSt. zzgl. Versand
Bearbeitungszeit: 3 Werktage
Sofort lieferbar (auf Lager)
1x Stück verfügbar
FAQ zum Buch
Tools können entweder die Semantikdefinition direkt verarbeiten oder ihre Implementierung kann bewiesen werden, um mit der offiziellen Semantik übereinzustimmen. Ein Beispiel für solche Tools sind Interpreter, die ein Modell als Eingabe nehmen und dessen Bedeutung gemäß der definierten Semantik ableiten. Dieses FAQ wurde mit KI erstellt, basierend auf der Quelle: S. 12, ISBN 9783899594331
According to the text, two aspects of DMM can be analyzed: the specification itself to prove general properties of the language, and a single model“s semantics to prove properties of that specific model. Dieses FAQ wurde mit KI erstellt, basierend auf der Quelle: S. 126, ISBN 9783899594331
Die Technik zur Darstellung semantischer Abbildungen in DMM muss persistente Paare bereitstellen, insbesondere weil unvollständige Modelle abgebildet werden sollen. Dieses FAQ wurde mit KI erstellt, basierend auf der Quelle: S. 56, ISBN 9783899594331
PROGRES wird als ein (textuelles) Programmiersprache mit in ihr eingebetteten Graph-Transformationen beschrieben. Die Facilites von PROGRES sind so umfassend, dass sie eher als Programmiersprache mit Graph-Transformationen wahrgenommen werden können. Dieses FAQ wurde mit KI erstellt, basierend auf der Quelle: S. 90, ISBN 9783899594331
Das semantische Domänen-Metamodell bildet die Grundlage für die dynamische Semantik und ist mit den objektorientierten Konzepten der UML ausgerichtet, indem es das Verhalten in einer Menge von Operationen kapselt. Beispielsweise definiert die Klasse „Action“ in der SD-Metamodellierung die Operation „action.start*()“, die das Starten einer Ausführung eines bestimmten Vorgangs abbildet. Dieses FAQ wurde mit KI erstellt, basierend auf der Quelle: S. 114, ISBN 9783899594331
Die linke Seite (L) einer Graph-Transformation-Regel bezeichnet den Teil des Host-Graphen, der manipuliert werden soll. Die rechte Seite (R) zeigt den Zustand des Graphen nach der Anwendung der Regel. Elemente, die in L aber nicht in R vorkommen, werden gelöscht, während Elemente in R, die nicht in L sind, neu erstellt werden. Dieses FAQ wurde mit KI erstellt, basierend auf der Quelle: S. 78, ISBN 9783899594331
