Operating guidelines for services

In the paradigm of service-oriented computing, companies organize their core competencies as services and may request other functionalities from services of other companies. Services provide high flexibility, platform independent loose coupling, and distributed execution. They may thus help to reduce the complexity of dynamically binding and integrating heterogenous processes within and across organizations. The vision of service-oriented architectures is to provide a framework for publishing new services, for on demand searching for and discovery of existing services, and for dynamically binding services to achieve common business goals. That way, each individual organization gains more flexibility to dynamically react on new challenges. As services may be created or modified, or collaborations may be restructured at any point in time, a new challenge arises in this setting—the challenge for deciding the compatibility of the composed services before their actual binding. Recent literature distinguishes four different aspects of service compatibility: syntactical, behavioral, semantical, and non-functional compatibility. In this thesis, we focus on behavioral compatibility and abstract from the other aspects. Potential behavioral incompatibilities between services include deadlocks (two services wait for a message of each other), livelocks (two services keep exchanging messages without progressing), and pending messages that have been sent but cannot be received anymore. For stateful services that interact via asynchronous message passing, deciding behavioral compatibility is far from trivial. Local changes to one service may introduce errors in some or even all other services of an interaction. The verification of behavioral compatibility suffers from state explosion problems and is restricted by privacy issues. That is, the parties of an interaction are essentially autonomous and may be competitors in other business fields. Consequently, they do not want to reveal the internals of their processes to the other participants in order to hide trade secrets. To systematically approach this challenge, we introduce a formal framework based on Petri nets and automata for service modeling and formalize behavioral compatibility as deadlock freedom of the composition of the services. The main contribution of this thesis is to introduce the concept of the operating guideline of a service. Operating guidelines provide a formal characterization of the set of all behaviorally compatible services R for a given service S. Usually, this set is infinite. However, the operating guideline OGS of a service S serves as a finite representation of this infinite set. Furthermore, the operating guideline of S reveals only internals that are inevitably necessary to decide behavioral compatibility with S. We provide a construction method of operating guidelines for finite-state services with bounded communication. Operating guidelines can be used in many applications in the context of serviceoriented computing. The most fundamental application is to support the discovery of behaviorally compatible services. To this end, we develop a matching procedure that efficiently decides whether a given service R is characterized by the operating guideline OGS of a service S. If R matches, then both services R and S are behaviorally compatible and can be bound together to interact with each other. If R does not match with OGS, then the services are behaviorally incompatible and may run into severe behavioral errors and not reach their common business goal. Operating guidelines can furthermore be applied in the novel research areas of service substitutability and the generation of adapter services, for instance. To this end, we develop methods to compare the sets of services characterized by the operating guidelines OGS and OGS0 . If OGS0 characterizes more services than OGS, then the service S can be substituted by the service S0 without loosing any behaviorally compatible interaction partner R. Furthermore, we show how to synthesize a service R from the operating guideline OGS such that R is behaviorally compatible to S by construction. All results presented in this thesis are implemented in our service analysis tool Fiona. Fiona may compute operating guidelines for services modeled as Petri nets. It may match a service with an operating guideline, compare operating guidelines for equivalence or an inclusion relation, and synthesize service adapters for behaviorally incompatible services. Together with the tool BPEL2oWFN— which translates web services specified in BPEL into Petri net models of the services—we can immediately apply our results to services that stem from practic

Demonstration of Load Rating Capabilities through Physical Load Testing: Sioux County Bridge Case Study, RB32-013, 2013

