Developing outcomes for educational services: a children's rights-based approach

This article provides a rationale for and insight into an explicit children's rights-based approach to the identification of outcomes for proposed educational interventions. It presents a critical reflection on a research project which sought to integrate international children's rights standards into the design of services through a children's rights audit of potential outcomes and the meaningful engagement of children in the research and service design processes. While children are involved increasingly as co-researchers in qualitative studies, it is less common for this to occur in quantitative studies. This article offers some additional insight into children's participation in the interpretation of data from a large-scale baseline survey. The article concludes with an argument that international children's rights law provides not just a legal imperative but also a comprehensive framework with which to assert the case for increased recognition of children as salient stakeholders in all aspects of service design.

Making Older People Equal: Reforming the Law on Access to Education and Other Services

This article suggests how the law should be reformed throughout the United Kingdom to better protect older people against inappropriate discrimination.

Reasoning about orchestrations of web services using partial correctness

A service is a remote computational facility which is made available for general use by means of a wide-area network. Several types of service arise in practice: stateless services, shared state services and services with states which are customised for individual users. A service-based orchestration is a multi-threaded computation which invokes remote services in order to deliver results back to a user (publication). In this paper a means of specifying services and reasoning about the correctness of orchestrations over stateless services is presented. As web services are potentially unreliable the termination of even finite orchestrations cannot be guaranteed. For this reason a partial-correctness powerdomain approach is proposed to capture the semantics of recursive orchestrations.