Non-functional properties in the model-driven development of service-oriented systems

Systems based on the service-oriented architecture (SOA) principles have become an important cornerstone of the development of enterprise-scale software applications. They are characterized by separating functions into distinct software units, called services, which can be published, requested and dynamically combined in the production of business applications. Service-oriented systems (SOSs) promise high flexibility, improved maintainability, and simple re-use of functionality. Achieving these properties requires an understanding not only of the individual artifacts of the system but also their integration. In this context, non-functional aspects play an important role and should be analyzed and modeled as early as possible in the development cycle. In this paper, we discuss modeling of non-functional aspects of service-oriented systems, and the use of these models for analysis and deployment. Our contribution in this paper is threefold. First, we show how services and service compositions may be modeled in UML by using a profile for SOA (UML4SOA) and how non-functional properties of service-oriented systems can be represented using the non-functional extension of UML4SOA (UML4SOA-NFP) and the MARTE profile. This enables modeling of performance, security and reliable messaging. Second, we discuss formal analysis of models which respect this design, in particular we consider performance estimates and reliability analysis using the stochastically timed process algebra PEPA as the underlying analytical engine. Last but not least, our models are the source for the application of deployment mechanisms which comprise model-to-model and model-to-text transformations implemented in the framework VIATRA. All techniques presented in this work are illustrated by a running example from an eUniversity case study.     

Review Paper: A critical review of the present and future prospects for electronic paper

Abstract— The commercial success of monochrome electronic paper (e‐Paper) is now propelling the development of next‐generation flexible, video, and color e‐Paper products. Unlike the early battles in the 1980s and 1990s between transmissive and emissive display technologies, there is a extraordinary diversity of technologies vying to become the next generation of e‐Paper. A critical review of all major e‐Paper technologies, including a technical breakdown of the performance limitations based on device physics and commentary on possible future breakthroughs, is presented. In addition, the visual requirements for color e‐Paper are provided and compared to standards used in conventional print. It is concluded that researchers have much work remaining in order to bridge the significant gap between reflective electronic displays and print‐on‐paper.     

Experimental test of a robust formation controller for marine unmanned surface vessels

Experiments with two formation controllers for marine unmanned surface vessels are reported. The formation controllers are designed using the nonlinear robust model-based sliding mode approach. The marine vehicles can operate in arbitrary formation configurations by using two leader-follower control schemes. For the design of these controller schemes 3 degrees of freedom (DOFs) of surge, sway, and yaw are assumed in the planar motion of the marine surface vessels. Each vessel only has two actuators; therefore, the vessels are underactuated and the lack of a kinematic constraint puts them into the holonomic system category. In this work, the position of a control point on the vessel is controlled, and the orientation dynamics is not directly controlled. Therefore, there is a potential for an oscillatory yaw motion to occur. It is shown that the orientation dynamics, as the internal dynamics of this underactuated system, is stable, i.e., the follower vehicle does not oscillate about its control point during the formation maneuvers. The proposed formation controller relies only on the state information obtained from the immediate neighbors of the vessel and the vessel itself. The effectiveness and robustness of formation control laws in the presence of parameter uncertainty and environmental disturbances are demonstrated by using both simulations and field experiments. The experiments were performed in a natural environment on a lake using a small test boat, and show robust performance to parameter uncertainty and disturbance. This paper reports the first experimental verification of the above mentioned approach, whose unique features are the use of a control point, the zero-dynamic stability analysis, the use of leader-follower method and a nonlinear robust control approach.     

Systems modelling for effective mine water management

Concerns about the difficulties in securing water have led the Australian coal mining industry to seek innovative ways to improve its water management and to adopt novel strategies that will lead to less water being used and more water being reused. Simulation tools are essential to assess current water management performance and to predict the efficiency of potential strategies. As water systems on coal mines are complex and consist of various inter-connected elements, a systems approach was selected, which views mine site water management as a system that obtains water from various sources (surface, groundwater), provides sufficient water of suitable quality to the mining tasks (coal beneficiation, dust suppression, underground operations) and maintains environmental performance. In this paper, the model is described and its calibration is illustrated. The results of applying the model for the comparison of the water balances of 7 coal mines in the northern Bowen Basin (Queensland, Australia) are presented. The model is used to assess the impact of applying specific water management strategies. Results show that a simple systems model is an appropriate tool for assessing site performance, for providing guidance to improve performance through strategic planning, and for guiding adoption of site objectives.     

Radiopharmacology of inhaled 133Xe in skeletal sites containing deposits of Gaucher cells

