A metalinguistic approach to deconstructing the concepts of 'face' and 'politeness' in Chinese, English and Japanese

In this paper we investigate the concepts of 'face' and 'politeness'. We introduce a metalanguage which we believe is a framework for simplifying the analysis of 'face' and 'politeness'. This metalanguage is based on the observation that both 'face' and 'politeness' involve external evaluations of people. This common element is represented in the metalanguage as B what A shows A thinks of B and what B thinks A thinks of B. The implications of the metalanguage for the analysis of Chinese mian and lion ('face') and English face are then discussed. This is followed by an analysis of examples of politeness in English and teineisa ('politeness') in Japanese. We conclude that the metalanguage may be further developed for use in comparisons of 'face' and 'politeness' across cultures. (C) 2003 Elsevier B.V. All rights reserved.

Induction in the timed interval calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.