Temporal representation of state transitions

This paper describes a knowledge-based temporal representation of state transitions for industrial real-time systems. To allow expression of uncertainty, we shall define fluents as disjuncts of positive/negative time-varying properties. A state of the world is represented as a collection of fluents, which is usually incomplete in the sense that neither the positive form nor the negative form of some properties can be implied from it. The world under consideration is assumed to persist in a given state until an action(s) takes place to effect a transition of it into another state, where actions may either be instantaneous or durative. High-level causal laws are characterized in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law to guarantee that all the fluents that can be affected by the performance of the corresponding action are governed. This completion requirement is practical for most industrial real-time applications and in fact provides a simple and effective treatment to the so-called frame problem.

Effects of structure on the comprehensibility of formal specifications

Use of structuring mechanisms (such as modularisation) is widely believed to be one of the key ways to improve software quality. Structuring is considered to be at least as important for specification documents as for source code, since it is assumed to improve comprehensibility. Yet, as with most widely held assumptions in software engineering, there is little empirical evidence to support this hypothesis. Also, even if structuring can be shown to he a good thing, we do not know how much structuring is somehow optimal. One of the more popular formal specification languages, Z, encourages structuring through its schema calculus. A controlled experiment is described in which two hypotheses about the effects of structure on the comprehensibility of Z specifications are tested. Evidence was found that structuring a specification into schemas of about 20 lines long significantly improved comprehensibility over a monolithic specification. However, there seems to be no perceived advantage in breaking down the schemas into much smaller components. The experiment can he fully replicated.

Evaluating the effectiveness of Z: The claims made about CICS and where we go from here

There have been few genuine success stories about industrial use of formal methods. Perhaps the best known and most celebrated is the use of Z by IBM (in collaboration with Oxford University's Programming Research Group) during the development of CICS/ESA (version 3.1). This work was rewarded with the prestigious Queen's Award for Technological Achievement in 1992 and is especially notable for two reasons: 1) because it is a commercial, rather than safety- or security-critical, system and 2) because the claims made about the effectiveness of Z are quantitative as well as qualitative. The most widely publicized claims are: less than half the normal number of customer-reported errors and a 9% savings in the total development costs of the release. This paper provides an independent assessment of the effectiveness of using Z on CICS based on the set of public domain documents. Using this evidence, we believe that the case study was important and valuable, but that the quantitative claims have not been substantiated. The intellectual arguments and rationale for formal methods are attractive, but their widespread commercial use is ultimately dependent upon more convincing quantitative demonstrations of effectiveness. Despite the pioneering efforts of IBM and PRG, there is still a need for rigorous, measurement-based case studies to assess when and how the methods are most effective. We describe how future similar case studies could be improved so that the results are more rigorous and conclusive.

Training teachers for further and technical education 1950-1982: staff perceptions of changing demands and policies

This paper aims to create a picture of aspects of the working lives of some trainers of technical and further education teachers in a specialist teacher training college in Bolton, Lancashire, from the 1950s to the 1980's. There is little reference to technical teacher training in the literature on teacher training in the second half of the twentieth century. With this gap in mind, this paper sets out to record some memories and impressions of staff involved during these years. Using data from a series of semi-structured interviews, the discussion centres upon their perceptions of their work: of their students, the working environment, the curriculum and their relationships with the technical colleges for whom they were training teachers. The paper has three sections. It begins with a brief discussion of the issues arising from the choice of research methods. The second section contextualises the study and traces the history of Bolton Technical Teachers' Training College from its establishment through to its merger with the Institute of Technology in 1982. This is followed by the presentation and discussion of the interview data.

The biocompatibility of resin-modified glass-ionomer cements for dentistry

OBJECTIVES: The biological effects of resin-modified glass-ionomer cements as used in clinical dentistry are described, and the literature reviewed on this topic. METHODS: Information on resin-modified glass-ionomers and on 2-hydroxyethyl methacrylate (HEMA), the most damaging substance released by these materials, has been collected from over 50 published papers. These were mainly identified through Scopus. RESULTS: HEMA is known to be released from these materials and has a variety of damaging biological properties, ranging from pulpal inflammation to allergic contact dermatitis. These are therefore potential hazards from resin-modified glass-ionomers. However, clinical results with these materials that have been reported to date are generally positive. CONCLUSIONS/SIGNIFICANCE: Resin-modified glass-ionomers cannot be considered biocompatible to nearly the same extent as conventional glass-ionomers. Care needs to be taken with regard to their use in dentistry and, in particular, dental personnel may be at risk from adverse effects such as contact dermatitis and other immunological responses.