E-Books durchsuchen

Graph Transformations [2008]

2
Discovery, Verification and Conformance of Workflows with Cancellation
3
The AUTOSAR Way of Model-Based Engineering of Automotive Systems
4
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars
5
Labelled (Hyper)Graphs, Negotiations and the Naming Problem
6
Abstracting Complex Data Structures by Hyperedge Replacement
7
Inductively Sequential Term-Graph Rewrite Systems
8
Mobile Agents Implementing Local Computations in Graphs
9
A Decentralized Implementation of Mobile Ambients
10
Network Applications of Graph Bisimulation
12
Embedding and Confluence of Graph Transformations with Negative Application Conditions
13
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
15
High-Level Programs and Program Conditions
17
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
18
Open Petri Nets: Non-deterministic Processes and Compositionality
19
Attributed Graph Constraints
20
Resolution-Like Theorem Proving for High-Level Conditions
21
Towards the Verification of Attributed Graph Transformation Systems
24
Graph Multiset Transformation as a Framework for Massively Parallel Computation
25
Pullback Grammars Are Context-Free
27
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
28
15 Years of Triple Graph Grammars
29
Pattern-Based Model-to-Model Transformation
30
Adaptive Star Grammars for Graph Models
31
Tutorial Introduction to Graph Transformation
32
Workshop on Graph Computation Models
34
Workshop on Petri Nets and Graph Transformations
36
ICGT 2008 Doctoral Symposium
40
From Separation Logic to Hyperedge Replacement and Back
41
Security, Cryptography and Directed Bigraphs
42
Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement
43
Grammar Morphisms and Weakly Adhesive Categories
44
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
47
Service Extraction from Legacy Systems
48
Development of Correct Graph Transformation Systems
49
Graph Transformation for the Semantic Web: Queries and Inference Rules
52
Transformation-Based Operationalization of Graph Languages
1
Combining Quality Assurance and Model Transformations in Business-Driven Development
1
Towards an Algebraic Theory of Bidirectional Transformations
17
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
32
Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report
44
Using Graph Transformation to Support Collaborative Ontology Evolution
59
Modelling of Longitudinal Information Systems with Graph Grammars
66
A Generic Layout Algorithm for Meta-model Based Editors
82
Domain Specific Languages with Graphical and Textual Views
98
Generating Domain-Specific Model Editors with Complex Editing Commands
104
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation
120
Defining Abstract Graph Views as Module Interfaces
136
Programmed Graph Rewriting with DEVS
147
Graph Transformation for Topology Modelling
152
Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture
168
Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD
184
A Single-Step Term-Graph Reduction System for Proof Assistants
194
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
201
Shaped Generic Graph Transformation
217
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code
226
Parallel and Sequential Independence for Borrowed Contexts
233
Graph Rewriting for Hardware Dependent Program Optimizations
249
Transforming Timeline Specifications into Automata for Runtime Monitoring
265
Visualization, Simulation and Analysis of Reconfigurable Systems
281
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
297
Efficient Graph Matching with Application to Cognitive Automation
313
Checking and Enforcement of Modeling Guidelines with Graph Transformations
321
A Modal-Logic Based Graph Abstraction
329
Aspect Diagrams for UML Activity Models
336
On the Recognizability of Arrow and Graph Languages
345
Model-Driven Software Development with Graph Transformations: A Comparative Case Study
361
Verification and Synthesis of OCL Constraints Via Topology Analysis
377
State of the Art of QVT: A Model Transformation Language Standard
379
On Switching to <Emphasis Type="Italic">H</Emphasis>-Free Graphs
394
Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database
410
Applying a Grouping Operator in Model Transformations
426
Modeling Successively Connected Repetitive Subgraphs
442
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages
456
Recursive Graph Pattern Matching
463
Graph-Based Tools: The Contest
470
Summary of the Workshop on Natural Computing and Graph Transformations
471
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
475
Verification of Architectural Refactorings: Rule Extraction and Tool Support
478
Abstract Semantics by Observable Contexts
481
Triple Graph Grammars and OCL for Validating System Behavior
487
AGTIVE 2007 Graph Transformation Tool Contest
493
Ludo: A Case Study for Graph Transformation Tools
499
Towards a Two Layered Verification Approach for Compiled Graph Transformation
502
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems
514
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools
514
Using a Triple Graph Grammar for State Machine Implementations
517
Model-Driven Development of Model Transformations
540
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
566
The EMF Model Transformation Framework
568
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
570
The Modelling Platform GroIMP and the Programming Language XL
573
Metamodeling with MOFLON
575
The Graph Rewriting Language and Environment PROGRES
577
Algorithm and Tool for Ontology Integration Based on Graph Rewriting
583
Generating Eclipse Editor Plug-Ins Using Tiger
585
From Graph Transformation to OCL Using USE
587
Introducing the VMTS Mobile Toolkit
Feedback