Verification of architectural refactorings: Rule extraction and tool support

Electronic Communications of the EASST

Volumn 16, Issue , 2008, Pages

  Bisztray, Dénes ^a   Hecke, Reiko ^a   Ehrig, Hartmut ^b  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Graph transformations; Refactoring; Semantics

Indexed keywords

EID: 85042937167     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.16.240.240     Document Type: Conference Paper

References (13)

1. D. Bisztray, R. Heckel, H. Ehrig. Verification of Architectural Refactorings by Rule Extraction. In Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science 4961/2008, pp. 347-361. Springer Berlin / Heidelberg, 2008
2. D. Bisztray. Verification of Architectural Refactoring Rules. Technical report, Department of Computer Science, University of Leicester, 2008. http://www.cs.le.ac. uk/people/dab24/refactoring-techrep.pdf
3. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe. Algebraic Approaches to Graph Transformation-Part I: Basic Concepts and Double Pushout Approach. In Handbook of Graph Grammars. Pp. 163-246. 1997
4. H. Ehrig, K. Ehrig, U. Prange, G. Taentzer. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science). An EATCS Series. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2006
5. H. Ehrig. Tutorial introduction to the algebraic approach of graph grammars. In Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science. Pp. 3-14. Springer-Verlag, London, UK, 1987
6. M. Fowler, K. Beck, J. Brant, W. Opdyke, D. Roberts. Refactoring: Improving the Design of Existing Code. Addison-Wesley Professional, 1st edition edition, 1999
7. Eclipse Graphical Modeling Framework. http://www.eclipse.org/gmf, 2007
8. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall, April 1985
9. M. M. Lehman. Laws of Software Evolution Revisited. In European Workshop on Software Process Technology. Pp. 108-124. 1996. citeseer.ist.psu.edu/lehman96laws.html
10. Formal Systems Europe Ltd. FDR2 User Manual. 2005. http://www.fsel.com/ documentation/fdr2/html/index.html
11. Tiger Developer Team. Tiger EMF Transformer. http://www.tfs.cs.tu-berlin.de/ emftrans
12. D. Varró. Model Transformation by Example. In Proc. Model Driven Engineering Languages and Systems (MODELS 2006). LNCS 4199, pp. 410-424. Springer, Genova, Italy, 2006
13. M. Wirsing, A. Clark, S. Gilmore, M. Hölzl, A. Knapp, N. Koch, A. Schroeder. Semantic-Based Development of Service-Oriented Systems. In al. (ed.), Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems(FORTE'06), Paris, France. LNCS 4229, pp. 24-45. Springer-Verlag, 2006. http://rap.dsi.unifi.it/sensoria/Sensoria Forte.pdf