Gaucher's disease is a lysosomal storage disease in which cells of the reticuloendothelial system accumulate the lipid glucocerebroside. It is characterized by slowly progressive visceral and osseous involvement. One of the latter manifestations includes lipid infiltration of bone marrow. We monitored the rate of inhaled 133Xe uptake and wash-out over diseased and normal metaphyseal and epiphyseal areas of the knee. Twenty-two patients (15 adults, 7 children) with various degrees of previously diagnosed Gaucher's disease were positioned supine under a gamma-camera interfaced to a computer system. All patients rebreathed 133Xe gas from a closed system for 10 min followed by 14 min of wash-out. Digitized images of the lung, liver, spleen, bony sites and soft tissue were obtained at 1 min intervals during the wash-in and wash-out phases. Counts for each ROI were normalized per 100 pixels and plotted as a function (time). Maximum uptake was also calculated by relating the counts/ROI/100 pixels to the 10 min integrated lung count during equilibrium (the administered "dose"). There was essentially no 133Xe uptake in liver and spleen involved with Gaucher's disease. Monophasic uptake and biphasic wash-out curves were observed in the limited investigative population. Skeletal Gaucher deposits released the 133Xe at a greater rate relative to soft tissue.     

Environmental life-cycle inventory of detergent-grade surfactant sourcing and production

Life-cycle inventories were compiled to characterize natural resource requirements and environmental emissions associated with the sourcing and production of selected, detergent-grade surfactants and surfactant feedstocks. Petrochemical surfactant types examined were linear alkylbenzene sulfonate, alcohol sulfate (AS), alcohol ethoxylate (AE) and alcohol ethoxylate sulfate (AES). Oleochemical surfactants derived from palm oil, palm kernel oil and inedible tallow were AS, AE, AES and (for palm oil and tallow) methyl ester sulfonate. It was determined that natural resource requirements were primarily related to the source of feedstock and secondarily to surfactant type. Likewise, the composition and mass of atmospheric, aqueous and solid emissions were principally determined by feedstock source. Energy requirements varied as a function of both feedstock and surfactant type. The inventories do not support fundamental shifts in surfactant usage or feedstock sourcing on the basis of environmental concerns, as no single surfactant or feedstock was identified as superior across all resource and emissions criteria examined. The data provide baselines for evaluating opportunities for resource optimization, pollution prevention and waste minimization within each production technology surveyed.     

Effects of hypothalamic temperature changes on the sweat rate in Macaca mulatta

The concept of cardiac reconditioning centers for the prevention and rehabilitation of coronary patients has been tremendously successful in Germany over the past 20 years. At least 40 such centers are located throughout the country. Physicians, nurses, and physical therapists work closely together in the various facets of the rehabilitation process. The financial backing for these facilities is primarily through governmental and regional insurance companies, whose officials are apparently convinced that in the long run supporting preventive measures is financially sound. Objective data supporting their convictions come from studies such as that of Brusis, who showed that such as that of 1,500 employees was diminished by nearly 70 percent during a two-year period after cardiac reconditioning, as compared to a similar time period before the rehabilitation experience. Subjective benefits, which are extremely difficult to quantitate in meaningful terms, were nonetheless expressed by nearly all the patients with whom I conversed. Perhaps they have experienced the same feelings that Mark Twain did when he observed that "all frets and worries and chafings sank to sleep in the presence of the benignant serenity of the Alps; the Great Spirit of the Mountains breathed his own peace upon their hurt minds and sore hearts and healed them."     

Determination of glucose with glucoseoxidase-UV, using hexokinase as the reference method (author's transl)

Results obtained with the commercial test-set "GOD-UV" (Dr. Haury, München) are reported. This method permits the determination of serum-glucose within 3 minutes. The procedure is satisfactory in normal and hyperglycaemic patients. In the hypoglycaemic state, however, there is a danger of misinterpretation. The glucose oxidase-UV is compared with the hexokinase reaction.     

Accountability in Child Welfare Services: Developing a Statewide Outcome Evaluation Program.

Questions are often raised regarding the effectiveness and value of treatment programs for children and families. Recently, programs have been increasingly held accountable for services offered. In response, the member agencies of IARCCA have developed a comprehensive outcome measurement program. This article describes the project, focusing on the conditions that led to its inception and how the measurement plan was developed. In addition, the article includes information on the selection of personnel, measurement instruments, and methods and on the process of data collection. Summary results are provided, including how these results are utilized to improve services. Finally, the continued expansion and future directions of the Outcome Project are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)