Transforming process algebra models into UML state machines: Bridging a semantic gap?

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

Volumn 5063 LNCS, Issue , 2008, Pages 61-75

  Van Amstel, M F ^a   Van Den Brand, M G J ^a   Protic Z ^a   Verhoeff, T ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CLUSTERING ALGORITHMS; CONTOUR FOLLOWERS; GALLIUM ALLOYS; INFORMATION THEORY; SEMANTICS; UNIFIED MODELING LANGUAGE;

AUTOMATIC TRANSFORMATIONS; DISTRIBUTED SYSTEMS; MODELING; PROCESS ALGEBRAS; SEMANTIC GAPS; SOFTWARE GENERATIONS; SYNTACTIC; UML STATE MACHINES;

MATHEMATICAL TRANSFORMATIONS;

EID: 54249122540     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69927-9_5     Document Type: Conference Paper

References (23)

1. FALCON, http://www.esi.nl/falcon/
2. van Amstel, M.F., van de Plassche, E., Hamberg, R., van den Brand, M.G.J., Rooda, J.E.: Performance analysis of a palletizing system. SE Report 2007-09, Department of Mechanical Engineering, Eindhoven University of Technology (2007)
3. Baeten, J.C.M.: A brief history of process algebra. Theoretical Computer Science 335(2-3), 131-146 (2005)
4. Object Management Group: Unified Modeling Language: Superstructure specification, version 2.1.1. Document - formal/2007-02-05, OMG (2007)
5. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes. In: de Bakker, J.W., Hazewinkel, M., Lenstra, J.K. (eds.) Proceedings of the CWI Symposium. CWI Monographs, vol. 1, pp. 89-138. Centre for Mathematics and Computer Science, North-Holland (1986)
6. Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Theoretical Computer Science, vol. (18). Cambridge University Press, Cambridge (1990)
7. van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H.: Syntax and semantics of timed Chi. CS-Report 05-09, Department of Computer Science, Eindhoven University of Technology (2005)
8. Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mCRL2. In: Brinksma, E., Harel, D., Mader, A., Stevens, P., Wieringa, R. (eds.) Methods for Modelling Software Systems (MMOSS). Number 06351 in Dagstuhl Seminar Proceedings, Internationales Begegnungsund Forschungszentrum fuer Informatik (2007)
9. Nicollin, X., Sifakis, J., Yovine, S.: From ATP to timed graphs and hybrid systems. Acta Informatica 30(2), 181-202 (1993)
10. Pardo, J.J., Valero, V., Cuartero, F., Cazorla, D.: Automatic translation of a timed process algebra into dynamic state graphs. In: Proceedings of the 8th Asia-Pacific Conference on Software Engineering, pp. 63-70. IEEE Computer Society, Los Alamitos (2001)
11. Cerone, A.: From process algebra to visual language. In: Lakos, C., Esser, R., Kristensen, L.M., Billington, J. (eds.) Proceedings of the 23rd Conference on Application and Theory of Petri Nets. Conferences in Research and Practice in Information Technology, vol. 12, pp. 27-36. Australian Computer Society (2002)
12. Bortnik, E.M., Mortel-Fronczak, J.M., Rooda, J.E.: Translating × models to UPPAAL timed automata. SE Report 2007-06, Department of Mechanical Engineering, Eindhoven University of Technology (2007)
13. Pinter, G., Majzik, I.: Program code generation based on UML statechart models. Periodica Polytechnica 47(3-4), 187-204 (2003)
14. Niaz, LA., Tanaka, J.: Code generation from UML statecharts. In: Hamza, M.H. (ed.) Proceedings of the 7th IASTED International Conference on Software Engineering and Applications, pp. 315-321. ACTA Press (2003)
15. Crane, M.L., Dingel, J.: UML vs. classical vs. Rhapsody statecharts: Not all models are created equal. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 97-112. Springer, Heidelberg (2005)
16. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control 60(1-3), 109-137 (1984)
17. Baeten, J.C.M., Basten, T., Reniers, M.A.: Algebra, of communicating processes. Lecture notes (DRAFT) (2005)
18. Thompson, K.: Regular expression search algorithm. Communications of the ACM 11(6), 419-422 (1968)
19. Object Management Group: Meta Object Facility MOF 2.0/XMI mapping specification, version 2.1. Document - formal/05-09-01, OMG (2005)
20. ArgoUML v0.24 (Viewed January 2008), http://argouml.tigris.org/
21. Telelogic Rhapsody 7.1.1 (Viewed January 2008), http://modeling. telelogic.com/products/rhapsody/index.cfm
22. van den Brand, M.G.J., van Deursen, A., Heering, J., de Jong, H.A., de Jonge, M., Kuipers, T., Klint, P., Moonen, L., Olivier, P.A., Scheerder, J., Vinju, J.J., Visser, E., Visser, J.: The ASF+SDF meta-environment: A component-based language development environment. In: Wilhelm, R. (ed.) CC 2001 and ETAPS 2001. LNCS, vol. 2027, pp. 365-370. Springer, Heidelberg (2001)
23. van Deursen, A.: An overview of ASF+SDF. In: van Deursen, A., Heering, J., Klint, P. (eds.) Language Prototyping: An Algebraic Specification Approach. AMAST Series in Computing, vol. 5, pp. 1-29. World Scientific, Singapore (1996)