A goal-based framework for contextual requirements modeling and analysis

Requirements engineering (RE) research often ignores or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerging computing paradigms, such as ambient, pervasive and ubiquitous computing, where it is essential to monitor and adapt to an inherently varying context. Besides influencing the software, context may influence stakeholders’ goals and their choices to meet them. In this paper, we propose a goal-oriented RE modeling and reasoning framework for systems operating in varying contexts. We introduce contextual goal models to relate goals and contexts; context analysis to refine contexts and identify ways to verify them; reasoning techniques to derive requirements reflecting the context and users priorities at runtime; and finally, design time reasoning techniques to derive requirements for a system to be developed at minimum cost and valid in all considered contexts. We illustrate and evaluate our approach through a case study about a museum-guide mobile information system.     

Tailoring dialysis and resuming low‐protein diets may favor chronic dialysis discontinuation: Report on three cases

Renal function recovery (RFR), defined as the discontinuation of dialysis after 3 months of replacement therapy, is reported in about 1% of chronic dialysis patients. The role of personalized, intensive dialysis schedules and of resuming low‐protein diets has not been studied to date. This report describes three patients with RFR who were recently treated at a new dialysis unit set up to offer intensive hemodialysis. All three patients were females, aged 73, 75, and 78 years. Kidney disease included vascular‐cholesterol emboli, diabetic nephropathy and vascular and dysmetabolic disease. At time of RFR, the patients had been dialysis‐dependent from 3 months to 1 year. Dialysis was started with different schedules and was progressively discontinued with a “decremental” policy, progressively decreasing number and duration of the sessions. A moderately restricted low‐protein diet (proteins 0.6 g/kg/day) was started immediately after dialysis discontinuation. The most recent update showed that two patients are well off dialysis for 5 and 6 months; the diabetic patient died (sudden death) 3 months after dialysis discontinuation. Within the limits of small numbers, our case series may suggest a role for personalized dialysis treatments and for including low‐protein diets in the therapy, in enhancing long‐term RFR in elderly dialysis patients.     

Targeting Serotonin 2A and Adrenergic α1 Receptors for Ocular Antihypertensive Agents: Discovery of 3,4‐Dihydropyrazino[1,2‐b]indazol‐1(2H)‐one Derivatives

Glaucoma affects millions of people worldwide and causes optic nerve damage and blindness. The elevation of the intraocular pressure (IOP) is the main risk factor associated with this pathology, and decreasing IOP is the key therapeutic target of current pharmacological treatments. As potential ocular hypotensive agents, we studied compounds that act on two receptors (serotonin 2A and adrenergic α₁) linked to the regulation of aqueous humour dynamics. Herein we describe the design, synthesis, and pharmacological profiling of a series of novel bicyclic and tricyclic N2‐alkyl‐indazole‐amide derivatives. This study identified a 3,4‐dihydropyrazino[1,2‐b]indazol‐1(2H)‐one derivative with potent serotonin 2A receptor antagonism, >100‐fold selectivity over other serotonin subtype receptors, and high affinity for the α₁ receptor. Moreover, upon local administration, this compound showed superior ocular hypotensive action in vivo relative to the clinically used reference compound timolol.     

Polymeric nanoparticles as drug controlled release systems: a new formulation strategy for drugs with small or large molecular weight

