首页>
外国专利>
METHOD FOR EDITING LOTOS BASED ON TEMPLATE
METHOD FOR EDITING LOTOS BASED ON TEMPLATE
展开▼
机译:基于模板的Lotus编辑方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
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).
展开▼