An Integrated User-Friendly Specification Environment for LOTOS

Eun-Seok LEE

IEICE TRANSACTIONS on Communications   Vol.E75-B    No.10    pp.931-941
Publication Date: 1992/10/25
Online ISSN: 
Print ISSN: 0916-8516
Type of Manuscript: Special Section INVITED PAPER (Special Issue on Communication Software Technologies)
specification environment,  LOTOS,  FDT,  protocol human interface,  software productivity,  

Full Text: PDF(813.8KB)>>
Buy this Article

This paper presents unique specification environments for LOTOS, which is one of FDTs (Formal Description Techniques) developed in ISO. We first discuss the large gap in terms of syntax and semantics between informal specifications at the early stage of specification design and formal specifications based on FDT such as LOTOS. This large gap has been bridged by human intelligent works thus far. In order to bridge the large gap, we have designed user-friendly specification environments for FDTs. The outlines of SEGL (Specification Environment for G-LOTOS), CBP (Concept-Based Programming environment) and MBP (Model-Based Programming environment) are described. The effectiveness of software development under such an environment is demonstrated using application examples from OSI and non-OSI protocols.