We report a study evaluating the encapsulation and release modalities from poly(D,L lactic acid) (PLA) or poly(D,L-lactide-co-glicolide) (PLGA) micro- and nano-particles of the antiischemic drug N6-cyclopentyladenosine (CPA) and bovine serum albumin (BSA), chosen as protein model. The results obtained by classical preparation methods (nanoprecipitation, single or double emulsion/solvent evaporation) of the particles were compared with those obtained by their formulation with a novel method, employing a thermosensible gel of Pluronic F-127, whose aqueous solutions can be liquid when refrigerated, but gel upon warming. Our results indicate that CPA-loaded nanoparticles, obtained by classical methods, drastically reduce their drug content showing, moreover, any control of the drug release with respect to CPA-loaded microparticles. The novel preparation method allowed us to obtain, instead, CPA encapsulation values in nanoparticles similar to those obtained for microparticles, achieving also a weak control of the drug release. Any drastic reduction of BSA particle content was obtained by decreasing their size from micro- to nano-scales, independently on the employment of classical or novel preparation methods. Moreover, the size reduction induced only a weak increase of the BSA release rate. The patterns of protein released from micro- and nano-particles obtained by the same formulation method were similar. In particular, the micro- and nano-spheres prepared by double emulsion technique showed an incomplete BSA release, characterized by an elevated burst effect followed by a very slow phase. On the other hand, the release from micro- and nano-particles obtained by the novel method was complete and quite regular, being characterized by a little burst release followed by a fast phase. These results have been related to the strong BSA distribution (observed by confocal laser scanning microscope) in the surface or in the core of microparticles obtained by the classical or novel methods, respectively.     

Why Our Patients Like Daily Hemodialysis

The option of daily hemodialysis (HD) was discussed in November 1998 with a group of 35 HD patients on home or self‐care/limited‐care HD in a single, freestanding unit. After the meeting, 3 patients on home HD chose to switch to daily HD. The clinical success of the first patient and the immediate followers was one of the main reasons for further extension of this experience. At the time of this writing (February 2000), 10 patients were on a daily HD program (8 at home and 2 in a self‐care/limited‐care center) and one was in training for home daily HD. One further patient who tried 1 month of daily HD dropped out for logistic reasons. On daily HD, patients are dialyzed 2 – 3 hours/day, 6 days/ week, with blood flow of 270 – 300 mL/min, on bicarbonate dialysate with individually determined levels of Na and K. The schedule is flexible and a switch to 3 – 4 dialyses/week is occasionally allowed for working needs or for vacation. In addition to the well‐known clinical advantages (better well‐being, blood pressure control, nutrition, etc.), some patients preferred daily HD because of easier organization of daily activities, including work schedule. Patients initially feared frequent needle punctures and excessive burden on partners, but those concerns proved to be less a problem than anticipated. All current patients are willing to continue daily HD; only a nursing shortage limits further extension of the program in the self‐care/limited‐care center.     

Elastodynamic analysis of a gear pump. Part II: Meshing phenomena and simulation results

A non-linear lumped kineto-elastodynamic model for the prediction of the dynamic behaviour of external gear pumps is presented. It takes into account the most important phenomena involved in the operation of this kind of machines. Two main sources of noise and vibration can be considered: pressure and gear meshing. Fluid pressure distribution on gears, which is time-varying, is computed and included as a resultant external force and torque acting on the gears. Parametric excitations due to time-varying meshing stiffness, the tooth profile errors (obtained by a metrological analysis), the backlash effects between meshing teeth, the lubricant squeeze and the possibility of tooth contact on both lines of action were also included. Finally, the torsional stiffness and damping of the driving shaft and the non-linear behaviour of the hydrodynamic journal bearings were also taken into account. Model validation was carried out on the basis of experimental data concerning case accelerations and force reactions. The model can be used in order to analyse the pump dynamic behaviour and to identify the effects of modifications in design and operation parameters, in terms of vibration and dynamic forces.Part I is devoted to the calculation of the gear eccentricity in the steady-state condition as result of the balancing between mean pressure loads, mean meshing force and bearing reactions, while in Part II the meshing phenomena are fully explained and the main simulation results are presented.     

Early parallelism with a loosely coupled array of processors: The ICAP experiment

The hardware, system software and Scientific application examples with relative performances are reported for the ICAP-1, ICAP-2, ICAP-3 and ICAP-3090 experimental systems, with emphases on motivation, strategy and accomplishments. These pioneering efforts are considered in the light of future large-scale computational applications, which will require parallel super computing power and also a new outlook to computational models.     

Characterization of A2A adenosine receptors in human lymphocyte membranes by [3H]-SCH 58261 binding

