A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

Isolated limb perfusion with melphalan for human melanoma xenografts in the hindlimb of nude rats: A surviving animal model

We have established a surviving model of isolated limb perfusion using xenografts of the human melanoma cell line MM 96L injected subcutaneously into the hindlimb of a nude rat, The femoral artery and vein were cannulated via the left renal artery and vein and the hind limb was isolated using tourniquets. The limb was perfused with Krebs Heinseleit buffer at 37 degrees C containing 4.7% bovine serum albumin at a constant flow rate of 4 mi per min for 30-60 min with 100% survival of the animals, Tumour vascularization and blood flow were demonstrated using vascular casts and [Cr-51]-microspheres. Following the addition of melphalan (15 or 100 mu g/ml), drug concentrations in the perfusate, tissues and systemic circulation were determined using high pressure liquid chromatography (HPLC), Systemic leakage, assessed using [I-125]albumin and melphalan and detected by a gamma-counter and HPLC respectively, was <0.5%. The melphalan concentration and tissue flow rate in the tumour deposits were 40 and 30% respectively, when compared with the surrounding subcutaneous tissue, At a dose of 15 mu g/ml, melphalan caused a reduction in tumour growth after 60 min perfusion, and a significant reduction in tumour size was seen when the melphalan dose was 100 mu g/ml. The surviving nude rat model of isolated limb perfusion for recurrent melanoma will allow examination of optimal perfusion conditions, along with the pharmacokinetics, pharmacodynamics and efficacy of melphalan and other drugs.

A two-dimensional fuzzy random model of soil pore structure

A new conceptual model for soil pore-solid structure is formalized. Soil pore-solid structure is proposed to comprise spatially abutting elements each with a value which is its membership to the fuzzy set ''pore,'' termed porosity. These values have a range between zero (all solid) and unity (all pore). Images are used to represent structures in which the elements are pixels and the value of each is a porosity. Two-dimensional random fields are generated by allocating each pixel a porosity by independently sampling a statistical distribution. These random fields are reorganized into other pore-solid structural types by selecting parent points which have a specified local region of influence. Pixels of larger or smaller porosity are aggregated about the parent points and within the region of interest by controlled swapping of pixels in the image. This creates local regions of homogeneity within the random field. This is similar to the process known as simulated annealing. The resulting structures are characterized using one-and two-dimensional variograms and functions describing their connectivity. A variety of examples of structures created by the model is presented and compared. Extension to three dimensions presents no theoretical difficulties and is currently under development.

Should optional properties be used in conceptual modelling? A theory and three empirical tests

An important feature of some conceptual modelling grammars is the features they provide to allow database designers to show real-world things may or may not possess a particular attribute or relationship. In the entity-relationship model, for example, the fact that a thing may not possess an attribute can be represented by using a special symbol to indicate that the attribute is optional. Similarly, the fact that a thing may or may not be involved in a relationship can be represented by showing the minimum cardinality of the relationship as zero. Whether these practices should be followed, however, is a contentious issue. An alternative approach is to eliminate optional attributes and relationships from conceptual schema diagrams by using subtypes that have only mandatory attributes and relationships. In this paper, we first present a theory that led us to predict that optional attributes and relationships should be used in conceptual schema diagrams only when users of the diagrams require a surface-level understanding of the domain being represented by the diagrams. When users require a deep-level understanding, however, optional attributes and relationships should not be used because they undermine users' abilities to grasp important domain semantics. We describe three experiments which we then undertook to test our predictions. The results of the experiments support our predictions.

Irradiation-induced oral candidiasis in an experimental murine model

The aim of this experiment was to establish a mouse model of irradiation-induced oral candidiasis and to explore the cellular populations and mechanisms by which the infection is cleared from the oral mucosa. BALB/c mice received irradiation to the head and neck equivalent to 800 Rad using a Cobalt 60 gamma source. Both irradiated and non-irradiated mice were infected orally with 1 X 10(8) Candida albicans yeasts. Compared with untreated controls, irradiated animals developed a more severe infection of longer duration, with hyphae penetrating the oral mucosa. Monoclonal antibody depletion of CD4(+) but not CD8(+) T cells from the systemic circulation prolonged the infection in irradiated mice, but not in controls. Supernatants of submandibular and superficial cervical lymph node cultures from irradiated animals demonstrated significantly higher titers of interleukin-12, but similar levels of interferon-gamma compared with controls. Screening for cytokine production by an RNase protection assay detected only macrophage migration inhibition factor in irradiated and non-irradiated oral tissues from day 8 onwards. The results of this study demonstrate a requirement for CD4(+) T cells in the recovery from oral candidiasis induced by head and neck irradiation in mice, and are consistent with a role for Th-1-type cytokines in host resistance.

