A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

Analisi delle preferenze per le diverse categorie di pomodoro trasformato nel food service

Il pomodoro è una delle colture principali del panorama agro-alimentare italiano e rappresenta un ingrediente base della tradizione culinaria nazionale. Il pomodoro lavorato dall’industria conserviera può essere trasformato in diverse tipologie merceologiche, che si differenziano in base alla tecniche di lavorazione impiegate ed alle caratteristiche del prodotto finito. la percentuale di spesa totale destinata all’acquisto di cibo fuori casa è in aumento a livello globale e l’interesse dell’industria alimentare nei confronti di questo canale di vendita è quindi crescente. Mentre sono numerose le indagine in letteratura che studiano i processi di acquisto dei consumatori finali, non ci sono evidenze di studi simili condotti sugli operatori del Food Service. Obiettivo principale della ricerca è quello di valutare le preferenze dei responsabili acquisti del settore Food Service per diverse tipologie di pomodoro trasformato, in relazione ad una gamma di attributi rilevanti del prodotto e di caratteristiche del cliente. La raccolta dei dati è avvenuta attraverso un esperimento di scelta ipotetico realizzato in Italia e alcuni mercati esteri. Dai risultati ottenuti dall’indagine emerge che i Pelati sono la categoria di pomodoro trasformato preferita dai responsabili degli acquisti del settore Food Service intervistati, con il 35% delle preferenze dichiarate nell'insieme dei contesti di scelta proposti, seguita dalla Polpa (25%), dalla Passata (20%) e dal Concentrato (15%). Dai risultati ottenuti dalla stima del modello econometrico Logit a parametri randomizzati è emerso che alcuni attributi qualitativi di fiducia (credence), spesso impiegati nelle strategie di differenziazione e posizionamento da parte dell’industria alimentare nel mercato Retail, possono rivestire un ruolo importante anche nell’influenzare le preferenze degli operatori del Food Service. Questo potrebbe quindi essere un interessante filone di ricerca da sviluppare nel futuro, possibilmente con l'impiego congiunto di metodologie di analisi basate su esperimenti di scelta ipotetici e non ipotetici.

Understanding the Combined Role of Internal and External Factors in New Service Development Process within the Professional Knowledge Intensive Business Service Firms

Our research asked the following main questions: how the characteristics of professionals service firms allow them to successfully innovate in exploiting through exploring by combining internal and external factors of innovation and how these ambidextrous organisations perceive these factors; and how do successful innovators in professional service firms use corporate entrepreneurship models in their new service development processes? With a goal to shed light on innovation in professional knowledge intensive business service firms’ (PKIBS), we concluded a qualitative analysis of ten globally acting law firms, providing business legal services. We analyse the internal and factors of innovation that are critical for PKIBS’ innovation. We suggest how these firms become ambidextrous in changing environment. Our findings show that this kind of firms has particular type of ambidexterity due to their specific characteristics. As PKIBS are very dependant on its human capital, governance structure, and the high expectations of their clients, their ambidexterity is structural, but also contextual at the same time. In addition, we suggest 3 types of corporate entrepreneurship models that international PKIBS use to enhance innovation in turbulent environments. We looked at how law firms going through turbulent environments were using corporate entrepreneurship activities as a part of their strategies to be more innovative. Using visual mapping methodology, we developed three types of innovation patterns in the law firms. We suggest that corporate entrepreneurship models depend on successful application of mainly three elements: who participates in corporate entrepreneurship initiatives; what are the formal processes that enhances these initiatives; and what are the policies applied to this type of behaviour.

Detection of Internal Defects in Concrete Members Using Global Vibration Characteristics

