User talk:Smithja

From WICSA Conference Wiki

SPQR is the System for Pattern Query and Recognition, a set of formalisms and tools to automatically and reliably detect instances of previously identified design patterns directly from object-oriented source code. It does so in a language independent way, and the formalisms, based on the sigma-calculus denotational semantics, provide for the source code to vary in a large number of ways while still producing a conceptual hit. Essentially, SPQR combines elements of fragment theory, denotational semantics of relationships (my rho-calculus), and compositional design patterns to produce a concept-oriented view of a system. The interrelationships between those concepts are the foundation of detection of the design patterns.

There is no reason, however, why this process needs to stop at the current design patterns literature level. This same approach can be extended into ever more abstract patterns, directly into the architectural patterns realm. This would provide a smooth transition from the very basics of object-oriented programming up through the design patterns literature and into the concepts of architecture design.

Also, I have been intrigued by the Architectural Design Decisions information I've seen on the Wiki. As part of my research, I have investigated coverage of design decisions at very low levels, with highly promising results. It is precisely these decision points that lead to a rich catalog of design concepts in SPQR, and I suspect that a similar approach can be taken at the architectural level. The formalisms in rho-calculus provide a framework for complete coverage of these decisions at the fundamental levels, and I'm curious to see how this can be applied to architectural design decisions as well.