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)

Volumn 5088 LNCS, Issue , 2008, Pages 540-565

  Varró, Dániel ^a   Asztalos, Márk ^a   Bisztray, Dénes ^b   Boronat, Artur ^b   Dang, Duc Hanh ^c   Geiß, Rubino ^d   Greenyer, Joel ^e   Van Gorp, Pieter ^f   Kniemeyer, Ole ^g   Narayanan, Anantha ^h   Rencis, Edgars ⁱ   Weinell, Erhard ^j  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

^c UNIVERSITY OF BREMEN   (Germany)

^d UNIVERSITY OF KARLSRUHE   (Germany)

^e UNIVERSITY OF PADERBORN   (Germany)

^f UNIVERSITY OF ANTWERP   (Belgium)

^g BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^h VANDERBILT UNIVERSITY   (United States)

ⁱ UNIVERSITY OF LATVIA   (Latvia)

^j RWTH AACHEN UNIVERSITY   (Germany)

more..

Author keywords

[No Author keywords available]

Indexed keywords

UNIFIED MODELING LANGUAGE;

GRAPH TRANSFORMATION; GRAPH TRANSFORMATION TOOLS; MATHEMATICAL ANALYSIS; MODEL TRANSFORMATION; PRACTICAL MODEL; TOOL CONTESTS; UML ACTIVITY DIAGRAMS; UML MODEL;

GRAPH THEORY;

EID: 56749160678     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89020-1_36     Document Type: Conference Paper

References (28)

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 ObjectOriented Programming, Systems, Languages, and Applications (OOPSLA), Anaheim, California (2003)
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)
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)
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)
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)
11. Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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://gteases. cs.utwente.nl/wiki/UMLToCSP/MoTMoT
28. Wagner, R.: Developing Model Transformations with Fujaba. In: Giese, H., Westfechtel, B. (eds.) Proc. 4 International Fujaba Days 2006, Bayreuth, Germany, vol. tr-ri-06-275. Techn. Rep., pp. 79-82. Univ. of Paderborn (2006)