VSQL编辑器的行为模型定义  

Definition of VSQL editor's behavior model

作　　者：李星毅[1] 鞠时光[1] 

机构地区：[1]江苏大学计算机科学与通讯工程学院,江苏镇江212013

出　　处：《计算机工程与设计》2004年第3期337-339,共3页Computer Engineering and Design

基　　金：国家自然科学基金项目(60173064);江苏省自然科学基金项目(BK99110)

摘　　要：可视化语言是以图符为语素的语言,其语句是由可视化对象组成的,故指令的编写方式不同于传统字符语言的文本编辑方式,需要为其设计一种特殊的可视化语句编辑器,让用户来编写可视化语句。对VSQL的程序编辑器(Mach机)进行定义。介绍了Mach的工作流程,并用一阶时态逻辑描述其行为,较好地说明了Mach机互操作对象之间的关系,解决了Mach机复用问题,为VSQL实现可视化程序设计方法奠定了基础。Visual language is a programming language whose morpheme is graphic symbol. Organization and structure of its sentence are different from traditional charactery language. Therefore, special sentence editor need to be designed for visual language. A program editor (Mach) for VSQL was defined, and the working process of Mach was introduced. The behavior of Mach was described in first-order temporal logic (FOTL). The relation between Mach operation and operand was explained. The problem of Mach reusability has been solved, which is a basic to realize visual programming approach of VSQL.

关 键 词：可视化语言 VSQL语言 程序编辑器 计算机语言环境 模态定义 Mach机 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]