Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers /

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. The 30 revised full papers presented together with 2 invited papers were carefully selected...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Schürr, Andy (Editor ), Nagl, Manfred (Editor ), Zündorf, Albert (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Programming and Software Engineering, 5088
Temas:
Software engineering.
Computer science.
Machine theory.
Artificial intelligence-Data processing.
Algorithms.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Data Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Graph Transformation Applications
  • Combining Quality Assurance and Model Transformations in Business-Driven Development
  • Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
  • Transforming Scene Graphs Using Triple Graph Grammars - A Practice Report
  • Using Graph Transformation to Support Collaborative Ontology Evolution
  • Modelling of Longitudinal Information Systems with Graph Grammars
  • Meta-modeling and Domain-Specific Language
  • A Generic Layout Algorithm for Meta-model Based Editors
  • Domain Specific Languages with Graphical and Textual Views
  • Generating Domain-Specific Model Editors with Complex Editing Commands
  • Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation
  • New Graph Transformation Approaches
  • Defining Abstract Graph Views as Module Interfaces
  • Programmed Graph Rewriting with DEVS
  • Relational Growth Grammars - A Parallel Graph Transformation Approach with Applications in Biology and Architecture
  • Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD
  • Program Transformation Applications
  • A Single-Step Term-Graph Reduction System for Proof Assistants
  • Shaped Generic Graph Transformation
  • Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code
  • Graph Rewriting for Hardware Dependent Program Optimizations
  • Dynamic System Modeling
  • Transforming Timeline Specifications into Automata for Runtime Monitoring
  • Visualization, Simulation and Analysis of Reconfigurable Systems
  • Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
  • Efficient Graph Matching with Application to Cognitive Automation
  • Model Driven Software Development Applications
  • Checking and Enforcement of Modeling Guidelines with Graph Transformations
  • Aspect Diagrams for UML Activity Models
  • Model-Driven Software Development with Graph Transformations: A Comparative Case Study
  • Verification and Synthesis of OCL Constraints Via Topology Analysis
  • Queries, Views, and Model Transformations
  • State of the Art of QVT: A Model Transformation Language Standard
  • Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database
  • New Pattern Matching and Rewriting Concepts
  • Applying a Grouping Operator in Model Transformations
  • Modeling Successively Connected Repetitive Subgraphs
  • Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages
  • Recursive Graph Pattern Matching
  • A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
  • Graph Transformation Tool Contest
  • AGTIVE 2007 Graph Transformation Tool Contest
  • Ludo: A Case Study for Graph Transformation Tools
  • Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools
  • Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
  • Graph Transformation Tools
  • The EMF Model Transformation Framework
  • GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
  • The Modelling Platform GroIMP and the Programming Language XL
  • Metamodeling with MOFLON
  • The Graph Rewriting Language and Environment PROGRES
  • Algorithm and Tool for Ontology Integration Based on Graph Rewriting
  • Generating Eclipse Editor Plug-Ins Using Tiger
  • From Graph Transformation to OCL Using USE
  • Introducing the VMTS Mobile Toolkit.

Ejemplares similares