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
Dynamic meta modeling : a semantic description technique for visual modeling languages / Jan Hendrik Hausmann. 2005
Inhalt
Motivation and Overview
State of the Art
On the Benefits of Formal Semantics
Objective of this Thesis
Structure of this Thesis
Semantics Description Techniques for Visual Modeling Languages
Concepts of Languages and their Definition
Concrete Syntax
Abstract Syntax
Semantics
Visual Modeling Languages and their Definition
Overview of Visual Modeling Languages
Characteristics of Visual Modeling Languages
Definition of the UML's Syntax by Meta Modeling
Requirements for a Technique for Semantics Definitions
Survey of Semantic Description Techniques for VMLs
Overview of Specific Formalizations
Denotational or Compilation Semantics Descriptions
Operational or Interpretation Semantics Descriptions
Hybrid Semantics Descriptions
Conclusions from the Survey
Concept of the Dynamic Meta Modeling Approach
Meta Relations
On the Need for Meta Relations
Requirements for Mappings
Existing Approaches
Concept of Meta Relations
Concrete Syntax for Meta Relations
Concrete Syntax of Relations Instances
Abstract Syntax for Meta Relations
Semantics of Meta Relations
Semantic Domain
Semantic mapping of Meta Relations
Summary and Discussion
Graph Transformations
Graphs
Typed Graphs
Inheritance in Typed Graphs
Attributes
Graphs in Dynamic Meta Modeling
Graph Transformation Rules
Basic Terminology
Double Pushout vs. Single Pushout
Rules
Rule Application under SPO
Negative Application Conditions
Application and Consistency Conditions
Universal Quantification
Graph Transformation in DMM
Rules in DMM
Negative Application Conditions in DMM
Universal Quantification in DMM
Controlling Graph Transformations
Priorities and Layers
Triggers and Invocations
Transformation Units
Programmed Graph Transformations
Control in DMM---The Mechanism of Rule Invocation
Rule Invocation
Applying Invocations
The Signature of a Rule
Invocation Fulfillment
Small-Step and Big-Step Rules
Premise Rules
Formalization of DMM Systems
Discussion
The Architecture of Dynamic Meta Modeling
Expressing Static Semantics in DMM
Summary
Expressing Dynamic Semantics in DMM
Model Semantics in DMM
Modularity and Extensibility
Motivation for Modularization
Related Work
Modularity Concepts of DMM
Discussion of the Modularization Concepts of DMM
Summary and Discussion
Understandability
Precision and Formality
Analyzability
Adequacy
Universality
Case Study: Formalizing UML Activity Diagrams
Eliciting the Semantics of UML Activity Diagrams
Deficiencies in the Definition of Activity Diagrams
Token Flow in Activities
Summary of Our Understanding of Activity Diagrams
Excerpts from the DMM Specification of Activity Diagrams
Package Structure of the Semantic Domain Meta Model for Activity Diagrams
Class Structure of the Core Activities Package
DMM Rules for Tokens and Offers
Discussion of the DMM Specification of Activity Diagrams
Understandability
Modularity and Extensibility
Degree of Concurrency
Adequacy - Limits and Semantic Shortcuts
Pragmatic Guidelines for Formulating DMM Specifications
Qualities of DMM Specifications and Heuristics for their Achievement
Correctness of DMM Specifications
Understandability of DMM Specifications
Modularity of DMM Specifications
Efficiency
Guidelines for Formulating the SD Meta Model and Relations
Conception of Extensional Entities
The Replication of Intensional Elements and their Modification
Introduction of Auxiliary Elements and Structures
Relation of Syntactic and Semantic Domain
The Definition of Packages
Discussion
Guidelines for Formulating DMM Rule Sets
Partitioning of Behavior into Big-Step Rules
Distribution of Behavior by Using Small-Step and Premise Rules
Formulating a single rule
Alignment of Rules and Packages
Summary and Discussion
Automatically Applying DMM Specifications
Model Checking approaches for Graph Transformation Systems
Introduction to the GROOVE Tool Set
GROOVE Editor
GROOVE Imager
GROOVE Generator
GROOVE Simulator
Graph Transformations in GROOVE
Translation of DMM Specifications into GROOVE Specifications
Translation of Graphs
Encoding of Rules
Encoding of Application Control
Combination of Translation Concepts
Interpreting Activity Diagrams with GROOVE
Validating the Activity Diagrams Specification
Results of the Test runs
Discussion of the GROOVE Prototype
From the GROOVE Prototype to a Dedicated DMM Interpreter
On the Impact of the DMM Interpreter Prototype on DMM
Summary and Conclusions
Summary of the Contributions of this Thesis
Overview of Publications on DMM
Discussion of DMM
Closure
Overview of Activity Diagrams
History of Activity Diagrams
The Role of Activity Diagrams in UML 2.0
Activity Diagram Elements
Advanced Activity Diagram Elements
The DMM Specification of UML Activity Diagrams
Overview of the SD Meta Model for Activity Diagrams
Package Ordering
Class Root
Class OrderableElement
Mappings
Package Core Structure
Class Class
Class Object
Mappings
Package Core Behavior
Class Behavior
Class BehaviorExecution
Class Parameter
Class Slot
Mappings
Package Core Activities
Class Activity
Class ActivityElement
Class ActivityExecution
Class Token
Class ControlToken
Class ObjectToken
Class Offer
Class Node
Class Edge
Class ValueSpecification
Mappings
Package Buffernodes
Class Buffernode
Class InitialNode
Class ParameterNode
Class CentralBufferNode
Class FlowFinalNode
Class ActivityFinalNode
Mappings
Package Controlnodes
Class DecisionNode
Class MergeNode
Class ForkNode
Class JoinNode
Mappings
Package Core Actions
Class Action
Class ActionExecution
Class InputPin
Class OutputPin
Mappings
Package Actions
Class CallBehaviorAction
CallBehaviorActionExecution
Mappings
Package Dummy Actions
DummyAction
DummyActionExecution
Bibliography
Index
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.