Computing and Information Systems - Research Publications

Permanent URI for this collection

http://hdl.handle.net/11343/350

Filters

1999 1
1
Reset filters

Settings
Statistics
Citations
Author: Sinnott, Richard × Subject: SDL × Subject: distributed systems × Start date: 1998 × End date: 1999 ×

Search Results

Now showing 1 - 1 of 1
  • Item
    Thumbnail Image
    Engineering telecommunication services with SDL
    SINNOTT, RICHARD ; Kolberg, Mario (Kluwer Academic, 1999)
    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.