Paper Info
Title
Formal Architecture Transformation Using Heuristics
Abstract
Heuristics have long been a popular and effective mechanism for capturing the knowledge of experts. In recent times, however, the more common use of heuristics has been as a means for communicating ideas at an abstract level, with little consideration to their potential as a structured approach to design improvement. With this paper we present the issues surrounding, and a structured method for, formally capturing architectural change embodied within heuristics. We demonstrate how through the application of graph theory, category theory and predicate calculus we can capture change within a heuristic and then use it to achieve formal heuristic-based transformation of a real-world system. By capturing heuristics in the structured and formal manner discussed in this paper we present ourselves with the opportunity to create a practical and reliable heuristic-based architecture transformation system. This is done within the wider context of achieving a process for optimising the non-functional qualities of a system architecture through design transformation.
Year
DOI
Venue
2007
10.1109/ECBS.2007.42
Tucson, AZ
Keywords
Field
DocType
real-world system,structured method,design transformation,category theory,architectural change,common use,system architecture,reliable heuristic-based architecture transformation,formal heuristic-based transformation,structured approach,formal architecture transformation,information technology,design optimization,predicate calculus,graph theory,calculus,formal specification,computer architecture,process design,communications technology
Graph theory,Heuristic,Computer science,Theoretical computer science,Formal specification,First-order logic,Process design,Heuristics,Systems architecture,Social heuristics
Conference
ISBN
Citations 
PageRank 
0-7695-2772-8
2
0.44
References 
Authors
12
3
Name
Order
Citations
PageRank
Cameron Maxwell1162.55
Tim O'Neill27411.50
John Leaney318625.20