Refine
Year of publication
Document Type
- Monograph/Edited Volume (18)
- Article (7)
- Other (2)
Language
- English (27) (remove)
Is part of the Bibliography
- yes (27)
Keywords
- Modellierung (4)
- Graphtransformationen (3)
- Model Synchronisation (3)
- Model Transformation (3)
- Model-Driven Engineering (3)
- Tripel-Graph-Grammatik (3)
- Verifikation (3)
- performance (3)
- self-healing (3)
- AUTOSAR (2)
- Graphtransformationssysteme (2)
- Model Synchronization (2)
- Modeling (2)
- SysML (2)
- evaluation (2)
- feedback loops (2)
- graph constraints (2)
- graph transformation (2)
- incremental graph pattern matching (2)
- modeling (2)
- modellgetriebene Entwicklung (2)
- simulation (2)
- verification (2)
- Ausführung von Modellen (1)
- Bisimulation (1)
- Contracts (1)
- Cyber-Physical Systems (1)
- Cyber-Physical-Systeme (1)
- Cyber-physical-systems (1)
- Design (1)
- Discrimination Networks (1)
- Dynamic Data Structures (1)
- Echtzeitsysteme (1)
- Evolution (1)
- Evolution in MDE (1)
- Fallstudie (1)
- Feedback Loops (1)
- Flexible Resource Manager (1)
- Formale Verifikation (1)
- Forschungskolleg (1)
- Graph-Constraints (1)
- Graph-basierte Suche (1)
- Graphbedingungen (1)
- Graphdatenbanken (1)
- HENSHIN (1)
- Hasso Plattner Institute (1)
- Hasso-Plattner-Institut (1)
- Infinite State (1)
- Inkrementelle Graphmustersuche (1)
- Invariant-Checking (1)
- Invarianten (1)
- Invariants (1)
- Klausurtagung (1)
- Kollaborationen (1)
- Languages Model-driven engineering (1)
- Laufzeitmodelle (1)
- MDE Ansatz (1)
- MDE settings (1)
- Megamodell (1)
- Megamodels (1)
- Model Execution (1)
- Modeling Languages (1)
- Modell-getriebene Softwareentwicklung (1)
- Modellgetriebene Softwareentwicklung (1)
- Modellierungssprachen (1)
- Modelltransformationen (1)
- Models at Runtime (1)
- Nested Graph Conditions (1)
- PRISM Modell-Checker (1)
- PRISM model checker (1)
- PTCTL (1)
- Ph.D. Retreat (1)
- Quantitative Analysen (1)
- Research School (1)
- Runtime Binding (1)
- Runtime WCET Analysis (1)
- Safety Critical Systems (1)
- Self-Adaptive Software (1)
- Sequenzen von s/t-Pattern (1)
- Service-Oriented Architecture (1)
- Service-Orientierte Architekturen (1)
- Service-oriented Systems Engineering (1)
- Service-orientierte Systme (1)
- Simulation (1)
- SoaML (1)
- System of Systems (1)
- Transformationsebene (1)
- Transformationssequenzen (1)
- Triple Graph Grammar (1)
- Triple Graph Grammars (1)
- Triple-Graph-Grammatiken (1)
- Unbegrenzter Zustandsraum (1)
- Verhaltensabstraktion (1)
- Verhaltensbewahrung (1)
- Verhaltensverfeinerung (1)
- Verhaltensäquivalenz (1)
- Verification (1)
- Wartung von Graphdatenbanksichten (1)
- adaptation rules (1)
- adaptive Systeme (1)
- adaptive systems (1)
- architecture-based adaptation (1)
- behavior preservation (1)
- behavioral abstraction (1)
- behavioral equivalenc (1)
- behavioral refinement (1)
- beschreibende Feldstudie (1)
- bisimulation (1)
- case study (1)
- collaboration (1)
- cyber-physical systems (1)
- discrimination networks (1)
- evolution in MDE (1)
- failure model (1)
- failure profile (1)
- failure profile model (1)
- formal verification (1)
- formal verification methods (1)
- formale Verifikation (1)
- graph databases (1)
- graph pattern matching (1)
- graph queries (1)
- graph transformation systems (1)
- graph transformations (1)
- hybrid graph-transformation-systems (1)
- hybride Graph-Transformations-Systeme (1)
- inductive invariant checking (1)
- induktives Invariant Checking (1)
- inkrementelles Graph Pattern Matching (1)
- invariant checking (1)
- k-Induktion (1)
- k-induction (1)
- k-inductive invariant checking (1)
- k-inductive invariants (1)
- k-induktive Invarianten (1)
- k-induktives Invariant-Checking (1)
- layered architecture (1)
- model interpreter (1)
- model transformation (1)
- model-driven engineering (1)
- modeling language (1)
- models at runtime (1)
- nested application conditions (1)
- nested graph conditions (1)
- partial application conditions (1)
- partielle Anwendungsbedingungen (1)
- probabilistic timed automata (1)
- probabilistische zeitbehaftete Automaten (1)
- quantitative analysis (1)
- real-time systems (1)
- relational model transformation (1)
- relationale Modelltransformationen (1)
- reward (1)
- s/t-pattern sequences (1)
- scalability (1)
- search plan generation (1)
- self-adaptive software (1)
- semantics preservation (1)
- service-oriented systems (1)
- simulator (1)
- software evolution (1)
- static analysis (1)
- statische Analyse (1)
- system of systems (1)
- transformation level (1)
- transformation sequences (1)
- triple graph grammars (1)
- typed graph transformation systems (1)
- utility (1)
- verschachtelte Anwednungsbedingungen (1)
- view maintenance (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (27) (remove)
In recent years, the increased interest in application areas such as social networks has resulted in a rising popularity of graph-based approaches for storing and processing large amounts of interconnected data. To extract useful information from the growing network structures, efficient querying techniques are required.
In this paper, we propose an approach for graph pattern matching that allows a uniform handling of arbitrary constraints over the query vertices. Our technique builds on a previously introduced matching algorithm, which takes concrete host graph information into account to dynamically adapt the employed search plan during query execution. The dynamic algorithm is combined with an existing static approach for search plan generation, resulting in a hybrid technique which we further extend by a more sophisticated handling of filtering effects caused by constraint checks. We evaluate the presented concepts empirically based on an implementation for our graph pattern matching tool, the Story Diagram Interpreter, with queries and data provided by the LDBC Social Network Benchmark. Our results suggest that the hybrid technique may improve search efficiency in several cases, and rarely reduces efficiency.