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.

Development of XUV lasers at the RAL central laser facility

Recent progress in the development of XUV lasers by research teams using high-power and ultrashort-pulse Nd:glass and KrF laser facilities at the Rutherford Appleton Laboratory is reviewed. Injector-amplifier operation and prepulse enhanced output of the Ge XXIII collisional laser driven by a kilojoule glass laser, enhanced gain in CVI recombination with picosecond CPA drive pulses from a glass laser, and optical field ionization and XUV harmonic generation with a KrF CPA laser are described.

Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty

A web-service is a remote computational facility which is made available for general use by means of the internet. An orchestration is a multi-threaded computation which invokes remote services. In this paper game theory is used to analyse the behaviour of orchestration evaluations when underlying web-services are unreliable. Uncertainty profiles are proposed as a means of defining bounds on the number of service failures that can be expected during an orchestration evaluation. An uncertainty profile describes a strategic situation that can be analyzed using a zero-sum angel-daemon game with two competing players: an angel a whose objective is to minimize damage to an orchestration and a daemon d who acts in a destructive fashion. An uncertainty profile is assessed using the value of its angel daemon game. It is shown that uncertainty profiles form a partial order which is monotonic with respect to assessment.

When care is left to roam: Carers' experiences of grassroots nonprofit services in Ireland

Increasingly countries are turning to nonprofit organisations to provide health and social care, particularly for people with disabilities. Alongside this change, debates continue about how states should manage the relationship with such organisations. Should features of the old-style "welfare" model be retained? Should aspects of the "new public management" model be chosen to measure the impact of the work? Yet others argue that grassroots organisations should form the basis of a service provision system. In the context of these debates, Ireland serves as an interesting case study of the system of care that can emerge when the state operates a "relaxed control" approach. This paper takes the perspectives of users themselves: family carers who are accessing services for a disabled adult child, to examine the effects of this approach on the ground. We show how geography played a central role in shaping these experiences, and discuss how we can learn from the Irish context. Rather than arguing for narrowly defined contractual measures, we conclude by proposing a renewed focus on relationship building with the aim of effective system operation, in the future of care services. © 2010 Elsevier Ltd.

Empowering Human Services Organizations to Embrace Evidence-informed Practice: International Best Practices

Human service organizations are increasingly using knowledge as a mechanism for implementing change. Knowledge emerging from many sources that may include academic publications, grey literature, and service user and practitioner wisdom contributes toward informing best practice. The question is: how do we harness this knowledge to make practice more effective? This paper synthesizes the lessons learned from eight international organizations that have made a commitment to knowledge mobilization as an important priority in their mission and operation. The paper provides a conceptual model, tools and resources to help human services organizations create strategies for building, enhancing or sustaining their knowledge mobilization efforts. The paper describes a flexible blueprint for human service organizations to leverage knowledge mobilization efforts at all levels of service delivery.

Sources of patient knowledge and financing of cataract surgery in rural China: the Sanrao Study of Cataract Outcomes and Up-Take of Services (SCOUTS), report 6.

AIM: To study patient sources of knowledge about cataract surgical services, and strategies for financing surgery in rural China. DESIGN: Cross-sectional case series. METHODS: Patients undergoing cataract surgery by local surgeons in a government, village-level facility in Sanrao, Guangdong between 8 August and 31 December 2005 were examined and had standardised interviews an average of 12 months after surgery. RESULTS: Of 313 eligible patients, 239 (76%) completed the questionnaire. Subjects had a mean (SD) age of 69.9 (10.2) years, 36.4% (87/239) were male, and 87.0% (208/239) had been blind (presenting visual acuity < or = 6/60) before surgery. Word-of-mouth advertising was particularly important: 198 (85.0%) of the subjects knew a person who had undergone cataract surgery, of whom 191 (96.5%) had had cataract surgery at Sanrao itself. Over 70% of subjects (166/239) watched TV daily, whereas 80.0% (188/239) "never" read the newspaper. Nearly two-thirds of suggestions from participants (n = 211, 59.6%) favoured either TV advertisements or word-of-mouth to publicise the programme. While the son or daughter had paid for surgery in over 70% of cases (164/233), the patient's having paid without help was the sole predictor of undergoing second-eye surgery (OR 2.27 (95% CI 1.01 to 5.0, p = 0.04)). DISCUSSION: Strategies to increase uptake of cataract surgery in rural China may benefit from enhancing word-of-mouth advertising (such as with pseudophakic motivators), using television advertising where affordable, and micro-credit or other programmes to enable patients to pay their own fees, thus increasing uptake of second-eye surgery.