Rock-pocket and honeycomb defects impair overall stiffness, accelerate aging, reduce service life, and cause structural problems in hardened concrete members. Traditional methods for detecting such deficient volumes involve visual observations or localized nondestructive methods, which are labor-intensive, time-consuming, highly sensitive to test conditions, and require knowledge of and accessibility to defect locations. The authors propose a vibration response-based nondestructive technique that combines experimental and numerical methodologies for use in identifying the location and severity of internal defects of concrete members. The experimental component entails collecting mode shape curvatures from laboratory beam specimens with size-controlled rock pocket and honeycomb defects, and the numerical component entails simulating beam vibration response through a finite element (FE) model parameterized with three defect-identifying variables indicating location (x, coordinate along the beam length) and severity of damage (alpha, stiffness reduction and beta, mass reduction). Defects are detected by comparing the FE model predictions to experimental measurements and inferring the low number of defect-identifying variables. This method is particularly well-suited for rapid and cost-effective quality assurance for precast concrete members and for inspecting concrete members with simple geometric forms.

[Herd problem: udder health. Retrospective study of farms assessed by the Swiss Bovine Health Service (BHS) from 1999 to 2004]

Data from 59 farms with complaints of udder health problems and insufficient quality of delivered milk that had been assessed by the Swiss Bovine Health Service (BHS) between 1999 and 2004 were retrospectively analysed. Data evaluated included farm characteristics such as farm size, herd size, average milk yield, milking system and housing system, deficits of the milking equipment and the milking practices, and bacteriological results of milk samples from all cows in lactation. The average size of the farms assessed by the BHS was larger than the size of the were evaluated, 42 showed obvious failures which the farm managers could have noticed. Only 5 of the 57 milkers carried out their work according to the generally valid guidelines of the National Mastitis Council. More than 2 basic mistakes were observed in the milking practices of 36 milkers. In 51 farms, mixed infections with several problem bacteria (those present in at least 20 % of the tested cows on a farm) were found. Staphylococcus aureus proved to be the most common problem germ. As the bacteria responsible for the herd problem (the sole problem bacteria detectable on a particular farm) Staphylococcus aureus was detected in 4 farms. The current study revealed that education in the area of milking techniques and milking practices of farmers should be improved in order to reduce the incidence of udder health problems on herd level. Staphylococcus aureus is the most important problem bacteria involved in herds with udder health problems in Switzerland. Staphylococcus aureus might be used in practice as the indicator germ for early recognition of management problems in dairy farms.

Survey of shift and work tolerance of City of Houston emergency medical service personnel

This study of ambulance workers for the emergency medical services of the City of Houston studied the factors related to shiftwork tolerance and intolerance. The EMS personnel work a 24-hour shift with rotating days of the week. Workers are assigned to A, B, C, D shift, each of which rotate 24-hours on, 24-hours off, 24-hours on and 4 days off. One-hundred and seventy-six male EMTs, paramedics and chauffeurs from stations of varying levels of activity were surveyed. The sample group ranged in age from 20 to 45. The average tenure on the job was 8.2 years. Over 68% of the workers held a second job, the majority of which worked over 20 hours a week at the second position.^ The survey instrument was a 20-page questionnaire modeled after the Folkard Standardized Shiftwork Index. In addition to demographic data, the survey tool provided measurements of general job satisfaction, sleep quality, general health complaints, morningness/eveningness, cognitive and somatic anxiety, depression, and circadian types. The survey questionnaire included an EMS-specific scaler of stress.^ A conceptual model of Shiftwork Tolerance was presented to identify the key factors examined in the study. An extensive list of 265 variables was reduced to 36 key variables that related to: (1) shift schedule and demographic/lifestyle factors, (2) individual differences related to traits and characteristics, and (3) tolerance/intolerance effects. Using the general job satisfaction scaler as the key measurement of shift tolerance/intolerance, it was shown that a significant relationship existed between this dependent variable and stress, number of years working a 24-hour shift, sleep quality, languidness/vigorousness. The usual amount of sleep received during the shift, general health complaints and flexibility/rigidity (R$\sp2$ =.5073).^ The sample consisted of a majority of morningness-types or extreme-morningness types, few evening-types and no extreme-evening types, duplicating the findings of Motohashi's previous study of ambulance workers. The level of activity by station was not significant on any of the dependent variables examined. However, the shift worked had a relationship with sleep quality, despite the fact that all shifts work the same hours and participate in the same rotation schedule. ^

