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.

Lawyers in a Divided Society: Legal Culture and Legal Services in Northern Ireland",

Also published as Ch. 9 in Tomorrow's Lawyers (ed. P. Thomas) Oxford: Blackwell 1992. (With M. Fox.)

Community Care Services for the Mentally Ill

In this study a broadly representative sample of clients in the City of Westminster, receiving Care in the Community for reasons of mental ill-health, were interviewed regarding their experiences of, and levels of satisfaction with, services provided. The results reveal the vulnerability of services users, the benefits of community care, the high regard the majority have for their helpers, the limitations imposed by scarce resources, and the negative effects of only loose co-ordination between health and social services. Respondents also provide a rich source of data on how services might be improved.

Societal perceptions of community pharmaceutical services in Malta

Objective: To assess the views of the Maltese general public on services provided by community pharmacies in Malta and their opinions on the proposed extended role for pharmacies.