A user friendly specification environment for FDT and its application to LOTOS

Author

Shiratori, Norio ; Lee, Eun-seok

Author_Institution

Dept. of Inf. Eng., Tohoku Univ., Sendai, Japan

fYear

1992

fDate

1-3 April 1992

Firstpage

667

Lastpage

673

Abstract

The authors propose a new specification methodology and environment named the model based programming (MBP) environment. The objective of MBP is to design a user-friendly specification environment for formal description techniques (FDTs) such as LOTOS and SDL. MBP consists of the following tools: (1) mechanism for requirement acquisition, (2) tutor, (3) formal specification description model and (4) translator to FDTs. (1) acquires user requirements based on user-friendly tools, (2) gives information to users about MBP and FDTs, (3) represents a user requirement as a model based on the FDT being used, and (4) translates the user requirement represented in (3) to a FDT specification. By using MBP, a nonexpert user who only has a basic knowledge about the design concepts and the outline of each FDT can easily describe the FDT specification. MBP-1 has been implemented as a pilot system.<>

Keywords

formal specification; open systems; programming environments; software tools; specification languages; FDT; LOTOS; SDL; formal description techniques; formal specification description model; model based programming environment; requirement acquisition; translator; tutor; user friendly specification environment; user-friendly tools; Bridges; Computer architecture; Formal specifications; Humans; Information systems; Large-scale systems; Natural languages; Productivity; Programming environments; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Computers and Communications, 1992. Conference Proceedings., Eleventh Annual International Phoenix Conference on

Conference_Location

Scottsdale, AZ, USA

Print_ISBN

0-7803-0605-8

Type

conf

DOI

10.1109/PCCC.1992.200523

Filename

200523