Home care service utilization in British Columbia: Substitute or complement to acute care?

The desire to promote efficient allocation of health resources and effective patient care has focused attention on home care as an alternative to acute hospital service. in particular, clinical home care is suggested as a substitute for the final days of hospital stay. This dissertation evaluates the relationship between hospital and home care services for residents of British Columbia, Canada beginning in 1993/94 using data from the British Columbia Linked Health database. ^ Lengths of stay for patients referred to home care following hospital discharge are compared to those for patients not referred to home care. Ordinary least squares regression analysis adjusts for age, gender, admission severity, comorbidity, complications, income, and other patient, physician, and hospital characteristics. Home care clients tend to have longer stays in hospital than patients not referred to home care (β = 2.54, p = 0.0001). Longer hospital stays are evident for all home care client groups as well as both older and younger patients. Sensitivity analysis for referral time to direct care and extreme lengths of stay are consistent with these findings. Two stage regression analysis indicates that selection bias is not significant.^ Patients referred to clinical home care also have different health service utilization following discharge compared to patients not referred to home care. Home care nursing clients use more medical services to complement home care. Rehabilitation clients initially substitute home care for physiotherapy services but later are more likely to be admitted to residential care. All home care clients are more likely to be readmitted to hospital during the one year follow-up period. There is also a strong complementary association between direct care referral and homemaker support. Rehabilitation clients have a greater risk of dying during the year following discharge. ^ These results suggest that home care is currently used as a complement rather than a substitute for some acute health services. Organizational and resource issues may contribute to the longer stays by home care clients. Program planning and policies are required if home care is to provide an effective substitute for acute hospital days. ^

The diurnal variation in stratospheric ozone from the MACC reanalysis, the ERA-Interim reanalysis, WACCM and Earth observations: characteristics and intercomparison

In this study we compare the diurnal variation in stratospheric ozone derived from free-running simulations of the Whole Atmosphere Community Climate Model (WACCM) and from reanalysis data of the atmospheric service MACC (Monitoring Atmospheric Composition and Climate) which both use a similar stratospheric chemistry module. We find good agreement between WACCM and the MACC reanalysis for the diurnal ozone variation in the high-latitude summer stratosphere based on photochemistry. In addition, we consult the ozone data product of the ERA-Interim reanalysis. The ERA-Interim reanalysis ozone system with its long-term ozone parametrization can not capture these diurnal variations in the upper stratosphere that are due to photochemistry. The good dynamics representations, however, reflects well dynamically induced ozone variations in the lower stratosphere. For the high-latitude winter stratosphere we describe a novel feature of diurnal variation in ozone where changes of up to 46.6% (3.3 ppmv) occur in monthly mean data. For this effect good agreement between the ERA-Interim reanalysis and the MACC reanalysis suggest quite similar diurnal advection processes of ozone. The free-running WACCM model seriously underestimates the role of diurnal advection processes at the polar vortex at the two tested resolutions. The intercomparison of the MACC reanalysis and the ERA-Interim reanalysis demonstrates how global reanalyses can benefit from a chemical representation held by a chemical transport model. The MACC reanalysis provides an unprecedented description of the dynamics and photochemistry of the diurnal variation of stratospheric ozone which is of high interest for ozone trend analysis and research on atmospheric tides. We confirm the diurnal variation in ozone at 5 hPa by observations of the Superconducting Submillimeter-Wave Limb-Emission Sounder (SMILES) experiment and selected sites of the Network for Detection of Atmospheric Composition Change (NDACC). The latter give valuable insight even to diurnal variation of ozone in the polar winter stratosphere.

EASE: EPC as a service to ease mobile core network deployment over cloud

