Change search
ReferencesLink to record
Permanent link

Direct link
Design of Telephony Services In Lotos
Number of Authors: 1
1994 (English)Report (Refereed)
Abstract [en]

The purpose of this thesis is to design and validate a telephony system using the formal description language LOTOS and a series of tools provided by the Lotosphere Integrated Tool Environment, LITE. The starting point is a requirements document containing a series of informal specifications of services common to modern telephony systems. Special emphasis has been laid on choosing a design that simplifies the integration of additional telephone services in the specification. Most design decisions were thus taken with the purpose of creating an environment that could help different designers to develop distinct functionalities without the need for each one to be acquainted with other existing features in the system. To this end, the design was structured in a fashion that might enhance the extensibility of the system, as well as prevention and detection of incompatibilities between different features. A methodology is thus proposed for dealing with what is commonly known as the feature interaction problem for telephony systems.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1994, 2. , 35 p.
SICS Technical Report, ISSN 1100-3154 ; T94:03
Keyword [en]
Telephony Systems, Lotos, Feature Interaction
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-21451OAI: diva2:1041487
Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(2914 kB)2 downloads
File information
File name FULLTEXT01.pdfFile size 2914 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 2 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 2 hits
ReferencesLink to record
Permanent link

Direct link