Show simple item record

dc.contributor.authorSINNOTT, RICHARDen_US
dc.contributor.authorKolberg, Marioen_US
dc.date.accessioned2014-05-21T22:06:40Z
dc.date.available2014-05-21T22:06:40Z
dc.date.issued1999en_US
dc.identifier.citationSinnott, 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.en_US
dc.identifier.urihttp://hdl.handle.net/11343/28821
dc.descriptionThis 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.comen_US
dc.description.abstractIf 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.en_US
dc.languageengen_US
dc.publisherKluwer Academicen_US
dc.subjectdistributed systemsen_US
dc.subjectinterface definition languagesen_US
dc.subjectIDLsen_US
dc.subjectSDLen_US
dc.subjecttelecommunication servicesen_US
dc.titleEngineering telecommunication services with SDLen_US
dc.typeConference Paperen_US
melbourne.peerreviewPeer Revieweden_US
melbourne.affiliationThe University of Melbourneen_US
melbourne.publication.statusPublisheden_US
melbourne.source.titleFormal 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)en_US
melbourne.source.pages187-204en_US
melbourne.source.locationconferenceFlorence, Italyen_US
melbourne.source.editorCiancarini, Paoloen_US
melbourne.source.editorFantechi, Alessandroen_US
melbourne.source.editorGorrieri, Robertoen_US
dc.description.sourcedateconference15-18 Februaryen_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