Data flow testing of service choreography

This work is supported in part by the General Research Fund of the Research Grants Council of Hong Kong (project nos. 717506 and 717308).ESEC/FSE (Conference)Service computing has increasingly been adopted by the industry, developing business applications by means of orchestration and choreography. Choreography specifies how services collaborate with one another by defining, say, the message exchange, rather than via the process flow as in the case of orchestration. Messages sent from one service to another may require the use of different XPaths to manipulate or extract message contents. Mismatches in XML manipulations through XPaths (such as to relate incoming and outgoing messages in choreography specifications) may result in failures. In this paper, we propose to associate XPath Rewriting Graphs (XRGs), a structure that relates XPath and XML schema, with actions of choreography applications that are skeletally modeled as labeled transition systems. We develop the notion of XRG patterns to capture how different XRGs are related even though they may refer to different XML schemas or their tags. By applying XRG patterns, we successfully identify new data flow associations in choreography applications and develop new data flow testing criteria. Finally, we report an empirical case study that evaluates our techniques. The result shows our techniques are promising in detecting failures in choreography applications. Copyright 2009 ACM.postprin

Arresting rampant dental caries with silver diamine fluoride in a young teenager suffering from chronic oral graft versus host disease post-bone marrow transplantation: a case report

BACKGROUND: Rampant caries is an advanced and severe dental disease that affects multiple teeth. This case describes the management of rampant caries in a young teenager suffering from chronic oral graft versus host disease after allogeneic bone marrow transplantation. CASE PRESENTATION: A 14-year-old Chinese boy suffering from beta-thalassemia major was referred to the dental clinic for the management of rampant dental caries. An oral examination revealed pale conjunctiva, bruising of lips, and depapillation of tongue indicating an underlying condition of anemia. The poor oral condition due to topical and systemic immunosuppressants was seriously aggravated, and rampant caries developed rapidly, affecting all newly erupted, permanent teeth. The teeth were hypersensitive and halitosis was apparent. Strategies for oral health education and diet modification were given to the patient. Xylitol chewing gum was used to stimulate saliva flow to promote remineralization of teeth. Silver diamine fluoride was topically applied to arrest rampant caries and to relieve pain from hypersensitivity. Carious teeth with pulpal involvement were endodontically treated. Stainless steel crowns were provided on molars to restore chewing function, and polycarbonate crowns were placed on premolars, upper canines and incisors. CONCLUSION: This case report demonstrates success in treating a young teenager with severe rampant dental decay by contemporary caries control and preventive strategy.published_or_final_versio

Waves of intermediate length through an array of vertical cylinders

