↓ Skip to main content

Applications of Graph Transformations with Industrial Relevance

Overview of attention for book
Cover of 'Applications of Graph Transformations with Industrial Relevance'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Combining Quality Assurance and Model Transformations in Business-Driven Development
  3. Altmetric Badge
    Chapter 2 Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
  4. Altmetric Badge
    Chapter 3 Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report
  5. Altmetric Badge
    Chapter 4 Using Graph Transformation to Support Collaborative Ontology Evolution
  6. Altmetric Badge
    Chapter 5 Modelling of Longitudinal Information Systems with Graph Grammars
  7. Altmetric Badge
    Chapter 6 A Generic Layout Algorithm for Meta-model Based Editors
  8. Altmetric Badge
    Chapter 7 Domain Specific Languages with Graphical and Textual Views
  9. Altmetric Badge
    Chapter 8 Generating Domain-Specific Model Editors with Complex Editing Commands
  10. Altmetric Badge
    Chapter 9 Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation
  11. Altmetric Badge
    Chapter 10 Defining Abstract Graph Views as Module Interfaces
  12. Altmetric Badge
    Chapter 11 Programmed Graph Rewriting with DEVS
  13. Altmetric Badge
    Chapter 12 Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture
  14. Altmetric Badge
    Chapter 13 Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD
  15. Altmetric Badge
    Chapter 14 A Single-Step Term-Graph Reduction System for Proof Assistants
  16. Altmetric Badge
    Chapter 15 Shaped Generic Graph Transformation
  17. Altmetric Badge
    Chapter 16 Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code
  18. Altmetric Badge
    Chapter 17 Graph Rewriting for Hardware Dependent Program Optimizations
  19. Altmetric Badge
    Chapter 18 Transforming Timeline Specifications into Automata for Runtime Monitoring
  20. Altmetric Badge
    Chapter 19 Visualization, Simulation and Analysis of Reconfigurable Systems
  21. Altmetric Badge
    Chapter 20 Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
  22. Altmetric Badge
    Chapter 21 Efficient Graph Matching with Application to Cognitive Automation
  23. Altmetric Badge
    Chapter 22 Checking and Enforcement of Modeling Guidelines with Graph Transformations
  24. Altmetric Badge
    Chapter 23 Aspect Diagrams for UML Activity Models
  25. Altmetric Badge
    Chapter 24 Model-Driven Software Development with Graph Transformations: A Comparative Case Study
  26. Altmetric Badge
    Chapter 25 Verification and Synthesis of OCL Constraints Via Topology Analysis
  27. Altmetric Badge
    Chapter 26 State of the Art of QVT: A Model Transformation Language Standard
  28. Altmetric Badge
    Chapter 27 Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database
  29. Altmetric Badge
    Chapter 28 Applying a Grouping Operator in Model Transformations
  30. Altmetric Badge
    Chapter 29 Modeling Successively Connected Repetitive Subgraphs
  31. Altmetric Badge
    Chapter 30 Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages
  32. Altmetric Badge
    Chapter 31 Recursive Graph Pattern Matching
  33. Altmetric Badge
    Chapter 32 A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
  34. Altmetric Badge
    Chapter 33 AGTIVE 2007 Graph Transformation Tool Contest
  35. Altmetric Badge
    Chapter 34 Ludo: A Case Study for Graph Transformation Tools
  36. Altmetric Badge
    Chapter 35 Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools
  37. Altmetric Badge
    Chapter 36 Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
  38. Altmetric Badge
    Chapter 37 The EMF Model Transformation Framework
  39. Altmetric Badge
    Chapter 38 GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
  40. Altmetric Badge
    Chapter 39 The Modelling Platform GroIMP and the Programming Language XL
  41. Altmetric Badge
    Chapter 40 Metamodeling with MOFLON
  42. Altmetric Badge
    Chapter 41 The Graph Rewriting Language and Environment PROGRES
  43. Altmetric Badge
    Chapter 42 Algorithm and Tool for Ontology Integration Based on Graph Rewriting
  44. Altmetric Badge
    Chapter 43 Generating Eclipse Editor Plug-Ins Using Tiger
  45. Altmetric Badge
    Chapter 44 From Graph Transformation to OCL Using USE
  46. Altmetric Badge
    Chapter 45 Introducing the VMTS Mobile Toolkit
Attention for Chapter 36: Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Altmetric Badge

Mentioned by

1 tweeter


13 Dimensions

Readers on

28 Mendeley
2 CiteULike
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Chapter number 36
Book title
Applications of Graph Transformations with Industrial Relevance
Published by
Springer, Berlin, Heidelberg, October 2007
DOI 10.1007/978-3-540-89020-1_36
Book ISBNs
978-3-54-089019-5, 978-3-54-089020-1

Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell, Varró, Dániel, Asztalos, Márk, Bisztray, Dénes, Boronat, Artur, Dang, Duc-Hanh, Geiß, Rubino, Greenyer, Joel, Van Gorp, Pieter, Kniemeyer, Ole, Narayanan, Anantha, Rencis, Edgars, Weinell, Erhard

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 28 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Hungary 2 7%
Germany 2 7%
Portugal 1 4%
Indonesia 1 4%
France 1 4%
Brazil 1 4%
Russia 1 4%
United States 1 4%
Unknown 18 64%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 11 39%
Researcher 4 14%
Student > Master 3 11%
Professor > Associate Professor 2 7%
Professor 2 7%
Other 3 11%
Unknown 3 11%
Readers by discipline Count As %
Computer Science 23 82%
Engineering 2 7%
Unknown 3 11%