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.

Prevalence of Adverse Childhood Experiences in a University Population: Associations with Use of Social Services

This paper is part of a series published by the Multiple Adverse Childhood Experiences research group based at QUB. First-year undergraduates took part in an online survey, self-reporting on Adverse Childhood Experiences (ACE) and measures of social service contact. The 10-item ACE questionnaire measures abuse, neglect and household dysfunction (current sample ?????????The study achieved a response rate of 18.6%. (N=765; 552 (72.7%) females and 212 (27.2%) males; 21.8% reporting having been educated at a ‘Protestant’ school, 42% reporting having been educated at a ‘Catholic’ school and 20.4% reporting previous school religious affiliation as ‘other’). Despite obvious non-response bias, ACE scores for this student population are comparable with college-educated populations in the US. Current respondents with previous social service contact are over twenty three times more likely than peers to have experienced multiple adversities. Findings support the hypothesis that social service contact, alone, acts as a proxy indicator for the presence of multiple adverse childhood experiences, with no significant elevation in ACE scores for those going through court proceedings or subject to child protection registration. This study supports current concerns by policy makers to target those children experiencing multiple adversities.

Older people's views of support services in response to elder abuse in communities across Ireland

Purpose – This paper seeks to present findings from the first all-Ireland study that consulted older people on their perceptions of interventions and services to support people experiencing abuse.

Design/methodology/approach – Utilising a grounded theory approach, 58 people aged 65 years and over took part in focus groups across Ireland. Four peer-researchers were also trained to assist in recruitment, data collection, analysis, and dissemination.

Findings – Participants identified preventative community-based approaches and peer supports as important mechanisms to support people experiencing, and being at risk of, elder abuse. Choices regarding care provision and housing, as well as opportunities for engagement in community activities where they can discuss issues with others, were identified as ways to prevent abuse.

Originality/value – The development of elder abuse services has traditionally been defined from the perspective of policy makers and professionals. This study looked at the perspective of the end-users of such services for the first time. The research also gave an active role to older people in the research process. The policy implication of the findings from this research is that enhanced attention and resources should be directed to community activities that enable older people to share their concerns informally thereby gaining confidence to seek more formal interventions when necessary.

From theory to practice:Improving the impact of health services research

Background: While significant strides have been made in health research, the incorporation of research evidence into healthcare decision-making has been marginal. The purpose of this paper is to provide an overview of how the utility of health services research can be improved through the use of theory. Integrating theory into health services research can improve research methodology and encourage stronger collaboration with decision-makers. Discussion: Recognizing the importance of theory calls for new expectations in the practice of health services research. These include: the formation of interdisciplinary research teams; broadening the training for those who will practice health services research; and supportive organizational conditions that promote collaboration between researchers and decision makers. Further, funding bodies can provide a significant role in guiding and supporting the use of theory in the practice of health services research. Summary: Institutions and researchers should incorporate the use of theory if health services research is to fulfill its potential for improving the delivery of health care. © 2005 Brazil et al; licensee BioMed Central Ltd.

Collaborative practice:a strategy to improve the relevance of health services research.

Health services research has emerged as a tool for decision makers to make services more effective and efficient. While its value as a basis for decision making is well established, the incorporation of such evidence into decision making remains inconsistent. To this end, strengthening collaborative relationships between researchers and healthcare decision makers has been identified as a significant strategy for putting research evidence into practice.

Effects of a demand-led evidence briefing service on the uptake and use of research evidence by commissioners of health services: protocol for a controlled before and after study

Background: Clinical Commissioning Groups (CCGs) are mandated to use research evidence effectively to ensure optimum use of resources by the National Health Service (NHS), both in accelerating innovation and in stopping the use of less effective practices and models of service delivery. We intend to evaluate whether access to a demand-led evidence service improves uptake and use of research evidence by NHS commissioners compared with less intensive and less targeted alternatives. 

Methods/design: This is a controlled before and after study involving CCGs in the North of England. Participating CCGs will receive one of three interventions to support the use of research evidence in their decision-making:1) consulting plus responsive push of tailored evidence; 2) consulting plus an unsolicited push of non-tailored evidence; or 3) standard service unsolicited push of non-tailored evidence. Our primary outcome will be changed at 12 months from baseline of a CCGs ability to acquire, assess, adapt and apply research evidence to support decision-making. Secondary outcomes will measure individual clinical leads and managers’ intentions to use research evidence in decision making. Documentary evidence of the use of the outputs of the service will be sought. A process evaluation will evaluate the nature and success of the interactions both within the sites and between commissioners and researchers delivering the service. 

