Deriving tabular event-based specifications from goal-oriented requirements models

Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural and operational models of the software and its environment. They also provide various techniques for early analysis, notably, to manage conflicting goals or to anticipate abnormal environment behaviours that prevent goals from being achieved. On the other hand, tabular event-based methods are well-established for specifying operational requirements for control software. They provide sophisticated techniques and tools for late analysis of software behaviour models through simulation, model checking or table exhaustiveness checks. The paper proposes to take the best out of these two worlds to engineer requirements for control software. It presents a technique for deriving event-based specifications, written in the SCR tabular language, from operational specifications built according to the KAOS goal-oriented method. The technique consists of a series of transformation steps each of which resolves semantic, structural or syntactic differences between the KAOS source language and the SCR target language. Some of these steps need human intervention and illustrate the kind of semantic subtleties that need to be taken into account when integrating multiple formalisms. As a result of our technique SCR specifiers may use upstream goal-based processes à la KAOS for the incremental elaboration, early analysis, organization and documentation of their tables, while KAOS modelers may use downstream tables à la SCR for later analysis of the behaviour models derived from goal specifications.     

Emission, fate and effects of soluble silicates (waterglass) in the aquatic environment

Soluble silicates, commercially known as waterglass, are among the largest volume synthetic chemicals in the world. Silicon from waterglass is rapidly transformed to the biologically active orthosilicic acid (referred to as dissolved silicate). This paper aims to assess the impact of waterglass on the aquatic environment in Western Europe. The emission to surface waters from the four most relevant application areas, household detergents, pulp and paper production, water and wastewater treatment, and soil stabilization, is estimated to be ca. 88-121 kton of SiO2 per year. This is a small fraction (<2%) of the estimated total amount of dissolved silicate transported by rivers to the oceans. Locally, increases in dissolved silicate concentration will decrease the ratios of N:Si and P:Si, which could influence phytoplankton species composition and favor the growth of diatoms over other groups of algae. Significant adverse effects in aquatic ecosystems are not expected.     

Sampling and quantifying invertebrates from drinking water distribution mains

Water utilities in the Netherlands aim at controlling the multiplication of (micro-) organisms by distributing biologically stable water through biologically stable materials. Disinfectant residuals are absent or very low. To be able to assess invertebrate abundance, methods for sampling and quantifying these animals from distribution mains were optimised and evaluated. The presented method for collecting invertebrates consists of unidirectionally flushing a mains section with a flow rate of 1 ms(-1) and filtering the flushed water in two separate flows with 500 microm and 100 microm mesh plankton gauze filters. Removal efficiency from mains was evaluated in nine experiments by collecting the invertebrates removed from the mains section by intensive cleaning immediately subsequent to sampling. Of 12 taxa distinguished, all except case-building Chironomidae larvae (2%) and Oligochaeta (30%) were removed well (51-75%). Retention of invertebrates in 100 microm filters was evaluated by filtering 39 filtrates using 30 microm filters. Except for flexible and small invertebrates such as Turbellaria (13%), Nematoda (11%) and Copepoda larvae (24%), most taxa were well retained in the 100 microm filters (53-100%). During sample processing, the method for taking sub-samples with a 10 ml pipette from the suspension of samples with high sediment concentrations was found to perform well in 75% of the samples. During a 2-year national survey in the Netherlands and consecutive investigations, the method appeared to be very suitable to assess the abundance of most invertebrate taxa in drinking water distribution systems and to be practicable for relatively inexperienced sampling and lab technicians. Although the numbers of small, less abundant or sessile taxa were not accurately assessed using the method, these taxa probably should not be the primary focus of monitoring by water utilities, as consumer complaints are not likely to be caused by these invertebrates. The accuracy of quantifying small invertebrates was further improved, however, by filtering the 100microm filtrate with a 30microm mesh plankton gauze filter.     

Ontogenesis of peripheral electromagnetic receptors in hornets

This article traces the ontogenesis of peripheral electromagnetic receptors (PER) in the cuticle of the Oriental hornet (Vespa orientalis). In the abdominal cuticle of adult hornets, the PERs are densely distributed throughout, but there are even more than 30 at the margins of the segments. These organelles develop as a network in the hornet cuticle immediately upon its completion. Briefly, from each basic cell of a PER grows a bulge towards the exterior, that is, towards the illuminated region of the cuticle. This bulge develops rapidly and as it grows it starts to push out and lift up the various layers of the cuticle, the while pressing them together. By a spiraling movement, the bulge insinuates itself between the layers, whereupon it dissolves and punctures its way through all the layers of the hypocuticle, via the endocuticle up to the exocuticle. The only cuticular layer that remains intact is the epicuticle, but even that undergoes change, assuming the shape of a smooth surface with a depression at its center. The indented part in the epicuticle is circular, approximately 2.5 microm in diameter and enables the entry of radiation (illumination) from the outside into the PER, which is located half-way down the cuticle, with the distance from the exterior to the base of the PER being approximately 25 microm. The numerous lamellae of the cuticle run parallel to one another, but in the region of the bulge they are either perpendicular or directed upwards. This ontogeny of the PERs lends the cuticle a sandwich-like shape, being radically perforated by the PERs bulges, yet covered at the top by the epicuticle and at the bottom by basal cells. The PERs also extend shoots into the cuticular layer and these further perforate the cuticle but also interlink the various PERs. From all the above, it is clear that the cuticle forms first and only subsequently does the network of PERs develop and interpenetrate its various layers.     

