An MDA approach towards integrating formal and informal modeling languages

This paper shows how formal and informal modeling languages can be cooperatively used in the MDA framework, and how transformations between models in these languages can be achieved using an MDA development environment. The integrated approach also provides an effective V&V technique for the MDA.

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.

Campfire culture and computer culture: Museums of the present

In Australia indigenous peoples have never had a treaty with the dominant cultures; and their on-going marginalisation is some testimony to this. However, they have not languished entirely in a policy free environment: media is one area where some policy advances have been made; but media policy development has experienced a number of problems. It has tended to be monolithic in a situation demanding multi and complex treatments. And funding, as always, never seems sufficient to meet those multi and complex needs. This paper examines a small remote community on the island of Milingimbi off the northern coast of Arnhem Land in Australia's far north. People in East Arnhem Land refer to themselves collectively as Yolngu. This community is not typical of many documented cases of media relations between indigenous and non-indigenous peoples; however, the fact that it tends to overturn much of the conventional scholarship surrounding indigenous peoples and the media, helps shed new light on the inadequacy of not only monolithic media policy, but the inadequacy of media-only approaches to policy. Arguably, the significance of the media in Milingimbi is part of a 'triangulated' relationship between indigenous and dominant cultures. That triangulation also involves appropriate forms of government and education, which coupled with appropriate media appear to offer new ways of seeing self-government alongside relative cultural and economic autonomy.