From graph transformation to software engineering and back

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

Volumn 3393 LNCS, Issue , 2005, Pages 24-37

  Baresi, Luciano ^a   Pezzè, Mauro ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS;

GRAPH TRANSFORMATION; GRAPH-BASED NOTATIONS; SOFTWARE ENGINEERS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 36849067383     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-31847-7_2     Document Type: Article

References (30)

1. M. Andries, G. Engels, and J. Rekers. How to represent a visual specification. In K. Marriott and B. Meyer, editors, Visual Language Theory, pages 241-255. Springer-Verlag, 1997.
2. L. Baresi. Formal customization of graphical notations. PhD thesis, Dipartimento di Elettronica e Informazione - Politecnico di Milano, 1997. In Italian.
3. L. Baresi, R. Heckel, S. Thone, and D. Varro. Modeling and validation of service-oriented architectures: application vs. style. In Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering, pages 68-77. ACM Press, 2003.
4. L. Baresi, A. Orso, and M. Pezzè. Introducing formal methods in industrial practice. In Proceedings of the 20th International Conference on Software Engineering, pages 56-66. ACM Press, 1997.
5. L. Baresi and R. Heckel. Tutorial introduction to graph transformation: A software engineering perspective. In Proceedings of the First International Conference on Graph Transformation (ICGT 2002), volume 2505 of Lecture Notes in Computer Science, pages 402-429. Springer-Verlag, 2002.
6. E. Clarke, J. Wing, R. Alur, R. Cleaveland, D. Dill, A. Emerson, S. Garland, S. German, J. Guttag, A. Hall, T. Henzinger, G. Holzmann, C. Jones, R. Kurshan, N. Leveson, K. McMillan, J. Moore, D. Peled, A. Pnueli, J. Rushby, N. Shankar, J. Sifakis, P. Sistla, B. Steffen, P. Wolper, J. Woodcock, and P. Zave. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626-643, 1996.
7. A. Corradini, F. Dotti, and L. Ribeiro. A graph transformation view on the specification of applications using mobile code. In Proceedings of the International Symposium on Graph Transformation and Visual Modeling Techniques (GT-VMT), volume 50 (3). Electronic Notes in Computer Science, 2001.
8. G. Engels, J.H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, Proc. UML 2000, York, UK, volume 1939 of Lecture Notes in Computer Science, pages 323-337. Springer-Verlag, 2000.
9. D. Garlan and B. Schmerl. Model-based adaptation for self-healing systems. In Proceedings of the first workshop on Self-healing systems, pages 27-32. ACM Press, 2002.
10. D. Garland. Software architecture: a roadmap. In The Future of Software Engineering, pages 91-101. ACM Press, 2000.
11. J. Hausmann, R. Heckel, and G. Taentzer. Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In Proceedings of the International Conference on Software Engineering (ICSE'2002), pages 105-155. ACM Press, May 2002.
12. D. Hirsch, P. Inverardi, and U. Montanari. Graph grammars and constraint solving for software architecture styles. In ISAW '98: Proceedings of the Third International Workshop on Software Architecture, pages 69-72, 1998.
13. C. Hoare. Communicating sequential processes. Communicat. Associat. Comput. Mach., 21(8):666-677, 1978.
14. B. Hoffmann and M. Minas. A generic model for diagram syntax and semantics. In Proc. ICALP2000 Workshop on Graph Transformation and Visual Modelling Techniques, Geneva, Switzerland. Carleton Scientific, 2000.
15. R.A. Kemmerer and G. Vigna. Intrusion Detection. IEEE Computer, 2002. Special publication on Security and Privacy.
16. J.O. Kephart and D.M. Chess. The vision of autonomic computing. IEEE Computer, 36(1):41-50, January 2003.
17. M. Koch, L. V. Mancini, and F. Parisi-Presicce. A graph based formalism for RBAC. ACM Transactions on Information and System Security (TISSEC), 5(3):332-365, August 2002.
18. S. Kuske. A formal semantics of UML state machines based on structured graph transformation. In M. Gogolla and C. Kobryn, editors, Proc. UML 2001, volume 2185 of Lecture Notes in Computer Science. Springer-Verlag, 2001.
19. D. Le Métayer. Software architecture styles as graph grammars. In Sigsoft, pages 15-23. ACM Pres, 1996.
20. S. McCamant and M. Ernst. Predicting problems caused by component upgrades. In Proceedings of ESEC/FSE 2003, pages 287-296. ACM Press, 2003.
21. T. Mens, N. Van Eetvelde, D. Janssen, and S. Demeyer. Formalising refactorings with graph transformations. Journal of Software Mainetnance and Evolution, pages 1001-1025, 2004.
22. T. Mens, A. Sciirr, and G. Taenzer. Proceedings of the Workshop on Graph-Based Tools. ENTCS, 2002.
23. OMG. Meta object facility (MOF) specification, September 1999.
24. OMG. Unified Modeling Language (UML), version 1.5. OMG Standard, 2003.
25. A. Orso, D. Liang, M. Harrold, and R. Lipton. Gamma system: continuous evolution of software after deployment. In Proceedings of the international symposium on Software testing and analysis, pages 65-69, Roma, Italy, 2002. ACM Press.
26. C Pavlopoulou and M. Young. Residual test coverage monitoring. In International Conference on Software Engineering, pages 277-284, 1999.
27. T. W. Pratt. Pair grammars, graph languages and string-to-graph translations. Journal of Computer and System Sciences, 5:560-595, 1971.
28. A. Schürr. Specification of graph translators with triple graph grammars. In Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, volume 904 of LNCS, pages 228-253. Springer Verlag, 1994.
29. D. Varró. Towards symbolic analysis of visual modelling languages. In Paolo Bottoni and Mark Minas, editors, Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, volume 72 of ENTCS, pages 57-70, Barcelona, Spain, October 11-12 2002. Elsevier.
30. W3C. SVG: Scalable Vector Graphics (SVG) version 1.2. W3C, May 2004. http://www.w3.org/TR/2004/WD-SVG12-20040510/.