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 and Information Technology
  • Computing and Information Systems
  • Computing and Information Systems - Research Publications
  • View Item
  • Minerva Access
  • Engineering and Information Technology
  • 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.

    Engineering telecommunication services with SDL

    Thumbnail
    Download
    Engineering telecommunication services with SDL (124.8Kb)

    Citations
    Altmetric
    Author
    SINNOTT, RICHARD; Kolberg, Mario
    Date
    1999
    Source Title
    Formal methods for open object-based distributed systems: IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). IFIP Advances in information and communication technology (10)
    Publisher
    Kluwer Academic
    University of Melbourne Author/s
    Sinnott, Richard
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Citations
    Sinnott, R., & Kolberg, M. (1999). Engineering telecommunication services with SDL. In Formal methods for open object-based distributed systems: IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). IFIP Advances in information and communication technology (10), Florence, Italy.
    Access Status
    Open Access
    URI
    http://hdl.handle.net/11343/28821
    Description

    This is a pre-print of an article whose final and definitive form has been published in the IFIP Advances in Information and Communication Technology, Vol. 10 © 1999 Springer; the original publication is available at: http://www.springerlink.com

    Abstract
    If formal techniques are to be more widely accepted then they should evolve as current software engineering approaches evolve. Current techniques in the development of distributed systems use interface definition languages (IDLs) as a basis for the underlying communication and also as an abstraction tool. Object-oriented technologies and the idea of engineering software through frameworks are also widely accepted approaches in developing software. In this paper we show how the formal specification language SDL and associated tool support have been applied in the TOSCA project to engineer telecommunication services using these current techniques.
    Keywords
    distributed systems; interface definition languages; IDLs; SDL; telecommunication services

    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 [1580]
    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