1. The present study describes for the first time the characterization of the adenosine A2A receptor in human lymphocyte membranes with the new potent and selective antagonist radioligand, [3H]-5-amino-7-(2-phenylethyl)-2-(2-furyl)-pyrazolo [4,3-e]-1,2,4 triazolo [1,5-c] pyrimidine, ([3H]-SCH 58261). In addition, both receptor affinity and potency of reference adenosine receptor agonists and antagonists were determined in binding and adenylyl cyclase studies. 2. Saturation experiments revealed a single class of binding sites with Kd and Bmax values of 0.85 nM and 35 fmol mg-1 protein, respectively. A series of adenosine receptor ligands were found to compete for the binding of 0.8 nM [3H]-SCH 58261 to human lymphocyte membranes with a rank order of potency consistent with that typically found for interactions with the A2A-adenosine receptor. In the adenylyl cyclase assay the same compounds exhibited a rank order of potency similar to that observed in binding experiments. 3. Thermodynamic data indicate that [3H]-SCH 58261 binding to human lymphocytes is entropy and enthalpy-driven, a finding in agreement with the thermodynamic behaviour of antagonists for rat striatal A2A-adenosine receptors. 4. It is concluded that in human lymphocyte membranes [3H]-SCH 58261 directly labels binding sites showing the characteristic properties of the adenosine A2A-receptor. The presence of A2A-receptors in peripheral tissue such as human lymphocytes strongly suggests an important role for adenosine in modulating immune and inflammatory responses.     

Designing secure business processes with SecBPMN

Modern information systems are increasingly large and consist of an interplay of technical components and social actors (humans and organizations). Such interplay threatens the security of the overall system and calls for verification techniques that enable determining compliance with security policies. Existing verification frameworks either have a limited expressiveness that inhibits the specification of real-world requirements or rely on formal languages that are difficult to use for most analysts. In this paper, we overcome the limitations of existing approaches by presenting the SecBPMN framework. Our proposal includes: (1) the SecBPMN-ml modeling language, a security-oriented extension of BPMN for specifying composite information systems; (2) the SecBPMN-Q query language for representing security policies; and (3) a query engine that enables checking SecBPMN-Q policies against SecBPMN-ml specifications. We evaluate our approach by studying its understandability and perceived complexity with experts, running scalability analysis of the query engine, and through an application to a large case study concerning air traffic management.     

Calcium‐phosphate and parathyroid intradialytic profiles: A potential aid for tailoring the dialysate calcium content of patients on different hemodialysis schedules

Severe hyperparathyroidism is a challenge on hemodialysis. The definition of dialysate calcium (Ca) is a pending issue with renewed importance in cases of individualized dialysis schedules and of portable home dialysis machines with low‐flow dialysate. Direct measurement of calcium mass transfer is complex and is imprecisely reflected by differences in start‐to‐end of dialysis Ca levels. The study was performed in a dialysis unit dedicated to home hemodialysis and to critical patients with wide use of daily and tailored schedules. The Ca‐phosphate (P)‐parathyroid hormone (PTH) profile includes creatinine, urea, total and ionized Ca, albumin, sodium, potassium, P, PTH levels at start, mid, and end of dialysis. “Severe” secondary hyperparathyroidism was defined as PTH > 300 pg/mL for ≥3 months. Four schedules were tested: conventional dialysis (polysulfone dialyzer 1.8–2.1 m²), with dialysate Ca 1.5 or 1.75 mmol/L, NxStage (Ca 1.5 mmol/L), and NxStage plus intradialytic Ca infusion. Dosages of vitamin D, calcium, phosphate binders, and Ca mimetic agents were adjusted monthly. Eighty Ca‐P‐PTH profiles were collected in 12 patients. Serum phosphate was efficiently reduced by all techniques. No differences in start‐to‐end PTH and Ca levels on dialysis were observed in patients with PTH levels < 300 pg/mL. Conversely, Ca levels in “severe” secondary hyperparathyroid patients significantly increased and PTH decreased during dialysis on all schedules except on Nxstage (P < 0.05). Our data support the need for tailored dialysate Ca content, even on “low‐flow” daily home dialysis, in “severe” secondary hyperparathyroid patients in order to increase the therapeutic potentials of the new dialysis techniques.