作者：李星毅; 鞠时光可视化语言vsql语言程序编辑器计算机语言环境模态定义mach机
摘要：可视化语言是以图符为语素的语言,其语句是由可视化对象组成的,故指令的编写方式不同于传统字符语言的文本编辑方式,需要为其设计一种特殊的可视化语句编辑器,让用户来编写可视化语句.对VSQL的程序编辑器(Mach机)进行定义.介绍了Mach的工作流程,并用一阶时态逻辑描述其行为,较好地说明了Mach机互操作对象之间的关系,解决了Mach机复用问题,为VSQL实现可视化程序设计方法奠定了基础.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
