Title :
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
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;
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
DOI :
10.1109/PCCC.1992.200523
