01655nas a2200205   4500008004100000245010900041210006900150260000900219300001400228490000600242520095500248653002301203653002701226653002101253653002101274100001401295700001201309700001101321856011701332       2007                        eng d00aKnowledge-based support for object-oriented software design and synthesis: A category theoretic approach0 aKnowledgebased support for objectoriented software design and sy  c2007  a115 - 1220 v53 aTo reuse previous knowledge of objectoriented design and adapt them to solve new problems, the collaboration relationships and the responsibility distribution among software objects need to be thoroughly understood and precisely formulated. The paper proposes a knowledge-based approach that employs category theoretic models to formalize and mechanize objectoriented software design and synthesis by focusing concern on reasoning about the interdependency relationships at different levels of abstraction and granularity. The major benefit of our approach is twofold: First, it provides an explicit semantics for formal object-oriented specifications, and therefore enables a high-level of reusability and dynamic adaptability. Second, it utilizes the ability of categorical computations to support automated software composition and refinement. A prototype tool that demonstrates the feasibility and effectiveness of our approach is also presented.10aAutomated software10aObject oriented design10aSoftware metrics10aSoftware quality1 aZheng, Y.1 aXue, J.1 aHu, Q.  uhttp://www.scopus.com/inward/record.url?eid=2-s2.0-70350673897&partnerID=40&md5=de1990a30fe9efe685a0df6e39e37b82