The effects of information request ambiguity and construct incongruence on query development

This paper examines the effects of information request ambiguity and construct incongruence on end user's ability to develop SQL queries with an interactive relational database query language. In this experiment, ambiguity in information requests adversely affected accuracy and efficiency. Incongruities among the information request, the query syntax, and the data representation adversely affected accuracy, efficiency, and confidence. The results for ambiguity suggest that organizations might elicit better query development if end users were sensitized to the nature of ambiguities that could arise in their business contexts. End users could translate natural language queries into pseudo-SQL that could be examined for precision before the queries were developed. The results for incongruence suggest that better query development might ensue if semantic distances could be reduced by giving users data representations and database views that maximize construct congruence for the kinds of queries in typical domains. (C) 2001 Elsevier Science B.V. All rights reserved.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Multi-threading and message communication in Qu-Prolog

This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high level inter-thread message communications provide simple, powerful support for implementing internet distributed intelligent applications.

Neoechinorhynchus ningalooensis sp nov (Acanthocephala : Neoechinorhynchidae) from Scarus ghobban and S. psittacus (Scaridae) from Western Australia

Neoechinorhynchus ningalooensis sp. nov, is described from Scarus ghobban Forsskal, 1775 and S. psittacus Forsskal, 1775 (Scaridae) from Ningaloo Reef, Western Australia. The new species is distinguished by having a combination of the Following: three circles of six hooks on the proboscis; anterior hooks equal in size (66-68 (Im long), middle hooks (50-58 mum long), 79% smaller than anterior hooks, posterior hooks (40-44 mum long) smallest; lemnisci equal in length and extending beyond the proboscis receptacle but not to ovoid testes; terminal papilla absent. This report is the first published account of an acanthocephalan from parrotfish (Scaridae) and the first record of an eoacanthocephalan from the western coast of Australia.

Larval hosts of Australian Drosophilidae (Diptera): A field survey in subtropical and tropical Australia

The drosophilid fauna in Australia offers an important study system for evolutionary studies. Larval hosts are unknown for most species, however, and this imposes serious limits to understanding their ecological context. The present paper reports the first systematic, large-scale field survey of potential larval hosts to be conducted, in order to obtain an overview of the host utilisation patterns of Australian drosophilids. Potential hosts (mostly fruit and fungi) were collected from different vegetation types in northern and eastern Australia. Host data were obtained for 81 drosophilid species from 17 genera (or 28% of the known Fauna). Most genera were restricted to either fruit or fungi, although Scaptodrosophila spp. and Drosophila spp. were recorded from fruit, fungi, flowers and compost, and Drosophila spp. also emerged from the parasitic plant Balanophora fungosa. There was no evidence that use of either fruit or fungi was correlated to host phylogeny. Drosophilids emerged from hosts collected from all sampled vegetation types (rainforest, open forest, heath and domestic environments). Vegetation type influenced drosophilid diversity, both by affecting host availability and because some drosophilid species apparently restricted their search for hosts to particular vegetation types.

An occupational view of the Australian labour force - Patterns of job growth and decline

Generally employment has been studied in terms of changes in the types of goods and services that the economy is purchasing. Far less attention has been given to the occupational aggregates that go into producing these goods and services. The few studies that did investigate this area found that the mix of tabour inputs appear to have been changing over time in a systematic pattern. The increasing prevalence of white-collar, information workers gave rise to the assertion that many societies had entered a post-industrial information age. Deals first of aff with some issues of measurement in the context of the Australian labour force, then looks at trends in various occupational groups using a non-standard four-sector classification of the labour force. Finally suggests an application in relation to the link between education and training and its ability to reduce structural unemployment.

Inferring population history from microsatellite and enzyme data in serially introduced cane toads, Bufo marinus

Much progress has been made on inferring population history from molecular data. However, complex demographic scenarios have been considered rarely or have proved intractable. The serial introduction of the South-Central American cane Load Bufo marinas in various Caribbean and Pacific islands involves four major phases: a possible genetic admixture during the first introduction, a bottleneck associated with founding, a transitory, population boom, and finally, a demographic stabilization. A large amount of historical and demographic information is available for those introductions and can be combined profitably with molecular data. We used a Bayesian approach to combine this information With microsatellite (10 loci) and enzyme (22 loci) data and used a rejection algorithm to simultaneously estimate the demographic parameters describing the four major phases of the introduction history,. The general historical trends supported by microsatellites and enzymes were similar. However, there was a stronger support for a larger bottleneck at introductions for microsatellites than enzymes and for a more balanced genetic admixture for enzymes than for microsatellites. Verb, little information was obtained from either marker about the transitory population boom observed after each introduction. Possible explanations for differences in resolution of demographic events and discrepancies between results obtained with microsatellites and enzymes were explored. Limits Of Our model and method for the analysis of nonequilibrium populations were discussed.

Reliability factors in business software: volatility, requirements and end-users

Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.

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.