MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Educating Clients with speech and language impairments

Speech and language impairments can result in communication disabilities that can affect clients' capacity to read, write and participate in conversations and social situations.

Language and disability in Japan

Language relating to disability in the public arena has been a sensitive issue in Japan as elsewhere. Since the 1970s and 80s, major media organisations have replaced words considered derogatory with more acceptable equivalents; laws, statutes and other legal documents have likewise been revised. This article examines how the language used to portray people with disabilities has changed, how the changes came about and how they were received. The debate has largely been played out in four public spaces, which to some extent intersect and overlap: the media (both print and visual), the laws, literature and, increasingly now, the Internet. I argue that while the laws were rewritten primarily as the result of external international trends, such as the International Year of Disabled Persons, disability groups achieved media compliance mainly by exploiting the keen desire of Japanese media organisations to avoid public embarrassment resulting from vocal protests over infractions.

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.

A description of Lecithocladium invasor n.sp (Digenea : Hemiuridae) and the pathology associated with two species of Hemiuridae in acanthurid fish

Lecithocladium invasor n.sp. is described from the oesophagus of Naso annulatus, N. tuberosus and N. vlamingii on the Great Barrier Reef, Australia. The worms penetrate the oesophageal mucosa and induce chronic transmural nodular granulomas, which expand the full thickness of the oesophageal wall and protrude both into the oesophageal lumen and from the serosal surface. We observed two major types of lesions: large ulcerated, active granulomas, consisting of a central cavity containing a single or multiple live worms; and many smaller chronic fibrous submucosal nodules. Small, identifiable but attenuated, worms and degenerate worm fragments were identified within some chronic nodules. Co-infection of the posterior oesophagus of the same Naso species with Lecithocladium chingi was common. L. chingi is redescribed from N. annulatus, N. brevirostris, N. tuberosus and A vlamingii. Unlike L. invasor n.sp., L. chingi was not associated with significant lesions. The different pathenogenicity of the two species in acanthurid fish is discussed.

Using a cartographic modeling language to manipulate spectral satellite imagery

Land related information about the Earth's surface is commonIJ found in two forms: (1) map infornlation and (2) satellite image da ta. Satellite imagery provides a good visual picture of what is on the ground but complex image processing is required to interpret features in an image scene. Increasingly, methods are being sought to integrate the knowledge embodied in mop information into the interpretation task, or, alternatively, to bypass interpretation and perform biophysical modeling directly on derived data sources. A cartographic modeling language, as a generic map analysis package, is suggested as a means to integrate geographical knowledge and imagery in a process-oriented view of the Earth. Specialized cartographic models may be developed by users, which incorporate mapping information in performing land classification. In addition, a cartographic modeling language may be enhanced with operators suited to processing remotely sensed imagery. We demonstrate the usefulness of a cartographic modeling language for pre-processing satellite imagery, and define two nerv cartographic operators that evaluate image neighborhoods as post-processing operations to interpret thematic map values. The language and operators are demonstrated with an example image classification task.

The English-only movement: A communication analysis of changing perceptions of language vitality

This paper reexamines the potential impact of the English-only movement on linguistic minorities and Anglos' perceptions of their own and minority groups' language vitality. Of particular interest is the Hispanic population-the fastest growing minority in the U.S. Communication scholars have paid only scant attention to the English-only movement and how it affects the social and communication climate for Latinos. However, literature reviews prepared for the American Psychological Association and for the Teachers of English to Speakers of Other Languages (in 1991 and 1995, respectively) concluded that English-only initiatives have negative consequences for limited-English proficiency groups. Revisiting this still-growing issue in the light of more recent studies across disciplines and media reports, we examine how Anglo support for English-only policies limits the use, promotion, and salience of minority languages like Spanish in institutional settings and in the linguistic landscape and suggest directions for future research.

Social cognition, language acquisition and the development of the theory of mind

Theory of Mind (ToM) is the cognitive achievement that enables us to report our propositional attitudes, to attribute such attitudes to others, and to use such postulated or observed mental states in the prediction and explanation of behavior. Most normally developing children acquire ToM between the ages of 3 and 5 years, but serious delays beyond this chronological and mental age have been observed in children with autism, as well is in those with severe sensory impairments. We examine data from Studies of ToM in normally developing children and those with deafness, blindness, autism and Williams syndrome, as well as data from lower primates, in a search for answers to key theoretical questions concerning the origins, nature and representation of knowledge about the mind. In answer to these, we offer a framework according to which ToM is jointly dependent upon language and social experience, and is produced by a conjunction of language acquisition with children's growing social understanding, acquired through conversation and interaction with others. We argue that adequate language and adequate social skills are jointly causally sufficient, and individually causally necessary, for producing ToM. Thus our account supports a social developmental theory of the genesis of human cognition, inspired by the work of Sellars and Vygotsky.