Diagnosing and measuring incompatibilities between pairs of services

International audienceThis text presents a tool, from its design to its implementation, which detects all behavioural incompatibilities between two service interfaces. Unlike prior work, the proposed solution does not simply check whether two services are incompatible or not, it rather provides detailed diagnosis, including the incompatibilities and for each one the location in the service interfaces where these incompatibilities occur. A measure of similarity between interfaces which considers outputs from the detection algorithm is proposed too. A visual report of the comparison analysis is also provided which pinpoints a set of incompatibilities that cause a behavioural interface not to simulate another one

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

Effectiveness of Existential Psychotherapy in Increasing the Resiliency of Infertile Women

Background and Aim: Many problems are associated with infertility diagnosis, especially for women. Resiliency is one of the strategies which may reduce psychological distress of infertile women. The aim of current research was to study the effectiveness of existential psychotherapy in increasing the resiliency of infertile women. Method: The design of the present study was a semi-experimental research with pretest and posttest with control group. Statistical population consisted of all infertile women of Dehdasht, Iran, in the summer of 2014. Samples were selected at first by available sampling method and after completing resiliency questionnaire, and obtaining score for enter to research, were placement using random sampling method in two experimental and control groups (N = 8 per group). The experimental group participated in 8 sessions of group counseling based on existential approach and control group received no intervention. The gathered data were analyzed using covariance analysis. Results: The results showed that significant differences between the pre-test and post-test scores of the experimental group existed. This difference was significant at the level of 0.01. Therefore, it seemed that existential psychotherapy increased the resiliency of infertile women. Conclusion: The results revealed that existential psychotherapy increased resiliency of infertile women and interventions based on this approach will lead to the improvement of the mental health