A Study on Formal Description Language besed on Temporal logic for Communication Protocol

点击翻译按钮获取中文摘要

The purpose of the research is to develop formal described artificial computer language to describe communication protocol. Recently,the framework for Metwork Architecture,that is OSI(Open System Interconnection),had been internationally standardized. The concept-of OSI is generally adapted to diversified applications on communication in where complicated communication protocols are defined.To meet with enhanced requirements on application,adaquate representation of communication protocols is of prime inportant factor to realize communication software. International Organization for Standardization (ISO) started researches to develop descriptio techniques for complex protocols. This research has been conducted with laison to ISO researches, where computer readable and executable languages are to be developed The research included two kind of development. One is the development of PASCAL based language with "State Transition Logical Model",and the other is of "Thmporal Logic" based language. In 1st and 2nd year of research,language design for these scheme,and verification of capabilities on protocol representation are finalized. In last year,compiler design is discussed to realize direct execution of described protocols. In addition to those,applicability to conformance & test for realized protocol software is also descussed.Throughout these discussion,"Temporal Logic" based description languge is demonstrated as a recommended language for formal representation of protocol and description of protocol software.