| dc.contributor.author | SINNOTT, RICHARD | en_US |
| dc.contributor.author | Kolberg, Mario | en_US |
| dc.date.accessioned | 2014-05-21T22:06:40Z | |
| dc.date.available | 2014-05-21T22:06:40Z | |
| dc.date.issued | 1999 | en_US |
| dc.identifier.citation | 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. | en_US |
| dc.identifier.uri | http://hdl.handle.net/11343/28821 | |
| dc.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 | en_US |
| dc.description.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. | en_US |
| dc.language | eng | en_US |
| dc.publisher | Kluwer Academic | en_US |
| dc.subject | distributed systems | en_US |
| dc.subject | interface definition languages | en_US |
| dc.subject | IDLs | en_US |
| dc.subject | SDL | en_US |
| dc.subject | telecommunication services | en_US |
| dc.title | Engineering telecommunication services with SDL | en_US |
| dc.type | Conference Paper | en_US |
| melbourne.peerreview | Peer Reviewed | en_US |
| melbourne.affiliation | The University of Melbourne | en_US |
| melbourne.publication.status | Published | en_US |
| melbourne.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) | en_US |
| melbourne.source.pages | 187-204 | en_US |
| melbourne.source.locationconference | Florence, Italy | en_US |
| melbourne.source.editor | Ciancarini, Paolo | en_US |
| melbourne.source.editor | Fantechi, Alessandro | en_US |
| melbourne.source.editor | Gorrieri, Roberto | en_US |
| dc.description.sourcedateconference | 15-18 February | en_US |
| melbourne.elementsid | NA | |
| melbourne.contributor.author | Sinnott, Richard | |
| melbourne.accessrights | Open Access | |
