Programm - Tutorials - Produktvorträge - Ausstellung - Pressemitteilung
Program - Tutorials - Product Presentation - Exhibition - Press report

Dr. Ira Baxter Semantic Designs

The Design Maintenance System, Scale, and application to Refactoring

Software modification and maintenance account for some 80% of the cost of a software system over its lifetime. Much of that cost is invested in rediscovery of lost design information, and carrying out complex changes. The Design Maintenance System is a vision and a set of evolving tools for automating change to software. The DMS vision is based on capturing DMS's unique model of designs based on transformational synthesis, and reusing domain specific knowledge in the form of correctness preserving program transformations and generators, essentially composed sets of such transformations. DMS is designed to handle large scale codes (millions of lines) as well as carrying out domain-specific synthesis.

This talk will sketch the DMS vision, discuss how the DMS model of design differs fundamentally from conventional software designs, and show what is meant by DMS domains. We will describe the current state of DMS (the DMS reengineering toolkit), including both Java and IBM VS COBOL II domains and transformations.

Lastly, we will examine a few possible applications of DMS, including working automated code clone detection/removal on scale, and the potential of automated refactoring of large class frameworks, which should be of special interest to the OO community.

Tutorial: Transformation Systems: Theory, Implementation, and Survey