skip to main content
research-article

Refactoring information systems: association folding and unfolding

Published: 04 August 2011 Publication History

Abstract

Agile software development methods need powerful refactoring tools. For the time being, there is only little support for the refactoring of complete productive systems, i. e. data and functional models together with possibly large databases and possibly long running processes. In this paper, we present an algebraic framework for model refactorings and induced data migrations. Within the framework theoretical results can be proven which are needed as a solid basis for practical tool support: we investigate sequential composition of refactorings here. The framework in this paper is a simplified version of our previous approaches, provides, however, more modelling power.

References

[1]
Ambler, Scott W.: Agile Database Techniques. John Wiley & Sons, 2003.
[2]
Ambler, Scott W.: Refactoring Databases: Evolutionary Database Design. Addison-Wesley, 2006.
[3]
Ambler, Scott W.: Test-Driven Development of Relational Databases. IEEE Software, 24:37--43, 2007.
[4]
D'Anjou, Jim et al. The Java Developer's Guide to Eclipse (2nd Edition). Addison-Wesley, 2005.
[5]
Corradini, Andrea, Tobias Heindel, Frank Hermann, and Barbara König: Sesqui-pushout rewriting. In Proceedings ICGT2006, pages 30--45, Springer LNCS, 2006.
[6]
Ehrig, H., K. Ehrig, U. Prange und G. Taentzer: Fundamentals of Algebraic Graph Transformation. Springer, 2006.
[7]
Fowler, Martin: Refactoring -- Improving the Design of Existing Code. Addison-Wesley, 1999.
[8]
Fowler, Martin: Patterns of Enterprise Application Architecture. Addison-Wesley, 2002.
[9]
Gamma, Erich, Richard Helm, Ralph Johnson und John Vlissides: Design Patterns. Addison-Wesley Professional, 1995.
[10]
Herrmannsdoerfer, Markus, S. D. Vermolen, G. Wachsmuth: An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models. In Proceeedings International Conference on Software Language Engineering (SLE 2010), LNCS 6563, 2010.
[11]
Löwe, Michael: Algebraic approach to single-pushout graph transformation. Theor. Comput. Sci., 109(1&2):181--224, 1993.
[12]
Löwe, Michael, Harald König, Christoph Schulz and Michael Peters: Refactoring Information Systems -- A Formal Framework. In: Proceedings WMSCI 2006, Volume 1, pages 75--80, 2006.
[13]
Löwe, Michael, Harald König, Christoph Schulz and Michael Peters: Refactoring Information Systems -- Handling partial composition. In: Electronic Communications of the EASST, Volume 3, 2006.
[14]
Rumbuagh, James, Ivar Jacobson, Grady Booch: The Unified Modeling Language Reference Manual (2nd Edition). Addison-Wesley, 2004.
[15]
Schulz, Christoph: Transformation objektorientierter Systeme basierend auf algebraischen Graph-Transformationen, Dissertation, Technische Universität Berlin, 2010.
[16]
Schulz, Christoph, M. Löwe, H. König: Categorical framework for the transformation of object-oriented systems: Operations and methods, Electronic Communications of the EASST, Vol. 26, 2010.
[17]
Schulz, Christoph, M. Löwe, H. König: Categorical framework for the transformation of object-oriented systems: Models and data, Journal of Symbolic Computation, Vol. 46, Nr. 3, S. 316--337, 2011.
[18]
Taentzer, Gabriele et al.: Model Transformation by Graph Transformation: A Comparative Study. In Proceedings Workshop Model Transformation in Practice, Montego Bay, Jamaica, October 2005.

Cited By

View all
  • (2019)The PBPO graph transformation approachJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2018.12.003103(213-231)Online publication date: Feb-2019
  • (2018)Double-Pushout Rewriting in ContextSoftware Technologies: Applications and Foundations10.1007/978-3-030-04771-9_32(447-462)Online publication date: 6-Dec-2018

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes  Volume 36, Issue 4
July 2011
142 pages
ISSN:0163-5948
DOI:10.1145/1988997
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 August 2011
Published in SIGSOFT Volume 36, Issue 4

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 07 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2019)The PBPO graph transformation approachJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2018.12.003103(213-231)Online publication date: Feb-2019
  • (2018)Double-Pushout Rewriting in ContextSoftware Technologies: Applications and Foundations10.1007/978-3-030-04771-9_32(447-462)Online publication date: 6-Dec-2018

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media