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.