Developing a meta model for the Bunge-Wand-Weber ontological constructs

At the core of the analysis task in the development process is information systems requirements modelling, Modelling of requirements has been occurring for many years and the techniques used have progressed from flowcharting through data flow diagrams and entity-relationship diagrams to object-oriented schemas today. Unfortunately, researchers have been able to give little theoretical guidance only to practitioners on which techniques to use and when. In an attempt to address this situation, Wand and Weber have developed a series of models based on the ontological theory of Mario Bunge-the Bunge-Wand-Weber (BWW) models. Two particular criticisms of the models have persisted however-the understandability of the constructs in the BWW models and the difficulty in applying the models to a modelling technique. This paper addresses these issues by presenting a meta model of the BWW constructs using a meta language that is familiar to many IS professionals, more specific than plain English text, but easier to understand than the set-theoretic language of the original BWW models. Such a meta model also facilitates the application of the BWW theory to other modelling techniques that have similar meta models defined. Moreover, this approach supports the identification of patterns of constructs that might be common across meta models for modelling techniques. Such findings are useful in extending and refining the BWW theory. (C) 2002 Elsevier Science Ltd. All rights reserved.

Research commentary: Information systems and conceptual modeling - A research agenda

Within the information systems field, the task of conceptual modeling involves building a representation of selected phenomena in some domain. High-quality conceptual-modeling work is important because it facilitates early detection and correction of system development errors. It also plays an increasingly important role in activities like business process reengineering and documentation of best-practice data and process models in enterprise resource planning systems. Yet little research has been undertaken on many aspects of conceptual modeling. In this paper, we propose a framework to motivate research that addresses the following fundamental question: How can we model the world to better facilitate our developing, implementing, using, and maintaining more valuable information systems? The framework comprises four elements: conceptual-modeling grammars, conceptual-modeling methods, conceptual-modeling scripts, and conceptual-modeling contexts. We provide examples of the types of research that have already been undertaken on each element and illustrate research opportunities that exist.

Monitoring the composition and form of urban environments based on the vegetation-impervious surface-soil (VIS) model by sub-pixel analysis techniques

The majority of the world's population now resides in urban environments and information on the internal composition and dynamics of these environments is essential to enable preservation of certain standards of living. Remotely sensed data, especially the global coverage of moderate spatial resolution satellites such as Landsat, Indian Resource Satellite and Systeme Pour I'Observation de la Terre (SPOT), offer a highly useful data source for mapping the composition of these cities and examining their changes over time. The utility and range of applications for remotely sensed data in urban environments could be improved with a more appropriate conceptual model relating urban environments to the sampling resolutions of imaging sensors and processing routines. Hence, the aim of this work was to take the Vegetation-Impervious surface-Soil (VIS) model of urban composition and match it with the most appropriate image processing methodology to deliver information on VIS composition for urban environments. Several approaches were evaluated for mapping the urban composition of Brisbane city (south-cast Queensland, Australia) using Landsat 5 Thematic Mapper data and 1:5000 aerial photographs. The methods evaluated were: image classification; interpretation of aerial photographs; and constrained linear mixture analysis. Over 900 reference sample points on four transects were extracted from the aerial photographs and used as a basis to check output of the classification and mixture analysis. Distinctive zonations of VIS related to urban composition were found in the per-pixel classification and aggregated air-photo interpretation; however, significant spectral confusion also resulted between classes. In contrast, the VIS fraction images produced from the mixture analysis enabled distinctive densities of commercial, industrial and residential zones within the city to be clearly defined, based on their relative amount of vegetation cover. The soil fraction image served as an index for areas being (re)developed. The logical match of a low (L)-resolution, spectral mixture analysis approach with the moderate spatial resolution image data, ensured the processing model matched the spectrally heterogeneous nature of the urban environments at the scale of Landsat Thematic Mapper data.