VSQL编辑器的行为模型定义

可视化语言是以图符为语素的语言,其语句是由可视化对象组成的,故指令的编写方式不同于传统字符语言的文本编辑方式,需要为其设计一种特殊的可视化语句编辑器,让用户来编写可视化语句。对VSQL的程序编辑器(Mach机)进行定义。介绍了Mach的工作流程,并用一阶时态逻辑描述其行为,较好地说明了Mach机互操作对象之间的关系,解决了Mach机复用问题,为VSQL实现可视化程序设计方法奠定了基础。