Discussion: The proposed research will generate new knowledge of direct relevance and value to the NHS. The findings will help to clarify which elements of the service are of value in promoting the use of research evidence.Those involved in NHS commissioning will be able to use the results to inform how best to build the infrastructure they need to acquire, assess, adapt and apply research evidence to support decision-making and to fulfil their statutory duties under the Health and Social Care Act.

The impact of rehabilitation using removable partial dentures and functionally orientated treatment on oral health-related quality of life: a randomised controlled clinical trial

OBJECTIVES: This study aimed to compare two different tooth replacement strategies for partially dentate older patients; namely functionally orientated treatment according to the principles of the shortened dental arch (SDA) and conventional treatment using removable partial dentures (RPDs) using a randomised controlled clinical trial. The primary outcome measure for this study was impact on oral health-related quality of life (OHRQoL) measured using the short form of the oral health impact profile (OHIP-14).

METHODS: Patients aged 65 years and older were randomly allocated to two different treatment groups: the RPD group and the SDA group. For the RPD group each patient was restored to complete arches with cobalt-chromium RPDs used to replace missing teeth. For the SDA group, patients were restored to a premolar occlusion of 10 occluding pairs of natural and replacement teeth using resin bonded bridgework (RBB). OHRQoL was measured using the OHIP-14 questionnaire administered at baseline, 1 month, 6 months and 12 months after treatment intervention.

RESULTS: In total, 89 patients completed the RCT: 44 from the RPD group and 45 from the SDA group. Analysis using a mixed model of covariance (ANCOVA) illustrated that treatment according to the SDA concept resulted in significantly better mean OHIP-14 scores compared with RPD treatment (p<0.05). This result was replicated in both treatment centres used in the study.

CONCLUSIONS: In terms of impact on OHRQoL, treatment based on the SDA concept achieved significantly better results than that based on RPDs 12 months after treatment intervention (trial registration no. ISRCTN26302774).

CLINICAL SIGNIFICANCE: Functionally orientated treatment delivery resulted in significantly better outcomes compared to removable dentures in terms of impact on OHRQoL.

The Elasticity of Rehabilitation

This paper contributes to a debate on what constitutes rehabilitation. Current criminal justice practice tends to focus on lowering recidivism by utilising strategies geared towards cognitive behavioural modification and educational/vocational skill development. The paper focuses on the perspectives of custodial educators in a Juvenile Justice Centre in Northern Ireland. Their definition of rehabilitation is less concerned about lowering recidivism and instead focuses more on meeting the needs of the young people entering custody, more so than preparing them for their return to the community. Education staff present a model of rehabilitation that is fundamentally about improving the lives of young people. Despite expecting young people to return to custody Education staff contend that young people’s lives improved because they were exposed to a welcoming, caring and pro‐social environment which has helped the young people transform inttody.

Market Economies with an Endogenous Social Division of Labour

This paper considers a general equilibrium theory of a competitive market economy with an endogenous social division of labour. The theory is founded on the notion of a “consumer- producer”, who consumes as well as produces commodities. In this approach, the emergence of a meaningful social division of labour is guided by the property of increasing returns to specialisation and the process of trade among fully specialised individuals. All decisions of individual consumer-producers are based on a set of perfectly competitive market prices of the commodities in the economy.
We show that a perfectly competitive price mechanism supports a dichotomy of production and consumption at the level of the individual consumer-producer. In this context we show existence of competitive equilibria and characterise these equilibria under increasing returns to specialisation: Under certain well-described conditions, markets are equilibrated through adjustment of the social division of labour; therefore prices are fully determined by the supply side of the economy.

Technologies of Knowledge and Governance on the Front Lines of Emergency Services.

Using institutional ethnography, a sociology and critical method of inquiry used primarily in North America, this presentation discusses new forms and technologies of knowledge and governance – “forms of language, technologies of representation and communication, and text-based, objectified modes of knowledge through which local particularities are interpreted or rendered actionable in abstract, translocal terms” (McCoy, 2008: 701) on the front line of emergency medical services. I focus specifically on technologies central to health reforms that attempt to reshape how health care is delivered, experienced, and made accountable (Anantharaman, 2004; Ball, 2005; Alberta Health Services, 2008). In additional to exemplifying how institutional ethnography can be used to answer Rankin and Campbell’s (2006) call for additional research into “the social organization of information in health care and attention to the (often unintended) ways ‘such textual products may accomplish…ruling purposes but otherwise fail people and, moreover, obscure that failure’ (p. 182)” (cited in McCoy, 2008: 709), this presentation will introduce the audience to a critical approach to social inquiry that explores how knowledge is socially organized.