Enlighten
Research publications by members of the University of Glasgow
home > services > Enlighten

Type checking in open distributed system: a complete model and its Z specification

Sinnott, R.O., and Turner, K.J. (1997) Type checking in open distributed system: a complete model and its Z specification. In: Rolia, J., Slonim, J. and Botsford, J. (eds.) Open Distributed Processing and Distributed Platforms : proceedings of the IFIP/IEEE International Conference on Open Distributed Processing and Distributed Platforms : 26-30 May 1997, Toronto, Canada. Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), London, pp. 85-98. ISBN 0412812304

Full text not currently available from Enlighten.

Abstract

Type checking is at the heart of distributed systems. The ability to be able to configure objects and have them interwork correctly may well be regarded as the fundamental issue in the development of reliable distributed systems. The type system put forward in the current standardisation activity of Open Distributed Processing (ODP), however, is both and incorrect. The inadequacy is due to the scope of the type system being based entirely on syntactic issues. To achieve reliable interoperability between systems, a type system should deal with behavioural (semantic) issues as well as non-functional issues, aspects of the type that its signature and behaviour do not capture. The incorrectness is due to the syntactic issues not being dealt with correctly. That is, clients and servers have fundamentally different type rules that apply to them. We provide a Z specification of a robust type system that deals with the syntactic aspects of types (correctly) as well as a treatment of the behavioural and non-functional aspects of types.

Item Type:Book Section
Keywords:Z, Types, Open Distributed Processing
Status:Published
Refereed:Yes
Glasgow Author(s):Sinnott, Prof Richard
Authors: Sinnott, R.O., and Turner, K.J.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:University Services > IT Services > Computing Service
Publisher:Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)

University Staff: Request a correction | Enlighten Editors: Update this record