@article {84,
	title = {Knowledge-based support for object-oriented software design and synthesis: A category theoretic approach},
	journal = {Journal of Digital Information Management},
	volume = {5},
	year = {2007},
	note = {Cited By (since 1996):2Export Date: 10 July 2014},
	month = {2007},
	pages = {115 - 122},
	abstract = {To 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.},
	keywords = {Automated software, Object oriented design, Software metrics, Software quality},
	url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-70350673897\&partnerID=40\&md5=de1990a30fe9efe685a0df6e39e37b82},
	author = {Zheng, Y. and Xue, J. and Hu, Q.}
}
@article {32,
	title = {A model for the aggregation of QoS in WS compositions involving redundant services},
	journal = {Journal of Digital Information Management},
	volume = {4},
	year = {2006},
	note = {Cited By (since 1996):3Export Date: 10 July 2014},
	month = {2006},
	pages = {44 - 49},
	abstract = {A 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.},
	keywords = {Quality aggregation, Software quality, Web service quality},
	url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-33748264359\&partnerID=40\&md5=191a90f99492d0ec23efaaa7b31a4c42},
	author = {Jaeger, M.C. and Ladner, H.}
}