We report a semi-analytical theory of wave propagation through a vegetated water. Our aim is to construct a mathematical model for waves propagating through a lattice-like array of vertical cylinders, where the macro-scale variation of waves is derived from the dynamics in the micro-scale cells. Assuming infinitesimal waves, periodic lattice configuration, and strong contrast between the lattice spacing and the typical wavelength, the perturbation theory of homogenization (multiple scales) is used to derive the effective equations governing the macro-scale wave dynamics. The constitutive coefficients are computed from the solution of micro-scale boundary-value problem for a finite number of unit cells. Eddy viscosity in a unit cell is determined by balancing the time-averaged rate of dissipation and the rate of work done by wave force on the forest at a finite number of macro stations. While the spirit is similar to RANS scheme, less computational effort is needed. Using one fitting parameter, the theory is used to simulate three existing experiments with encouraging results. Limitations of the present theory are also pointed out.Cornell University (Mary Upson visiting professorship

Is XML-based test case prioritization for validating WS-BPEL evolution effective in both average and adverse scenarios?

In real life, a tester can only afford to apply one test case prioritization technique to one test suite against a service-oriented workflow application once in the regression testing of the application, even if it results in an adverse scenario such that the actual performance in the test session is far below the average. It is unclear whether the factors of test case prioritization techniques known to be significant in terms of average performance can be extrapolated to adverse scenarios. In this paper, we examine whether such a factor or technique may consistently affect the rate of fault detection in both the average and adverse scenarios. The factors studied include prioritization strategy, artifacts to provide coverage data, ordering direction of a strategy, and the use of executable and non-executable artifacts. The results show that only a minor portion of the 10 studied techniques, most of which are based on the iterative strategy, are consistently effective in both average and adverse scenarios. To the best of our know-ledge, this paper presents the first piece of empirical evidence regarding the consistency in the effectiveness of test case prioritization techniques and factors of service-oriented workflow applications between average and adverse scenarios.published_or_final_versio

Preemptive regression testing of workflow-based web services

published_or_final_versio

A Chan Dietary Intervention Enhances Executive Functions and Anterior Cingulate Activity in Autism Spectrum Disorders: A Randomized Controlled Trial

Executive dysfunctions have been found to be related to repetitive/disinhibited behaviors and social deficits in autism spectrum disorders (ASDs). This study aims to investigate the potential effect of a Shaolin-medicine-based dietary modification on improving executive functions and behavioral symptoms of ASD and exploring the possible underlying neurophysiological mechanisms. Twenty-four children with ASD were randomly assigned into the experimental (receiving dietary modification for one month) and the control (no modification) groups. Each child was assessed on his/her executive functions, behavioral problems based on parental ratings, and event-related electroencephalography (EEG) activity during a response-monitoring task before and after the one month. The experimental group demonstrated significantly improved mental flexibility and inhibitory control after the diet modification, which continued to have a large effect size within the low-functioning subgroup. Such improvements coincided with positive evaluations by their parents on social communication abilities and flexible inhibitory control of daily behaviors and significantly enhanced event-related EEG activity at the rostral and subgenual anterior cingulate cortex. In contrast, the control group did not show any significant improvements. These positive outcomes of a one-month dietary modification on children with ASD have implicated its potential clinical applicability for patients with executive function deficits

A Chan Dietary Intervention Enhances Executive Functions and Anterior Cingulate Activity in Autism Spectrum Disorders: A Randomized Controlled Trial

Executive dysfunctions have been found to be related to repetitive/disinhibited behaviors and social deficits in autism spectrum disorders (ASDs). This study aims to investigate the potential effect of a Shaolin-medicine-based dietary modification on improving executive functions and behavioral symptoms of ASD and exploring the possible underlying neurophysiological mechanisms. Twenty-four children with ASD were randomly assigned into the experimental (receiving dietary modification for one month) and the control (no modification) groups. Each child was assessed on his/her executive functions, behavioral problems based on parental ratings, and event-related electroencephalography (EEG) activity during a response-monitoring task before and after the one month. The experimental group demonstrated significantly improved mental flexibility and inhibitory control after the diet modification, which continued to have a large effect size within the low-functioning subgroup. Such improvements coincided with positive evaluations by their parents on social communication abilities and flexible inhibitory control of daily behaviors and significantly enhanced event-related EEG activity at the rostral and subgenual anterior cingulate cortex. In contrast, the control group did not show any significant improvements. These positive outcomes of a one-month dietary modification on children with ASD have implicated its potential clinical applicability for patients with executive function deficits

A subsumption hierarchy of test case prioritization for composite services

published_or_final_versio

Characterization and Quantification of Isoprene-Derived Epoxydiols in Ambient Aerosol in the Southeastern United States

Isoprene-derived epoxydiols (IEPOX) are identified in ambient aerosol samples for the first time, together with other previously identified isoprene tracers (i.e., 2-methyltetrols, 2-methylglyceric acid, C5-alkenetriols, and organosulfate derivatives of 2-methyltetrols). Fine ambient aerosol collected in downtown Atlanta, GA and rural Yorkville, GA during the 2008 August Mini-Intensive Gas and Aerosol Study (AMIGAS) was analyzed using both gas chromatography/quadrupole mass spectrometry (GC/MS) and gas chromatography/time-of-flight mass spectrometry (GC/TOFMS) with prior trimethylsilylation. Mass concentrations of IEPOX ranged from ~1 to 24 ng m^(−3) in the aerosol collected from the two sites. Detection of particle-phase IEPOX in the AMIGAS samples supports recent laboratory results that gas-phase IEPOX produced from the photooxidation of isoprene under low-NO_x conditions is a key precursor of ambient isoprene secondary organic aerosol (SOA) formation. On average, the sum of the mass concentrations of IEPOX and the measured isoprene SOA tracers accounted for about 3% of the organic carbon, demonstrating the significance of isoprene oxidation to the formation of ambient aerosol in this region

Dejian Mind-Body Intervention on Depressive Mood of Community-Dwelling Adults: A Randomized Controlled Trial

The present study evaluated the effectiveness of a short-term mind-body intervention program on improving the depressive mood of an adult community sample. Forty adult volunteers with various degrees of depressive mood were randomly assigned to the experimental group (Dejian Mind-Body Intervention, DMBI) and control group (Cognitive-Behavioral Therapy, CBT). For each group, a total of four 90-min weekly sessions were conducted. Treatment-related changes were measured using the Beck Depression Inventory (BDI-II), an electroencephalographic indicator of positive affect (i.e., prefrontal activation asymmetry), and self-report ratings on physical health. Results indicated that both the DMBI and the CBT group demonstrated significant reduction in depressive mood. However, among individuals with moderate to severe depressive mood at baseline, only those in the DMBI but not the CBT group showed significant reduction in depressive mood. Besides, only the DMBI group demonstrated a significant increase in prefrontal activation asymmetry, suggesting increase in positive affect. While most psychological therapies for depressive mood normally take several months to show treatment effect, the present findings provided initial data suggesting that the DMBI was effective in improving depressive mood of community adults after 1 month of training