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.

Mitigated directness in Honglou meng: directive speech acts and politeness in eighteenth century Chinese

This paper is situated within a theoretical discussion that asserts a positive correlation between indirectness and politeness, and uses these claims as a springboard for an examination of polite ways of issuing directives in eighteenth century Chinese. On the basis of an analysis of directive speech acts from dialogue in the novel Honglou meng, it argues that the concept of indirectness, as it applies to the illocutionary transparency of individual speech acts, has no particular value in the culture and language of eighteenth century Chinese men. It is found that other linguistic devices such as particles, the reduplication of verbs, terms of address, and the presence and sequencing of supportive moves are far more significant to the communication of politeness. The findings suggest a need to rethink current theoretical positions on this subject and move beyond the analysis of individual speech acts to examine the role discourse structure and management play in the enactment of politeness. (C) 2002 Elsevier Science B.V. All rights reserved.