Development of a knowledge-based system for generating communication software

开发用于生成通信软件的基于知识的系统

• 批准号: 63580018
• 负责人: SHIRATORI Nono
• 金额: $ 1.28万
• 依托单位: TOHOKU UNIVERSITY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1988
• 资助国家: 日本
• 起止时间: 1988 至 1989
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-63580018/
• 关键词: Communication Software; Protocol; Specification; LOTOS; Testing; Implementation; Editor; 通信フソトウエア; 通信ソフトウェア;知識型システム;ソフトウェア自動生成;仕様記述言語;プロトコル検証

The objective of this research is to develop a software support system. which helps users in communication software generation. We did the following research this year.(1) Design and implementation of a protocol specification editor We have developed a G-LOTOS editor which has a user-friendly interface. G-LOTOS is a graphical version of LOTOS, a formal description technique for distributed systems.(2) Method of test sequence generation A method for generating test sequences from a LOTOS specification has been studied. The generated test sequences are used for conformance testing for protocol implementation.(3) implementation method of communication software We have developed on automatic Implementation method in which a LOTOS specification of a protocol can be transformed to an executable C programs.

本研究的目的是开发一个软件支持系统。帮助用户生成通信软件。今年我们做了以下研究： (1)协议规范编辑器的设计与实现 我们开发了G-LOTOS编辑器，它具有用户友好的界面。 G-LOTOS是LOTOS的图形化版本，是分布式系统的形式化描述技术。(2)测试序列生成方法研究了根据LOTOS规范生成测试序列的方法。生成的测试序列用于协议实现的一致性测试。(3)通信软件的实现方法我们开发了一种自动实现方法，可以将协议的LOTOS规范转换为可执行的C程序。

项目成果

白鳥則郎、張堯学、高橋薫、野口正一: "プロトコルの合成支援環境の構成と実現" 電子情報通信学会論文誌D-I. J72-D-I. 33-42 (1989)

Norihiro Shiratori、Yaohao Zhu、Kaoru Takahashi 和 Shoichi Noguchi：“协议综合支持环境的配置和实现”IEICE Transactions D-I 33-D-I。

高橋薫、荒川暢也、白鳥則郎、野口正一: "プロトコルの状態遷移表現の分解法とその適用" 電子情報通信学会論文誌D-I. J72-D-I. 601-611 (1989)

Kaoru Takahashi、Nobuya Arakawa、Norio Shiratori、Shoichi Noguchi：“协议状态转换表示的分解方法及其应用”IEICE Transactions D-I 601-611（1989）。

N.Shiratori,H.Kaminaga,K.Takahashi,S.Noguchi: "A Verification Method for LOTOS Specifications and its application" Protocol Specification,Testing,and Verification,IX Edited by E.Brinksma,G.Scollo,and C.A.Vissers. 59-70 (1990)

N.Shiratori、H.Kaminaga、K.Takahashi、S.Noguchi：“LOTOS 规范的验证方法及其应用”协议规范、测试和验证，IX 由 E.Brinksma、G.Scollo 和 C.A.Vissers 编辑。

K.Takahashi, N.Arakawa, N.Shiratori and S.Noguchi: "A Method for Generating the State Transition Representation of Protocols and Its Applications" Trans. IEICE Japan, Vol.J72-D-I, No.6 pp.440-454(1989).

K.Takahashi、N.Arakawa、N.Shiratori 和 S.Noguchi：“一种生成协议状态转换表示的方法及其应用” Trans。

N.Shiratori,K.Takahashi,S.Noguchi: "An Intelligent UserーFriendly Support System for Protocol and Communication Software Development" Protocol Specification,Testing,and Verification,VIII Edited by S.Aggarwal and K.Sabnani. 257-268 (1988)

N. Shiratori、K. Takahashi、S. Noguchi：“协议和通信软件开发的智能用户友好支持系统”协议规范、测试和验证，VIII S. Aggarwal 和 K. Sabnani 编辑（257-268） 1988）