The objective of this work, Pilot Project - Demonstration of Capabilities and Benefits of Bridge Load Rating through Physical Testing, was to demonstrate the capabilities for load testing and rating bridges in Iowa, study the economic benefit of performing such testing, and perform outreach to local, state, and national engineers on the topic of bridge load testing and rating. This report documents one of three bridges inspected, load tested, and load rated as part of the project, the Sioux County Bridge (FHWA #308730), including testing procedures and performance of the bridge under static loading along with the calculated load rating from the field-calibrated analytical model. Two parallel reports document the testing and load rating of the Ida County Bridge (FHWA #186070) and the Johnson County Bridge (FHWA #205750). A tech brief provides overall information about the project

How a Diverse Research Ecosystem Has Generated New Rehabilitation Technologies: Review of NIDILRR’s Rehabilitation Engineering Research Centers

Over 50 million United States citizens (1 in 6 people in the US) have a developmental, acquired, or degenerative disability. The average US citizen can expect to live 20% of his or her life with a disability. Rehabilitation technologies play a major role in improving the quality of life for people with a disability, yet widespread and highly challenging needs remain. Within the US, a major effort aimed at the creation and evaluation of rehabilitation technology has been the Rehabilitation Engineering Research Centers (RERCs) sponsored by the National Institute on Disability, Independent Living, and Rehabilitation Research. As envisioned at their conception by a panel of the National Academy of Science in 1970, these centers were intended to take a “total approach to rehabilitation”, combining medicine, engineering, and related science, to improve the quality of life of individuals with a disability. Here, we review the scope, achievements, and ongoing projects of an unbiased sample of 19 currently active or recently terminated RERCs. Specifically, for each center, we briefly explain the needs it targets, summarize key historical advances, identify emerging innovations, and consider future directions. Our assessment from this review is that the RERC program indeed involves a multidisciplinary approach, with 36 professional fields involved, although 70% of research and development staff are in engineering fields, 23% in clinical fields, and only 7% in basic science fields; significantly, 11% of the professional staff have a disability related to their research. We observe that the RERC program has substantially diversified the scope of its work since the 1970’s, addressing more types of disabilities using more technologies, and, in particular, often now focusing on information technologies. RERC work also now often views users as integrated into an interdependent society through technologies that both people with and without disabilities co-use (such as the internet, wireless communication, and architecture). In addition, RERC research has evolved to view users as able at improving outcomes through learning, exercise, and plasticity (rather than being static), which can be optimally timed. We provide examples of rehabilitation technology innovation produced by the RERCs that illustrate this increasingly diversifying scope and evolving perspective. We conclude by discussing growth opportunities and possible future directions of the RERC program

Access to legal aid

Overview: The audit found that Victoria Legal Aid (VLA) is performing its role delivering legal aid services across Victoria, and prioritising the most vulnerable people based on a sound understanding of demand drivers and funding risks. VLA is providing its services in a challenging environment of increased demand and with fixed funding that is largely based on demand levels from 2008. Determining the extent to which VLA is providing services effectively, efficiently and economically is constrained, however, by its performance monitoring framework, which does not clearly inform VLA\u27s board or the public about how well it is achieving its statutory objectives. Increased demand has resulted in VLA tightening eligibility for its more intensive and costly legal services in order to remain financially sustainable. This has had the effect of reducing the number of people who are eligible for legal representation, while moving more people to less intensive services. While these actions are consistent with VLA\u27s legal obligations, this has implications for access to justice. There are gaps in some areas of its service delivery, and VLA is actively addressing these gaps to improve services

Alternatives for NASTRAN maintenance, modification and dissemination

Various alternatives to direct NASA support of the program are considered ranging from no support at one end of the spectrum to subsidizing a non profit user's group at the other. Of all the alternatives that are developed, the user group appears to be most viable. NASA's past and future roles in the development of computerized technology are also considered. The need for an institute for computational analysis is identified and NASA's possible involvement is described. The goals of the proposed institute and research funds to support an activity that has the potential of a much larger impact on the technical community are identified

CFD modelling of buoyancy-driven natural ventilation opposed by wind

This paper presents CFD simulations of natural displacement ventilation airflows in which the buoyancy force produced by a heat source is opposed by a wind force. Cases investigated focus on windbuoyancy force relationships for which a two-layer stratification is maintained. CFD predictions of the position of the interface separating the two layers and the change in reduced gravity (temperature difference) between them are compared with the analytical work and salt-bath measurements of Hunt and Linden (2000, 2005). Comparisons are good with only minor discrepancies in the interface position and a small under-prediction of the upper layer reduced gravity

For operation of the Computer Software Management and Information Center (COSMIC)

Computer programs for large systems of normal equations, an interactive digital signal process, structural analysis of cylindrical thrust chambers, swirling turbulent axisymmetric recirculating flows in practical isothermal combustor geometrics, computation of three dimensional combustor performance, a thermal radiation analysis system, transient response analysis, and a software design analysis are summarized

Modelling rail track deterioration and maintenance: current practices and future needs

As commercialisation and privatisation of railway systems reach the political agendas in a number of countries, including Australia, the separation of infrastructure from operating business dictates that track costs need to be shared on an equitable basis. There is also a world-wide trend towards increased pressures on rail track infrastructure through increases in axle loads and train speeds. Such productivity and customer service driven pressures inevitably lead to reductions in the life of track components and increases in track maintenance costs. This paper provides a state-of-the-art review of track degradation modeling, as well as an overview of track maintenance decision support systems currently in use in North America and Europe. The essential elements of a maintenance optimisation model currently under development are also highlighted