How Do Software Architects Specify and Validate Quality Requirements?

Software architecture is the result of a design effort aimed at ensuring a certain set of quality attributes. As we show, quality requirements are commonly specified in practice but are rarely validated using automated techniques. In this paper we analyze and classify commonly specified quality requirements after interviewing professionals and running a survey. We report on tools used to validate those requirements and comment on the obstacles encountered by practitioners when performing such activity (e.g., insufficient tool-support; poor understanding of users needs). Finally we discuss opportunities for increasing the adoption of automated tools based on the information we collected during our study (e.g., using a business-readable notation for expressing quality requirements; increasing awareness by monitoring non-functional aspects of a system).

Dicto: A Unified DSL for Testing Architectural Rules

Software architecture consists of a set of design choices that can be partially expressed in form of rules that the implementation must conform to. Architectural rules are intended to ensure properties that fulfill fundamental non-functional requirements. Verifying architectural rules is often a non- trivial activity: available tools are often not very usable and support only a narrow subset of the rules that are commonly specified by practitioners. In this paper we present a new highly-readable declarative language for specifying architectural rules. With our approach, users can specify a wide variety of rules using a single uniform notation. Rules can get tested by third-party tools by conforming to pre-defined specification templates. Practitioners can take advantage of the capabilities of a growing number of testing tools without dealing with them directly.

Effects of dialysis modality on blood loss, bleeding complications and transfusion requirements in critically ill patients with dialysis-dependent acute renal failure.

Blood loss and bleeding complications may often be observed in critically ill patients on renal replacement therapies (RRT). Here we investigate procedural (i.e. RRT-related) and non-procedural blood loss as well as transfusion requirements in regard to the chosen mode of dialysis (i.e. intermittent haemodialysis [IHD] versus continuous veno-venous haemofiltration [CVVH]). Two hundred and fifty-two patients (122 CVVH, 159 male; aged 61.5±13.9 years) with dialysis-dependent acute renal failure were analysed in a sub-analysis of the prospective randomised controlled clinical trial-CONVINT-comparing IHD and CVVH. Bleeding complications including severity of bleeding and RRT-related blood loss were assessed. We observed that 3.6% of patients died related to severe bleeding episodes (between group P=0.94). Major all-cause bleeding complications were observed in 23% IHD versus 26% of CVVH group patients (P=0.95). Under CVVH, the rate of RRT-related blood loss events (57.4% versus 30.4%, P=0.01) and mean total blood volume lost was increased (222.3±291.9 versus 112.5±222.7 ml per patient, P <0.001). Overall, transfusion rates did not differ between the study groups. In patients with sepsis, transfusion rates of all blood products were significantly higher when compared to cardiogenic shock (all P <0.01) or other conditions. In conclusion, procedural and non-procedural blood loss may often be observed in critically ill patients on RRT. In CVVH-treated patients, procedural blood loss was increased but overall transfusion rates remained unchanged. Our data show that IHD and CVVH may be regarded as equivalent approaches in critically ill patients with dialysis-dependent acute renal failure in this regard.

Clinical evaluation of ketamine and lidocaine intravenous infusions to reduce isoflurane requirements in horses under general anaesthesia

OBJECTIVE To compare isoflurane alone or in combination with systemic ketamine and lidocaine for general anaesthesia in horses. STUDY DESIGN Prospective, randomized, blinded clinical trial. ANIMALS Forty horses (ASA I-III) undergoing elective surgery. METHODS Horses were assigned to receive isoflurane anaesthesia alone (ISO) or with ketamine and lidocaine (LKI). After receiving romifidine, diazepam, and ketamine, the isoflurane end-tidal concentration was set at 1.3% and subsequently adjusted by the anaesthetist (unaware of treatments) to maintain a light plane of surgical anaesthesia. Animals in the LKI group received lidocaine (1.5 mg kg(-1) over 10 minutes, followed by 40 microg kg(-1) minute(-1)) and ketamine (60 microg kg(-1) minute(-1)), both reduced to 65% of the initial dose after 50 minutes, and stopped 15 minutes before the end of anaesthesia. Standard clinical cardiovascular and respiratory parameters were monitored. Recovery quality was scored from one (very good) to five (very poor). Differences between ISO and LKI groups were analysed with a two-sample t-test for parametric data or a Fischer's exact test for proportions (p < 0.05 for significance). Results are mean +/- SD. RESULTS Heart rate was lower (p = 0.001) for LKI (29 +/- 4) than for ISO (34 +/- 6). End-tidal concentrations of isoflurane (ISO: 1.57% +/- 0.22; LKI: 0.97% +/- 0.33), the number of horses requiring thiopental (ISO: 10; LKI: 2) or dobutamine (ISO:8; LKI:3), and dobutamine infusion rates (ISO:0.26 +/- 0.09; LKI:0.18 +/- 0.06 microg kg(-1) minute(-1)) were significantly lower in LKI compared to the ISO group (p < 0.001). No other significant differences were found, including recovery scores. CONCLUSIONS AND CLINICAL RELEVANCE These results support the use of lidocaine and ketamine to improve anaesthetic and cardiovascular stability during isoflurane anaesthesia lasting up to 2 hours in mechanically ventilated horses, with comparable quality of recovery.

Mitigating the syndromes of desertification: The requirements for transdisciplinary research and information exchange

In developing meaningful mitigation strategies to combat desertification, it is important to address the complex constellation of desertification under different bio-physical, social, demographic, political and economic conditions. In particular, desertification can be described as a cluster of key processes of global change which together form a typical syndrome. A critical reflection on the potential of research to help mitigate desertification will be a useful first step, before addressing the requirements for research partnerships between institutions at local levels and beyond. A practical example from Eritrea, an ecoregion which has been plagued by desertification for many centuries, is given at the end of the paper. It illustrates options for generating the necessary data and developing useful information in order to enhance the impact of research on sustainable development.

A unified approach to architecture conformance checking

Architectural decisions can be interpreted as structural and behavioral constraints that must be enforced in order to guarantee overarching qualities in a system. Enforcing those constraints in a fully automated way is often challenging and not well supported by current tools. Current approaches for checking architecture conformance either lack in usability or offer poor options for adaptation. To overcome this problem we analyze the current state of practice and propose an approach based on an extensible, declarative and empirically-grounded specification language. This solution aims at reducing the overall cost of setting up and maintaining an architectural conformance monitoring environment by decoupling the conceptual representation of a user-defined rule from its technical specification prescribed by the underlying analysis tools. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by untrained stakeholders and, at the same time, can be can be automatically processed by a conformance checking validator. Besides addressing the issue of cost, we also investigate opportunities for increasing the value of conformance checking results by assisting the user towards the full alignment of the implementation with respect to its architecture. In particular, we show the benefits of providing actionable results by introducing a technique which automatically selects the optimal repairing solutions by means of simulation and profit-based quantification. We perform various case studies to show how our approach can be successfully adopted to support truly diverse industrial projects. We also investigate the dynamics involved in choosing and adopting a new automated conformance checking solution within an industrial context. Our approach reduces the cost of conformance checking by avoiding the need for an explicit management of the involved validation tools. The user can define rules using a convenient high-level DSL which automatically adapts to emerging analysis requirements. Increased usability and modular customization ensure lower costs and a shorter feedback loop.