Applications of Graph Transformations with Industrial Relevance - nuovo libro

EAN (ISBN-13): 9783540890195
ISBN (ISBN-10): 354089019X
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2008
Editore: Springer Berlin
594 Pagine
Peso: 0,894 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2008-12-13T05:44:13+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-10T11:55:09+01:00 (Zurich)
ISBN/EAN: 9783540890195

ISBN - Stili di scrittura alternativi:
3-540-89019-X, 978-3-540-89019-5
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : nagl, schur, schurr, zündorf, manfred held, manfred schür, albert manfred, zünd
Titolo del libro: graph transformations, relevance, kassel, industrial germany, october, szene intern, who who germany, science

---

Dati dell'editore

Autore: Andy Schürr; Manfred Nagl; Albert Zündorf
Titolo: Lecture Notes in Computer Science; Programming and Software Engineering; Applications of Graph Transformations with Industrial Relevance - Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Editore: Springer; Springer Berlin
594 Pagine
Anno di pubblicazione: 2008-10-15
Berlin; Heidelberg; DE
Lingua: Inglese
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIII, 594 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; .NET; Ada; Refactoring; Web Services; business processes; case study; code graphs; data engineering; domain-specific modeling; graph grammars; graph patterns; graph rewiting; modeling; programming language; quality assurance; data structures; algorithm analysis and problem complexity; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Data Science; Algorithms; Theoretische Informatik; Datenbanken; Algorithmen und Datenstrukturen; EA

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 GraphTransformations.- 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.