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.

Using clusters of computers for large QU-GENE simulation experiments

The QU-GENE Computing Cluster (QCC) is a hardware and software solution to the automation and speedup of large QU-GENE (QUantitative GENEtics) simulation experiments that are designed to examine the properties of genetic models, particularly those that involve factorial combinations of treatment levels. QCC automates the management of the distribution of components of the simulation experiments among the networked single-processor computers to achieve the speedup.

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.

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.

Teaching PSP: Challenges and lessons learned

Teaching the PSP: Challenges and Lessons Learned by Jurgen Borstler, David Carrington, Gregory W Hislop, Susan Lisack, Keith Olson, and Laurie Williams, pp. 42-48. Soft-ware engineering educators need to provide environments where students learn about the size and complexity of modern software systems and the techniques available for managing these difficulties. Five universities used the Personal Software Process to teach software engineering concepts in a variety of contexts.

Rural lines of flight: Telecommunications and post-metro dreaming

Information and communications technologies hold a prominent place in the cultural imagination of many people living outside the Australian metropolis, especially recent émigrés. A vision of a wired pastoral conjures up the possibilities of city work, connections and pleasures accompanying the flight to the country. Such aspirations have given a twist to one of the great topos of Australian post-invasion communications history, communications ameliorating the perceived isolation in the bush. This article examines important changes to rural telecommunications in the 1990s coinciding with post-metro dreaming and digital convergence, namely the rise of local telecommunications. Neo-Foucauldian accounts of citizenship hold some promise for explaining the criss-cross of tangled lines of flight in regional communications in the twenty-first century: emergent subjectivities, utopian digital modes of becoming, new politics of infrastructure, reconfigured relationships among state, market and citizen.

The role of space as both a conflict trigger and a conflict control mechanism in culturally heterogeneous workgroups

The diversity literature is replete with examples of poor outcomes in Culturally Heterogeneous Workgroups (CHWs) caused by relational difficulties. Although it is widely recognised that culture shapes people's interpretation of behavior and their style of interaction with others in the workplace, what is ill understood is what the specific conflict triggers of these conflicts are. In this paper, we argue that differences in cultural norms and views of physical and psychological space are major triggers of conflict in CHWs. Findings from a field study support the proposition that different viewpoints regarding the use of space, the inability to retreat from exposure to others, decreased interpersonal space, and privacy invasion moderate the relationship between cultural diversity in the workgroup and the type, frequency, and duration of conflict events in CHWs. The paper represents a first step in elucidating the role of space in cross-cultural interactions in the workplace and how space may be a potentially important conflict control mechanism for managers of culturally diverse workgroups.