The objective of this article is to demonstrate the feasibility of on-demand creation of cloud-based elastic mobile core networks, along with their lifecycle management. For this purpose the article describes the key elements to realize the architectural vision of EPC as a Service, an implementation option of the Evolved Packet Core, as specified by 3GPP, which can be deployed in cloud environments. To meet several challenging requirements associated with the implementation of EPC over a cloud infrastructure and providing it “as a Service,” this article presents a number of different options, each with different characteristics, advantages, and disadvantages. A thorough analysis comparing the different implementation options is also presented.

Identifying characteristics of mentally ill homeless individuals who are successfully linked to health and social services post-incarceration via the jail inreach project

Healthcare for the Homeless—Houston (HHH) received a research grant from The Medallion Foundation, Inc. in March 2006 to pilot The Jail Inreach Project, an intensive “inreach” initiative to assess the impact of providing continuity of mental and primary health care services for homeless individuals who suffer from mental illness and/or substance abuse being released from jail. This pilot project was initiated by HHH, in collaboration with the Harris County Sheriff’s Office and the Mental Health Mental Retardation Authority of Harris County (MHMRA). Those who are flagged as “frequent flyers” and who are diagnosed with a mental illness are referred to the Jail Inreach Project. In order to maximize the effectiveness of the discharge plan, case managers offer the option of meeting the client at the time of release and bring them to the HHH clinic located four blocks from the jail. Participation in both the program and the option for direct release to the care of a case manager are voluntary.^ The purpose of this study is to determine the outcomes of the Jail Inreach Project and addresses the following objectives: (1) to evaluate the characteristics of inmates that chose to be released from jail to the direct care of an HHH case manager versus those who opt for self release and (2) to determine the number and percent of inmates that are linked to services and relationship with type of release (direct versus indirect), (3) to determine if there is a relationship between outcomes and characteristics and (4) to determine what outcomes are a function of release, controlling for characteristics. Statistical analysis, including frequencies, cross tabulations, chi-square and logistical regression, found that those who opt for self release are six times less likely to be successfully linked to services and that gender is the most significant predictor of choosing self release. Men are far more likely to opt for self release than women engaged in this program. These findings help inform policy and program design and development that addresses the difference in service utilization and successful linkage to services post-incarceration. Successful linkage to services, thus continuity of and access to care, further impact the effects of the revolving door phenomenon of mentally ill homeless individuals cycling between the streets, jails and hospital emergency centers.^

Procedure for the identification of population characteristics for targeting intervention services on the basis of outcome-goal priorities: Case management services for the chronic mentally ill

Although the processes involved in rational patient targeting may be obvious for certain services, for others, both the appropriate sub-populations to receive services and the procedures to be used for their identification may be unclear. This project was designed to address several research questions which arise in the attempt to deliver appropriate services to specific populations. The related difficulties are particularly evident for those interventions about which findings regarding effectiveness are conflicting. When an intervention clearly is not beneficial (or is dangerous) to a large, diverse population, consensus regarding withholding the intervention from dissemination can easily be reached. When findings are ambiguous, however, conclusions may be impossible.^ When characteristics of patients likely to benefit from an intervention are not obvious, and when the intervention is not significantly invasive or dangerous, the strategy proposed herein may be used to identify specific characteristics of sub-populations which may benefit from the intervention. The identification of these populations may be used both in further informing decisions regarding distribution of the intervention and for purposes of planning implementation of the intervention by identifying specific target populations for service delivery.^ This project explores a method for identifying such sub-populations through the use of related datasets generated from clinical trials conducted to test the effectiveness of an intervention. The method is specified in detail and tested using the example intervention of case management for outpatient treatment of populations with chronic mental illness. These analyses were applied in order to identify any characteristics which distinguish specific sub-populations who are more likely to benefit from case management service, despite conflicting findings regarding its effectiveness for the aggregate population, as reported in the body of related research. However, in addition to a limited set of characteristics associated with benefit, the findings generated, a larger set of characteristics of patients likely to experience greater improvement without intervention. ^

THE EFFECTS OF COST-SHARING ON USE OF SERVICES AND CONSUMER CHARACTERISTICS IN A STATE'S CRIPPLED CHILDREN'S DIVISION

