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.     

Spontaneous output of acetylcholine from rat diaphragm preparations declines after treatment with botulinum toxin

A gas chromatographic spectrometric assay was used to measure tissue and released acetylcholine and choline in diaphragm preparations of rats previously injected with botulinum toxin type A. Botulinum intoxication was found not to alter the acetylcholine content of rat diaphragms in vivo or in fully paralyzed muscles in vitro. This result provides direct support for the hypothesis that botulinum toxin blocks transmitter release without affecting acetylcholine synthesis. However, in diaphragm preparations in vitro, this toxin was found to inhibit not only the evoked release of acetylcholine but also the spontaneous "leakage" of acetylcholine that is measured at rest. Additional experiments were performed to characterize this action of the toxin. The magnitude of the decline in resting acetylcholine output appears to be too large to be accounted for solely by the known effect of botulinum toxin to reduce the frequency of miniature endplate potentials. The mechanism of this action of botulinum toxin remains an enigma.     

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.     

Dream patterns in Anglo and Chicano young adults

This study is the conclusion of an exploratory cross-cultural investigation of dream content and organization. Following our report in "Ego Modalities in the Manifest Dreams of Male and Female Chicanos," (Brenneis and Roll, 1975), this paper examines differences in the organization and content of dreams: (1) between Anglo men and women; (2) between Anglo and Chicano men and Anglo and Chicano women; and (3) between Anglos and Chicanos.     

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)     

Developing complex projects using XP with extensions

Using methodological extensions to adapt extreme programming (XP) for major projects offers a high security and reliability without limiting software development's advantages. The authors describe their use of XP extensions that focus on development's planning and controlling aspects, demonstrating that a suitably adapted agile development process is applicable to long-term, large-system projects.