de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen / von Marc Lohmann. 2006
Inhalt
Inhaltsverzeichnis
Einleitung
Aktuelle Web-Service-Technologien für serviceorientierte Architekturen
Aufgabenstellung
Kontraktbasierte Modellierung, Implementierung und Suche in serviceorientierten Architekturen
Design by Contract
OO und DbC
Modelle für Web Services
Visuelle Kontrakte
Model-Driven Monitoring
Model-Driven Matching
Fazit
Aufbau der Arbeit
Bibliographische Hinweise
Visuelle Kontrakte
Verwandte Arbeiten
Modellierung von Kontrakten
Online Shop
Design-Klassendiagramm des Online Shops
Visuelle Kontrakte
Metamodell für visuelle Kontrakte
Verwendete UML 2.0 Pakete und Klassen
Erweiterungen des UML 2.0 Metamodells
Semantik von visuellen Kontrakten
Getypte, attributierte Graphen
Graphtransitionen
Negative Bedingungen
Allquantifizierung
Fazit
Model-Driven Monitoring
Verwandte Arbeiten
Übersetzung von Klassendiagrammen nach Java
Übersetzung visueller Kontrakte nach JML
Teilgraphensuche
Struktur von JML-Annotationen
Übersetzung visueller Kontrakte nach JML: Intuitiver Ansatz
Detaillierung der intuitiven Übersetzung
Visuelle Kontrakte in der Implementierung
Fazit
Spezifikation der Transformation
Formale Spezifikationen
Existierende Ansätze
Transformation von Modellen in Code
Transformation von Modellen in Modelle
Hybride Ansätze: Kombination von Graphtransformationen mit templatebasierten Ansätzen
Spezifikation der Transformation nach JML
Modelltransformationen mit Compound Rules
Kontrollstrukturen
Transformationsregeln
Fazit
Model-Driven Matching
Verwandte Arbeiten
Web-Service-Standards
Wissenschaftliche Ansätze
Semantische Beschreibungen
Ontologien
Kombination von Ontologien und visuellen Kontrakten
Matching von visuellen Kontrakten
Matching --- intuitive Definition
Operationale Interpretation des Matchings
Matching --- formale Definition
Fazit
Matching, Semantic-Web-Technologien
Semantic Web
Semantic-Web-Sprachen
RDF
RDF Vocabulary Description Language
DAML+OIL
RDQL
Ontologien, visuelle Kontrakte, Semantic Web
Repräsentation von Ontologien
Repräsentation von visuellen Kontrakten
Matching-Algorithmus
Fazit
Visual Contract Workbench
Eclipse
Eclipse Modeling Framework
Graphical Editor Framework
Java Emitter Templates
Produktfunktionen
Modellierung von Klassendiagrammen
Modellierung von visuellen Kontrakten
Codegenerierung
Generierung von Semantic-Web-Repräsentationen
Modelle als Vorlage verwenden
Bearbeiten des Java-Codes
Starten des Compilers
Architektur der Visual Contract Workbench
Fazit
Zusammenfassung und Ausblick
Zusammenfassung der Ergebnisse der Arbeit
Evaluation
Ausblick
Abschluss
Beschreibung Metamodellklassen
Klasse Constraint
Klasse DependentParameter
Klasse NegativeCondition
Klasse Parameter
Klasse Postcondition
Klasse Precondition
Klasse VCElement
Klasse VisualContract
Transformationsregeln VC2JML
Grundgerüst einer JML-Spezifikation
Erstellung der Operationen
Erstellung der Parameterliste
Erstellung der Vorbedingung
Überprüfung der Variablen des Elements self
Abhängige Elemente des Objekts self überprüfen
Abhängige Elemente überprüfen
Links zu besuchten Elementen überprüfen
Abschluss der Suche
Überprüfung der Attributinhalte --- Vorbereitung
Attributinhalte in Vorbedingung
Bearbeitung von Variablen
Variable ist Attributinhalt eines Operationsparameters
Variable ist kein Attributinhalt eines Operationsparameters
DAML+OIL
DAML+OIL Ontologie
DAML+OIL Kontrakt
Literaturverzeichnis
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.