Transformation of UML models to CSP

A case study for graph transformation tools

D. 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: Conference contribution

26 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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages540-565
Number of pages26
Volume5088 LNCS
DOIs
Publication statusPublished - 2008
Event3rd International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2007 - Kassel, Germany
Duration: okt. 10 2007okt. 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)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Graph Transformation
Model Transformation
Mathematical Analysis
Intuitive
Diagram
Model
Design

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D. H., Geiß, R., ... Weinell, E. (2008). Transformation of UML models to CSP: A case study for graph transformation tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5088 LNCS, 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

Transformation of UML models to CSP : A case study for graph transformation tools. / Varró, D.; 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.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5088 LNCS 2008. p. 540-565 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5088 LNCS).

Research output: Conference contribution

Varró, D, Asztalos, M, Bisztray, D, Boronat, A, Dang, DH, 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 5088 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5088 LNCS, pp. 540-565, 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2007, Kassel, Germany, 10/10/07. https://doi.org/10.1007/978-3-540-89020-1-36
Varró D, Asztalos M, Bisztray D, Boronat A, Dang DH, Geiß R et al. Transformation of UML models to CSP: A case study for graph transformation tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5088 LNCS. 2008. p. 540-565. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-540-89020-1-36
Varró, D. ; 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. / Transformation of UML models to CSP : A case study for graph transformation tools. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5088 LNCS 2008. pp. 540-565 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{2983ffb4fb3a498da2931202cdec4158,
title = "Transformation of UML models to CSP: A case study for graph transformation tools",
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.",
author = "D. Varr{\'o} and M{\'a}rk Asztalos and D{\'e}nes Bisztray and Artur Boronat and Dang, {Duc Hanh} and Rubino Gei{\ss} and Joel Greenyer and {Van Gorp}, Pieter and Ole Kniemeyer and Anantha Narayanan and Edgars Rencis and Erhard Weinell",
year = "2008",
doi = "10.1007/978-3-540-89020-1-36",
language = "English",
isbn = "354089019X",
volume = "5088 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "540--565",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Transformation of UML models to CSP

T2 - A case study for graph transformation tools

AU - Varró, D.

AU - Asztalos, Márk

AU - Bisztray, Dénes

AU - Boronat, Artur

AU - Dang, Duc Hanh

AU - Geiß, Rubino

AU - Greenyer, Joel

AU - Van Gorp, Pieter

AU - Kniemeyer, Ole

AU - Narayanan, Anantha

AU - Rencis, Edgars

AU - Weinell, Erhard

PY - 2008

Y1 - 2008

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

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

UR - http://www.scopus.com/inward/record.url?scp=56749160678&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=56749160678&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-89020-1-36

DO - 10.1007/978-3-540-89020-1-36

M3 - Conference contribution

SN - 354089019X

SN - 9783540890195

VL - 5088 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 540

EP - 565

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -