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

Applying formal methods to standard development: the open distributed processing experience

Sinnott, R.O., and Turner, K.J. (1995) Applying formal methods to standard development: the open distributed processing experience. Computer Standards and Interfaces , 17 (5-6). pp. 615-630. ISSN 0920-5489 (doi:10.1016/0920-5489(95)00025-P )

[img] Text
7205.pdf

279Kb

Publisher's URL: http://dx.doi.org/10.1016/0920-5489(95)00025-P

Abstract

Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the development of a framework for creating standards for Open Distributed Processing (ODP). Following an introduction to ODP, the paper gives an insight into the current work on formalising the architecture of the Reference Model of ODP (RM-ODP), highlighting the advantages to be gained. The different approaches currently being taken are shown, together with their associated advantages and disadvantages. The paper concludes that there is no one all-purpose approach which can be used in preference to all others, but that a combination of approaches is desirable to best fulfil the potential of formal methods in developing an architectural semantics for ODP

Item Type:Article
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Sinnott, Prof Richard
Authors: Sinnott, R.O., and Turner, K.J.
Subjects:T Technology > T Technology (General)
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:University Services > IT Services > Computing Service
Journal Name:Computer Standards and Interfaces
Publisher:Elsevier
ISSN: 0920-5489
Copyright Holders:Copyright © 1995 Elsevier
First Published:First published in Computer Standards & Interfaces 17(5-6):615-630
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher

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

Downloads per month over past year

View more statistics