Communication service specification using OOA and LOTOS

Author

Mikami, Setsuko ; Tokita, Yoshiaki ; Takahashi, Kaoru

Author_Institution

AIC Syst. Lab., Sendai, Japan

fYear

1995

fDate

28-31 Mar 1995

Firstpage

691

Lastpage

696

Abstract

For the purpose of high reliability communication systems development, its service specification needs to be precisely described without any ambiguity. So, for specification, it is desirable to use LOTOS among the standard formal description techniques. LOTOS has been extensively used for formal description of protocols and telephone systems. In this paper we describe our approach and experience using OOA (Object-Oriented Analysis) as a means of easing the process of communication service specification development based on LOTOS. A communication service is first analyzed using an OOA technique. Then the results of the analysis are used to formally specify the service using LOTOS

Keywords

formal specification; object-oriented methods; specification languages; telecommunication computing; telecommunication services; LOTOS; OOA; Object-Oriented Analysis; communication service specification; formal description techniques; high reliability communication systems development; protocols; service specification; telephone systems; Laboratories; Object oriented modeling; Postal services; Proposals; Protocols; Telephony;

fLanguage

English

Publisher

ieee

Conference_Titel

Computers and Communications, 1995., Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on

Conference_Location

Scottsdale, AZ

Print_ISBN

0-7803-2492-7

Type

conf

DOI

10.1109/PCCC.1995.472418

Filename

472418