Applying formal methods to standard development: the open distributed processing experience
Citations
Altmetric
Author
Sinnott, Richard O.; Turner, Kenneth J.Date
1995Source Title
Computer Standards & InterfacesPublisher
ElsevierUniversity of Melbourne Author/s
Sinnott, RichardMetadata
Show full item recordDocument Type
Journal ArticleCitations
Sinnott, R. O., & Turner, K. J. (1995). Applying formal methods to standard development: the open distributed processing experience. Computer Standards & Interfaces, 17(5-6), 615-630.Access Status
Open AccessDescription
This is a pre-print of an article whose final and definitive form has been published in Computer Standards & Interfaces, vol. 17 no.5-6 © 1995 Elsevier Science; the original publication is available at: www.elsevier.com doi: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.
Keywords
formal methods; LOTOS; Z; standards; architectures; open distributed processing; ODP; architectural sematicsExport Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References