University Library
  • Login
A gateway to Melbourne's research publications
Minerva Access is the University's Institutional Repository. It aims to collect, preserve, and showcase the intellectual output of staff and students of the University of Melbourne for a global audience.
View Item 
  • Minerva Access
  • Engineering
  • Computing and Information Systems
  • Computing and Information Systems - Research Publications
  • View Item
  • Minerva Access
  • Engineering
  • Computing and Information Systems
  • Computing and Information Systems - Research Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

    Thumbnail
    Download
    Applying formal methods to standard development: the open distributed processing experience (248.3Kb)

    Citations
    Altmetric
    Author
    Sinnott, Richard O.; Turner, Kenneth J.
    Date
    1995
    Source Title
    Computer Standards & Interfaces
    Publisher
    Elsevier
    University of Melbourne Author/s
    Sinnott, Richard
    Metadata
    Show full item record
    Document Type
    Journal Article
    Citations
    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 Access
    URI
    http://hdl.handle.net/11343/28830
    Description

    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 sematics

    Export 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


    Collections
    • Computing and Information Systems - Research Publications [1454]
    Minerva AccessDepositing Your Work (for University of Melbourne Staff and Students)NewsFAQs

    BrowseCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
    My AccountLoginRegister
    StatisticsMost Popular ItemsStatistics by CountryMost Popular Authors