Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools

Authors:
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
Affiliations:
Budapest University of Technology and Economics, Hungary;Budapest University of Technology and Economics, Hungary;Leicester University, UK;Leicester University, UK;Universität Bremen, Germany;Universität Karlsruhe, Germany;University of Paderborn,;University of Antwerp, Belgium;BTU Cottbus, Germany;Vanderbilt University, TN, USA;University of Latvia, Latvia;RWTH Aachen University of Technology, Germany
Venue:
Applications of Graph Transformations with Industrial Relevance
Year:
2008

Citing 11
Cited 10

Communicating sequential processes

Communicating sequential processes
The PROGRES approach: language and environment

Handbook of graph grammars and computing by graph transformation
Composing Domain-Specific Design Environments

Computer
Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
An end-to-end domain-driven software development framework

OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming
AGTIVE 2007 Graph Transformation Tool Contest

Applications of Graph Transformations with Industrial Relevance
The Modelling Platform GroIMP and the Programming Language XL

Applications of Graph Transformations with Industrial Relevance
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
MOFLON: a standard-compliant metamodeling framework with graph transformations

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Reconciling TGGs with QVT

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

AGTIVE 2007 Graph Transformation Tool Contest

Applications of Graph Transformations with Industrial Relevance
The Graph Rewriting Language and Environment PROGRES

Applications of Graph Transformations with Industrial Relevance
Combining termination criteria by isolating deletion

ICGT'10 Proceedings of the 5th international conference on Graph transformations
Transforming process models: executable rewrite rules versus a formalized java program

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Towards a practical approach to check UML/fUML models consistency using CSP

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Supporting the internet-based evaluation of research software with cloud infrastructure

Software and Systems Modeling (SoSyM)
Weaving-based configuration and modular transformation of multi-layer systems

MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Graph and model transformation tools for model migration

Software and Systems Modeling (SoSyM)
Evaluation of model transformation approaches for model refactoring

Science of Computer Programming
A survey and comparison of transformation tools based on the transformation tool contest

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Graph transformation provides an intuitive mechanism for capturing model transformations. In the current paper, we investigate and compare various graph transformation tools using a compact practical model transformation case study carried out as part of the AGTIVE 2007 Tool Contest [22]. The aim of this case study is to generate formal CSP processes from high-level UML activity diagrams, which enables to carry out mathematical analysis of the system under design.