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=de1990a30fe9efe685a0df6e39e37b8201841nas a2200181   4500008004100000245008700041210006900128260000900197300001200206490000600218520121700224653002401441653002101465653002401486100001701510700001501527856011701542       2006                        eng d00aA model for the aggregation of QoS in WS compositions involving redundant services0 amodel for the aggregation of QoS in WS compositions involving re  c2006  a44 - 490 v43 aA composition arranges available services resulting in a defined flow of tasks. A discovery process identifies the suitable candidate services for a composition. A subsequent selection process chooses the optimal candidate for each task. The selection process can consider different quality-of-service (QoS) categories of the individual services to optimise the quality of the whole composition. The result is a quality-optimised assignment of candidates to each task. In this work, we discuss the case how already identified candidates, which a selection process originally has separated out, can improve a composition w.r.t. particular QoS categories. To realise this improvement, redundant arrangements involve the alternative candidates in order to supplement the originally assigned service. We formed these redundant arrangements on the basis of our previously introduced compositions patterns. The contribution of this work is a computational model that allows the aggregation of the QoS for the composition when these arrangements are applied. This work presents extensions and refinements to our previous work [jaeger etal 05] where the basic concepts of this computational model were already discussed.10aQuality aggregation10aSoftware quality10aWeb service quality1 aJaeger, M.C.1 aLadner, H.  uhttp://www.scopus.com/inward/record.url?eid=2-s2.0-33748264359&partnerID=40&md5=191a90f99492d0ec23efaaa7b31a4c42