公开(公告)号：KR1020010017850A

公开(公告)日：2001-03-05

申请号：KR1019990033585

申请日：1999-08-16

Applicant: 한국전자통신연구원

Inventor： 민재홍 ,  진병문 ,  박기식 ,  김성운 ,  안성수

IPC: G06F9/44

Abstract: PURPOSE: A graphic user interface unit for constructing an integrated protocol development environment using a formal methods is provided to apply the unit to the development of the protocol related to data communication, by integrating the Object Geode, a specification unit tool for a detailed user request, with a verifier and a suitableness test generator. CONSTITUTION: An X client(1) is comprised of the menus of a file(2), a specification(3), a verification(5), a conformance-test(6) and a help(7). When the file menu(2) is selected, the operations for opening a file, closing the file and terminating the integrated environment are performed via the communication with an X server. If the specification menu(3) is selected, an edited window and a simulated result is displayed on a screen. A result is output onto the screen in response to an intermediate model converter when a menu(4) for converting a specification panel is selected. The test menu(6) enables the communication with a test generator, and then outputs the result of the communication on the screen.

Abstract translation: 目的：提供一种用于使用正式方法构建集成协议开发环境的图形用户界面单元，通过集成Object Geode，用于详细用户请求的规范单元工具，将单元应用于与数据通信相关的协议的开发 ，具有验证器和适合性测试发生器。 构成：X客户端（1）由文件（2），规范（3），验证（5），一致性测试（6）和帮助（7）的菜单组成。 当选择文件菜单（2）时，通过与X服务器的通信来执行用于打开文件，关闭文件和终止集成环境的操作。 如果选择了规格菜单（3），则会在屏幕上显示编辑的窗口和模拟结果。 当选择用于转换规格面板的菜单（4）时，响应于中间模型转换器将结果输出到屏幕上。 测试菜单（6）启用与测试发生器的通信，然后在屏幕上输出通信结果。

公开(公告)号：KR100404940B1

公开(公告)日：2003-11-10

申请号：KR1019990033585

申请日：1999-08-16

Applicant: 한국전자통신연구원

Inventor： 민재홍 ,  진병문 ,  박기식 ,  김성운 ,  안성수

IPC: G06F9/44

Abstract: PURPOSE: A graphic user interface unit for constructing an integrated protocol development environment using a formal methods is provided to apply the unit to the development of the protocol related to data communication, by integrating the Object Geode, a specification unit tool for a detailed user request, with a verifier and a suitableness test generator. CONSTITUTION: An X client(1) is comprised of the menus of a file(2), a specification(3), a verification(5), a conformance-test(6) and a help(7). When the file menu(2) is selected, the operations for opening a file, closing the file and terminating the integrated environment are performed via the communication with an X server. If the specification menu(3) is selected, an edited window and a simulated result is displayed on a screen. A result is output onto the screen in response to an intermediate model converter when a menu(4) for converting a specification panel is selected. The test menu(6) enables the communication with a test generator, and then outputs the result of the communication on the screen.

Abstract translation: 目的：提供一种图形用户接口单元，用于使用形式方法构建集成协议开发环境，以将该单元应用于与数据通信相关的协议的开发，其中通过集成对象Geode（用于详细用户请求的指定单元工具） ，有一个验证器和一个合适的测试生成器。 构成：X客户端（1）由文件（2），规范（3），验证（5），一致性测试（6）和帮助（7）的菜单组成。 当选择文件菜单（2）时，通过与X服务器的通信来执行打开文件，关闭文件和终止集成环境的操作。 如果选择规格菜单（3），则在屏幕上显示编辑的窗口和模拟结果。 当选择用于转换指定面板的菜单（4）时，响应于中间模型转换器将结果输出到屏幕上。 测试菜单（6）启用与测试发生器的通信，然后在屏幕上输出通信结果。