Spqr: formal foundations and practical support for the automated detection of design patterns from source code

摘要: Maintenance costs currently comprise the majority of total in producing software. While object-oriented techniques and languages appear to have assisted production new code, there is little evidence support theory that they helped lower high cost maintenance. In this dissertation, I describe current problem provide a system ultimately aimed at reducing cost. The System for Pattern Query Recognition, or SPQR, consists of: rho-calculus, formal foundation conceptual relationships systems; suite Elemental Design Patterns capture fundamentals programming their expressions rho-calculus; an XML Schema, Pattern/Object Markup Language, POML, concrete method expressing formalisms practical manner; example mapping from C++ language POML; implementation which ties above components together into tool detects instances design patterns directly source code using Otter automated theorem prover. will discuss each turn, relate them previous research area, as well number future directions. Using results can be more easily documented understood. major contribution SPQR flexible detection rho-calculus instead static structural cues. Building on propose: metrics utilizing Minimum Description Length principle salient features expressed nomenclature measuring comprehensibility code: approach these cost-based management principles. This combination should prove effective facilitating communication between technical managerial concerns manner allows most efficient allocation resources during maintenance software systems.