A Local Logic for Realizability in Web Service Choreographies

Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does there exist a set of service implementations I that conform to C ? Further, if C is realizable, is there an algorithm to construct implementations in I ? We propose a local temporal logic in which choreographies can be specified, and for specifications in the logic, we solve the realizability problem by constructing service implementations (when they exist) as communicating automata. These are nondeterministic finite state automata with a coupling relation. We also report on an implementation of the realizability algorithm and discuss experimental results.Comment: In Proceedings WWV 2014, arXiv:1409.229

Service Failures of Railway Materials

Service failures were known to occur even before ushering in of machine age but there was no proper understanding of the underlying phenomenon and at best the attempt to overcome them lay in redesigning the components merely by thickening those sections irrespective of poor quality of material or inadequate sectional strength. In the late twenties, however, with springing up of chemical and metallurgical laboratories and with better understanding of Fatigue phenomenon which is the chief fact or underlying a vast majority of service failures, greater interest was taken in the study of performance and failures of components in service

Wildlife art and illustration: drawing in ink - some experiments in Auroville, India

The various styles employed by some artists at the Pitchandikulam studio in Auroville International Township are discussed and some works analysed and commented upon. The basic history and applications of pen and ink drawing and black and white illustration are touched upon and the various schools of thought mentioned and discussed - from it simply being technically accurate and easily printed, to the conundrums with which it is beset

DRY SLIDING WEAR BEHAVIOR OF DIFFUSION BONDED AZ-91 MAGNESIUM ALLOY REINFORCED WITH SIC PARTICLES

Magnesium composites reinforced with 2, 4, 6 Wt.% of silicon carbide particles at different particle size of 10, 25 and 45 mm was synthesized using diffusion bonding process. Further the samples for scanning electron microscopic analysis and tribological analysis were made from the composites. Dry sliding wear test was carried out with L27 orthogonal design array on pin on disc tribometer. Mass loss of the pins was measured and wear rate was calculated. A statistical analysis was performed with the measured wear rate, the optimal parameter combination level was identified with main effect plot. From ANOVA analysis the significant parameters was identified

On Relativistic Wave Equation for Particles of Integer Spins

The representation given by Mathews to describe particles of integer spins is modified in such a way that the Hamiltonian does not contain the matrix Co which is a null matrix. An extreme relativistic limit of the modified Hamiltonian is also obtained

Thin Layer Chromatography of Pesticides and Their Residues

Recent progress in the analysis of organo-phosphorus, organo-chlorine, carbamate, urea, uracil pesticides and their residues by thin layer chromatorgraphic methods employing chemical and enzymatic methods is reviewed

Selective serotonin reuptake inhibitors and the risk of bleeding

Background: Selective serotonin reuptake inhibitors (SSRIs) are commonly prescribed agents for various conditions in general psychiatry. There is a strong consensus that blockade of serotonin reuptake affects primary hemostasis, namely platelet activity, thus resulting in a bleeding tendency. Considering that SSRIs are commonly prescribed, this study was conducted to assess if they were associated with an increased risk of bleeding.Methods: This was a prospective, open-label study of 30 patients attending the Psychiatry out-patient department, Dr. B. R. Ambedkar Medical College, Bangalore who satisfied DSM-IV criteria for a primary diagnosis of depression, treated with SSRIs. Bleeding time, clotting time, prothrombin time, partial thromboplastin time and platelet count were assessed at baseline and at the end of 6 weeks of treatment or occurrence of bleeding symptom.Results: The patients aged between 18-55 years of whom 21 were females, were treated with an SSRI (fluoxetine 12, escitalopram 12 and sertraline 6 patients). Six patients had overt symptoms of bleeding (upper gastrointestinal bleeding (hematemesis) 4; epistaxis 2 and petechiae 2) of whom one patient gave a history of both hematemesis and petechiae and another of hematemesis and epistaxis. The average day after treatment beginning, on which patients reported with bleeding was 30.33 (26-40 days). There was a significant increase in the bleeding time (p=0.028) and clotting time (p=0.042), implying derangement in platelet aggregation. There was no significant change in the other parameters.Conclusion: Treatment with SSRIs increases the risk of bleeding. However, large, randomized controlled trials are required to re-affirm these findings

Kuruvamma: tomorrow's scientist

Science is a `compulsory' subject for the first ten years of schooling in India. We strive for universal schooling and insist that every child must learn science for ten years. Such a societal consensus clearly has some sound basis and clear expectations, though looking at any classroom, it seems quite hard to fathom that basis