发明名称 |
METHOD FOR EDITING LOTOS BASED ON TEMPLATE |
摘要 |
PURPOSE: A method for editing LOTOS(Language of Temporal Ordering Specification) based on template is provided to edit exactly the LOTOS specification without sentence structure error in a faster and simpler method compared with the editing method by usual text input. CONSTITUTION: A specification is loaded(10), the condition of edition is comprehended(20), and LOTOS sentence structure capable of being inputted at the location of present cursor is abstracted(30). The abstracted LOTOS sentence structure is configured in the form of a template tree(40), and is on standby until an input is carried out by a user(50). When the input is carried out by the user(60), the condition of edition is changed(70), and the changed edition condition is comprehended again(20).
|
申请公布号 |
KR20000031541(A) |
申请公布日期 |
2000.06.05 |
申请号 |
KR19980047640 |
申请日期 |
1998.11.07 |
申请人 |
KOREA ELECTRONICS AND TELECOMMUNICATIONS RESEARCH INSTITUTE |
发明人 |
CHO, SOO SEON;LEE, KWANG YONG;OH, YOUNG BAE;KIM, HEUNG NAM |
分类号 |
G06F17/24;(IPC1-7):G06F17/24 |
主分类号 |
G06F17/24 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|