Show simple item record

dc.contributor.authorSinnott, R. O.en_US
dc.contributor.authorTurner, K. J.en_US
dc.date.accessioned2014-05-21T22:05:59Z
dc.date.available2014-05-21T22:05:59Z
dc.date.issued1997en_US
dc.identifier.citationSinnott, R. O., & Turner, K. J. (1997). Type checking in open distributed system: a complete model and its Z specification. In Open Distributed Processing and Distributed Platforms : proceedings of the IFIP/IEEE International Conference on Open Distributed Processing and Distributed Platforms, Toronto, Canada.en_US
dc.identifier.urihttp://hdl.handle.net/11343/28813
dc.descriptionThis is a pre-print of a paper from the Proceedings of the IFIP/IEEE International Conference on Open Distributed Processing and Distributed Platforms 1997 published by Chapman & Hall on behalf of the International Federation for Information Processing (IFIP).en_US
dc.descriptionISBN 0412812304en_US
dc.description.abstractType 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.en_US
dc.languageengen_US
dc.publisherChapman & Hall on behalf of the International Federation for Information Processing (IFIP)en_US
dc.subjectelectronic data processingen_US
dc.subjectopen distributed processingen_US
dc.subjectZ typesen_US
dc.titleType checking in open distributed system: a complete model and its Z specificationen_US
dc.typeConference Paperen_US
melbourne.peerreviewPeer Revieweden_US
melbourne.affiliationThe University of Melbourneen_US
melbourne.affiliation.departmentComputing and Information Systems
melbourne.affiliation.facultyEngineering and Information Technology
melbourne.publication.statusPublisheden_US
melbourne.source.titleOpen Distributed Processing and Distributed Platforms : proceedings of the IFIP/IEEE International Conference on Open Distributed Processing and Distributed Platformsen_US
melbourne.source.pages85-98en_US
melbourne.source.locationconferenceToronto, Canadaen_US
melbourne.source.editorRolia, Jeromeen_US
melbourne.source.editorSlonim, Jacoben_US
melbourne.source.editorBotsford, Johnen_US
dc.description.sourcedateconference26-30 Mayen_US
melbourne.elementsidNA
melbourne.contributor.authorSinnott, Richard
melbourne.accessrightsOpen Access


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record