Startseite

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

ISBN:9783899594331
Personen:
Zeitliche Einordnung:2006
Umfang:VIII, 318 S
Format:; 26 cm
Sachgruppe(n):004 Informatik
Verlag:
Osnabrück : Der Andere Verl.
Schlagwörter:Entwurfssprache ; Visualisierung ; Metamodell ; Formale Semantik ; Graphersetzungssystem UML

7817


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

    Einkaufswagen

    Noch kein Buch gefunden