The effects of an edgeline on speed and lateral position: a meta-analysis

This paper presents a meta-analysis of studies that have evaluated the effects of an edgeline on speed and lateral position of motorised road users. Together with many other study characteristics, 41 estimates of the effects of an edgeline on speed and 65 on lateral position were extracted from the studies. The results of the evaluation studies show a great variety in effects. Both negative and positive effects on speed and lateral position were found; amongst others, increases in speed up to 10.6 km/h, as well as decreases in speed up to 5.0 km/h, and shifts of the lateral position towards the centre of the road up to 30 cm, as well as shifts towards the edge of the road up to 35 cm. Further analyses resulted in the determination of study characteristics that influence the effects of an edgeline on speed and lateral position. It is concluded that the effects of an edgeline on speed are related to the presence of a centreline. Applying an edgeline to a road without a centreline increases the speed of road users, and replacing a centreline by an edgeline decreases the speed. Results with respect to adding an edgeline to a road with a centreline were unclear. Another conclusion is that shoulder width and road environment contribute to the effects of an edgeline on lateral position. In combination with wide shoulders or buildings and/or trees next to the road, edgelines lead to shifts of the lateral position towards the edge of the road, and in combination with narrow shoulders or open fields, edgelines lead to shifts towards the centre of the road.     

Enhanced ionization of phosphorylated peptides during MALDI TOF mass spectrometry

Although alpha-cyano-4-hydroxycinnamic acid functions as an excellent matrix for the analysis of most peptides using matrix-assisted laser desorption/ionization time-of-flight (MALDI TOF) mass spectrometry, the ionization of phosphorylated peptides is usually suppressed by nonphosphorylated peptides. As an alternative matrix, 2',4',6'-trihydroxyacetophenone (THAP) with diammonium citrate was found to overcome this problem for the MALDI TOF mass spectrometric analysis of proteolytic digests of phosphorylated proteins. Specifically, the abundances of phosphorylated peptides in tryptic digests of bovine beta-casein and protein kinase C (PKC)-treated mouse cardiac troponin I were enhanced more than 10-fold using THAP during positive ion MALDI TOF mass spectrometry. The protonated molecules of phosphorylated peptides were sufficiently abundant that postsource decay TOF mass spectrometry was used to confirm the number of phosphate groups in each peptide. Finally, tryptic digestion followed by analysis using MALDI TOF mass spectrometry with THAP as the matrix facilitated the identification of a unique phosphorylation site in PKC-treated troponin I.     

On-line coupling of high-performance liquid chromatography to a continuous-flow enzyme assay based on electrospray ionization mass spectrometry

Liquid chromatography (LC) was coupled on-line to a continuous-flow enzymatic assay using electrospray ionization mass spectrometry (ESI-MS) as readout for the screening of enzyme inhibitors in complex samples. Inhibitors were detected by changes in the concentration of the enzymatic reaction products, indicating the inhibition of enzymatic activity. The molecular masses of the inhibitors were determined with high certainty by using retention time matching and peak shape comparison. Due to the high matching accuracy, baseline separation of coeluting analytes was not necessary in order to identify the correct masses of the bioactive compounds. The continuous-flow system was successfully applied for the screening of complex samples, such as natural extracts. For a red clover extract, detection limits of 0.3-0.8 micromol/L were obtained. System validation was performed by determining the IC(50) values of four inhibitors in the flow-injection mode. The IC(50) values were in the 0.11-5.6 micromol/L range and correspond closely to data obtained by microtiter plate assays. Detection limits were in the range of 0.018-0.35 micromol/L in the flow-injection mode, and 0.075-0.75 micromol/L in the LC mode. These values are well below the typical compound concentrations (1-10 micromol/L) used in high-throughput screening. Together with an interday precision of 12.6%, these results demonstrate the applicability of the system for bioactivity screening of complex mixtures, generating both chemical and biological information on bioactive compounds in a single run.     

Atmospheric transmittance of an absorbing gas. 6. OPTRAN status report and introduction to the NESDIS/NCEP community radiative transfer model

Since the publication of the Optical Path Transmittance (OPTRAN) algorithm [Appl. Opt. 34, 8396 (1995)], much of the code and implementation has been refined and improved. The predictor set has been expanded, an objective method to select optimal predictors has been established, and the two-interpolation method has been discarded for a single-interpolation method. The OPTRAN coefficients have been generated for a wide range of satellites and instruments. The most significant new development is the Jacobian-K-matrix version of OPTRAN, which is currently used for operational direct radiance assimilation in both the Global Data Analysis System and the ETA Data Analysis System at the National Oceanographic and Atmospheric Administration, National Weather Service, National Centers for Environmental Prediction Environmental Modeling Center. This paper documents these improvements and serves as a record of the current status of the operational OPTRAN code.