The present study analyzed some of the effects of imposing a cost-sharing requirement on users of a state's health service program. The study population consisted of people who were in diagnosed medical need and included, but was not limited to, people in financial need.^ The purpose of the study was to determine if the cost-sharing requirement had any detrimental effects on the service population. Changes in the characteristics of service consumers and in utilization patterns were analyzed using time-series techniques and pre-post policy comparisons.^ The study hypotheses stated that the distribution of service provided, diagnoses serviced, and consumer income levels would change following the cost-sharing policy.^ Analysis of data revealed that neither the characteristics of service users (income, race, sex, etc.) nor services provided by the program changed significantly following the policy. The results were explainable in part by the fact that all of the program participants were in diagnosed medical need. Therefore, their use of "discretionary" or "less necessary" services was limited.^ The study's findings supported the work of Joseph Newhouse, Charles Phelps, and others who have contended that necessary service use would not be detrimentally affected by reasonable cost-sharing provisions. These contentions raise the prospect of incorporating cost-sharing into programs such as Medicaid, which, at this writing, do not demand any consumer payment for services.^ The study concluded with a discussion of the cost-containment problem in health services. The efficacy of cost-sharing was considered relative to other financing and reimbursement strategies such as HMO's, self-funding, and reimbursement for less costly services and places of service. ^

HEALTH STATUS - HEALTH SERVICE RESOURCES - ECONOSOCIOCULTURAL DEVELOPMENT: IMPLICATIONS FOR HEALTH CARE POLICY IN AFRICA

Rational health services planning requires an examination of the effects of various factors on the health status of a population within a given set of socioeconomic circumstances. The commonly accepted explanations for improved health in the less developed countries (LDCs) are: Health Service Resources available to a population, Environmental and Life conditions, and the Econosociocultural Characteristics of the population.^ In the context of the low economic base from which many LDCs initiate development activities, a strong imperative exists for identifying in which of these major areas public health policy would be most effective in terms of improving health. A new conceptual model is proposed that would be used for future policy analyses to assess what changes in health status of populations in LDCs can be expected as direct functions of increased health service resources, and of improved environmental and econosociocultural conditions.^ While direct policy analysis is ill-advised at this time due to data inadequacy, the model is illustrated using data presently available for twenty-five relatively homogeneous Sub-Sahara African countries. Within the limitations of available data, study findings indicate that while econosociocultural conditions were the most important explanatory factors of the three major independent variables in 1970, health service resources became the most important in 1975. Study findings are inconclusive at this time with regards to the relative contributions of physicians and medical assistants in explaining variances in mortality in these countries.^ Because of the deficient nature of available data, study findings should be interpreted very cautiously. Tests of statistical significance of study findings were by-passed because of their situational technical inappropriateness. This study is significant in being the first of its kind and scope to focus on the Sub-Sahara African region of the World Health Organization, using the Wroclaw Taxonomic Method in conjunction with a stepwise regression technique. It is desirable, therefore, to examine the observed magnitude and directional consistency of all hypothesized relationships, even if evidence is inconclusive. ^

Towards data-aware cost-driven adaptation for service orchestrations.

Several activities in service oriented computing, such as automatic composition, monitoring, and adaptation, can benefit from knowing properties of a given service composition before executing them. Among these properties we will focus on those related to execution cost and resource usage, in a wide sense, as they can be linked to QoS characteristics. In order to attain more accuracy, we formulate execution costs / resource usage as functions on input data (or appropriate abstractions thereof) and show how these functions can be used to make better, more informed decisions when performing composition, adaptation, and proactive monitoring. We present an approach to, on one hand, synthesizing these functions in an automatic fashion from the definition of the different orchestrations taking part in a system and, on the other hand, to effectively using them to reduce the overall costs of non-trivial service-based systems featuring sensitivity to data and possibility of failure. We validate our approach by means of simulations of scenarios needing runtime selection of services and adaptation due to service failure. A number of rebinding strategies, including the use of cost functions, are compared.