Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
Applications of Graph Transformations with Industrial Relevance (AGTIVE 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5088))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Visual Modelling and Transformation System (VMTS), http://vmts.aut.bme.hu

  2. The Lx transformation language set (2007), http://Lx.mii.lu.lv

  3. Agrawal, A., Karsai, G., Ledeczi, A.: An end-to-end domain-driven software development framework. In: 18th Annual ACM SIGPLAN Conference on Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA), Anaheim, California (2003)

    Google Scholar 

  4. Amelunxen, C., Königs, A., Rötschke, T., Schürr, A.: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361–375. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  5. Boronat, A.: The MOMENT2-GT web site (2008), http://www.cs.le.ac.uk/people/aboronat/tools/moment2-gt

  6. ATLAS Group. The ATLAS Transformation Language, http://www.eclipse.org/gmt

  7. Balasubramanian, D., Narayanan, A., van Buskirk, C., Karsai, G.: The graph rewriting and transformation language: GReAT. In: 3rd International Workshop on Graph Based Tools (GraBaTs 2006), Natal, Brazil (2006)

    Google Scholar 

  8. Barzdins, J., Zarins, A., Cerans, K., Kalnins, A., Rencis, E., Lace, L., Liepins, R., Sprogis, A.: GrTP: Transformation based graphical tool building platform. In: MDDAUI 2007: Workshop on Model Driven Development of Advanced User Interfaces (Satellite event of MODELS 2007) (2007)

    Google Scholar 

  9. Bisztray, D.: Verification of architectural refactoring rules. Tech. rep., Department of Computer Science, University of Leicester (2008), http://www.cs.le.ac.uk/people/dab24/refactoring-techrep.pdf

  10. Bisztray, D., Heckel, R.: Rule-level verification of business process transformations using CSP. In: Proc. of 6th International Workshop on Graph Transformations and Visual Modeling Techniques (GTVMT 2007) (2007)

    Google Scholar 

  11. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  12. Eclipse Consortium. Eclipse Modeling Framework (EMF) – Version 2.3 (2007), http://www.eclipse.org/emf

  13. Geiß, R., Kroll, M.: GrGen.NET: A fast, expressive, and general purpose graph rewrite tool. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088. Springer, Heidelberg (2008)

    Google Scholar 

  14. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, 27–34 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  15. Greenyer, J., Kindler, E.: Reconciling TGGs with QVT. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 16–30. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Greenyer, J., Kindler, E., Rieke, J., Travkin, O.: TGGs for Transforming UML to CSP: Contribution to the ACTIVE 2007 Graph Transformation Tools Contest. Tech. Rep. tr-ri-08-287, Software Engineering Group, Dept. of Computer Science, Univ. of Paderborn (2008), http://www.uni-paderborn.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2008/tr-ri-08-287.pdf

  17. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  18. Kniemeyer, O., Kurth, W.: The modelling platform GroIMP and the programming language XL. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088. Springer, Heidelberg (2008)

    Google Scholar 

  19. Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing domain-specific design environments. Computer 34(11), 44–51 (2001)

    Article  Google Scholar 

  20. Object Management Group (OMG). MOF QVT Final Adopted Specification (2007), http://www.omg.org/cgi-bin/apps/doc?ptc/07-07-07.pdf

  21. OMG. Unified Modeling Language, version 2.1.1 (2006), http://www.omg.org/technology/documents/formal/uml.htm

  22. Rensink, A., Taentzer, G.: AGTIVE 2007 Graph Transformation Tool Contest. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088. Springer, Heidelberg (2007)

    Google Scholar 

  23. Schürr, A.: Specification of Graph Translators with Triple Graph Grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 151–163. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  24. Schürr, A., Winter, A.J., Zündorf, A.: The PROGRES approach: Language and environment. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook on Graph Grammars and Computing by Graph Transformation: Applications, Languages, and Tools, vol. 2, pp. 487–550. World Scientific, Singapore (1999)

    Chapter  Google Scholar 

  25. SENSORIA: Software Engineering for Service-Oriented Overlay Computers, http://www.sensoria-ist.eu

  26. Tiger Developer Team. Tiger EMF Transformer (2007), http://www.tfs.cs.tu-berlin.de/emftrans

  27. Van Gorp, P., Muliawan, O., Keller, A., Janssens, D.: Executing a platform independent model of the UML-to-CSP transformation on a commercial platform. In: AGTIVE 2007 Tool Contest (2007), http://gtcases.cs.utwente.nl/wiki/UMLToCSP/MoTMoT

  28. Wagner, R.: Developing Model Transformations with Fujaba. In: Giese, H., Westfechtel, B. (eds.) Proc. 4th International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275. Techn. Rep., pp. 79–82. Univ. of Paderborn (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Budapest University of Technology and Economics, Hungary

    Dániel Varró & Márk Asztalos

  2. Leicester University, UK

    Dénes Bisztray & Artur Boronat

  3. Universität Bremen, Germany

    Duc-Hanh Dang

  4. Universität Karlsruhe, Germany

    Rubino Geiß

  5. University of Paderborn, Germany

    Joel Greenyer

  6. University of Antwerp, Belgium

    Pieter Van Gorp

  7. BTU Cottbus, Germany

    Ole Kniemeyer

  8. Vanderbilt University, TN, USA

    Anantha Narayanan

  9. University of Latvia, Latvia

    Edgars Rencis

  10. RWTH Aachen University of Technology, Germany

    Erhard Weinell

Authors
  1. Dániel Varró
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Márk Asztalos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dénes Bisztray
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Artur Boronat
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Duc-Hanh Dang
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Rubino Geiß
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Joel Greenyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Pieter Van Gorp
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Ole Kniemeyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Anantha Narayanan
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Edgars Rencis
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Erhard Weinell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachgebiet Echtzeitsysteme, Technische Universität Darmstadt, D-64283, Darmstadt, Germany

    Andy Schürr

  2. Department of Computer Science, RWTH Aachen, Chair of Computer Science III, Aachen, Germany

    Manfred Nagl

  3. Software Engineering Research Group, Department of Computer Science and Electrical Engineering, University of Kassel, Kassel, Germany

    Albert Zündorf

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Varró, D. et al. (2008). Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2007. Lecture Notes in Computer Science, vol 5088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89020-1_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89020-1_36

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89019-5

  • Online ISBN: 978-3-540-89020-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation