Transformation of UML models to CSP: A case study for graph transformation tools

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

28 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationApplications of Graph Transformations with Industrial Relevance - Third International Symposium, AGTIVE 2007, Revised Selected and Invited Papers
Pages540-565
Number of pages26
DOIs
Publication statusPublished - Dec 1 2008
Event3rd International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2007 - Kassel, Germany
Duration: Oct 10 2007Oct 12 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5088 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other3rd International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2007
CountryGermany
CityKassel
Period10/10/0710/12/07

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D. H., Geiß, R., Greenyer, J., Van Gorp, P., Kniemeyer, O., Narayanan, A., Rencis, E., & Weinell, E. (2008). Transformation of UML models to CSP: A case study for graph transformation tools. In Applications of Graph Transformations with Industrial Relevance - Third International Symposium, AGTIVE 2007, Revised Selected and Invited Papers (pp. 540-565). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5088 LNCS). https://doi.org/10.1007/978-3-540-89020-1-36