Enforcing reputation constraints on business process workflows

The problem of trust in determining the flow of execution of business processes has been in the centre of research interst in the last decade as business processes become a de facto model of Internet-based commerce, particularly with the increasing popularity in Cloud computing. One of the main mea-sures of trust is reputation, where the quality of services as provided to their clients can be used as the main factor in calculating service and service provider reputation values. The work presented here contributes to the solving of this problem by defining a model for the calculation of service reputa-tion levels in a BPEL-based business workflow. These levels of reputation are then used to control the execution of the workflow based on service-level agreement constraints provided by the users of the workflow. The main contribution of the paper is to first present a formal meaning for BPEL processes, which is constrained by reputation requirements from the users, and then we demonstrate that these requirements can be enforced using a reference architecture with a case scenario from the domain of distributed map processing. Finally, the paper discusses the possible threats that can be launched on such an architecture

Cyclic Proofs and Coinductive Principles

It is possible to provide a proof for a coinductive type using a corecursive function coupled with aguardedness condition. The guardedness condition, however, is quiterestrictive and many programs which are in fact productive and do not compromise soundness will be rejected. We present a system of cyclic proof for an extension of System F extended with sums, products and (co)inductive types. Using program transformation techniques we are able to take some programs whose productivity is suspected and transform them, using a suitable theory of equivalence, into programs for which guardedness is syntactically apparent. The equivalence of the proof prior and subsequent to transformation is given by a bisimulation relation.

Interpolant tree automata and their application in Horn clause verification

This paper investigates the combination of abstract interpretation over the domain of convex polyhedra with interpolant tree automata, in an abstraction-refinement scheme for Horn clause verification. These techniques have been previously applied separately, but are combined in a new way in this paper. The role of an interpolant tree automaton is to provide a generalisation of a spurious counterexample during refinement, capturing a possibly infinite set of spurious counterexample traces. In our approach these traces are then eliminated using a transformation of the Horn clauses. We compare this approach with two other methods; one of them uses interpolant tree automata in an algorithm for trace abstraction and refinement, while the other uses abstract interpretation over the domain of convex polyhedra without the generalisation step. Evaluation of the results of experiments on a number of Horn clause verification problems indicates that the combination of interpolant tree automaton with abstract interpretation gives some increase in the power of the verification tool, while sometimes incurring a performance overhead.Comment: In Proceedings VPT 2016, arXiv:1607.0183

Uses of strength-based interventions for people with serious mental illness: a critical review

Background: For the past 3 decades, mental health practitioners have increasingly adopted aspects and tools of strength-based approaches. Providing strength-based intervention and amplifying strengths relies heavily on effective interpersonal processes. Aim: This article is a critical review of research regarding the use of strength-based approaches in mental health service settings. The aim is to discuss strength-based interventions within broader research on recovery, focussing on effectiveness and advances in practice where applicable. Method: A systematic search for peer-reviewed intervention studies published between 2001 and December 2014 yielded 55 articles of potential relevance to the review. Results: Seven studies met the inclusion criteria and were included in the analysis. The Quality Assessment Tool for Quantitative Studies was used to appraise the quality of the studies. Our review found emerging evidence that the utilisation of a strength-based approach improves outcomes including hospitalisation rates, employment/educational attainment, and intrapersonal outcomes such as self-efficacy and sense of hope. Conclusion: Recent studies confirm the feasibility of implementing a high-fidelity strength-based approach in clinical settings and its relevance for practitioners in health care. More high-quality studies are needed to further examine the effectiveness of strength-based approaches

Positive and negative well-being and objectively measured sedentary behaviour in older adults: evidence from three cohorts

Background: Sedentary behaviour is related to poorer health independently of time spent in moderate to vigorous physical activity. The aim of this study was to investigate whether wellbeing or symptoms of anxiety or depression predict sedentary behaviour in older adults. Method: Participants were drawn from the Lothian Birth Cohort 1936 (LBC1936) (n = 271), and the West of Scotland Twenty-07 1950s (n = 309) and 1930s (n = 118) cohorts. Sedentary outcomes, sedentary time, and number of sit-to-stand transitions, were measured with a three-dimensional accelerometer (activPAL activity monitor) worn for 7 days. In the Twenty-07 cohorts, symptoms of anxiety and depression were assessed in 2008 and sedentary outcomes were assessed ~ 8 years later in 2015 and 2016. In the LBC1936 cohort, wellbeing and symptoms of anxiety and depression were assessed concurrently with sedentary behaviour in 2015 and 2016. We tested for an association between wellbeing, anxiety or depression and the sedentary outcomes using multivariate regression analysis. Results: We observed no association between wellbeing or symptoms of anxiety and the sedentary outcomes. Symptoms of depression were positively associated with sedentary time in the LBC1936 and Twenty-07 1950s cohort, and negatively associated with number of sit-to-stand transitions in the LBC1936. Meta-analytic estimates of the association between depressive symptoms and sedentary time or number of sit-to-stand transitions, adjusted for age, sex, BMI, long-standing illness, and education, were β = 0.11 (95% CI = 0.03, 0.18) and β = − 0.11 (95% CI = − 0.19, −0.03) respectively. Conclusion: Our findings indicate that depressive symptoms are positively associated with sedentary behavior. Future studies should investigate the causal direction of this association