【摘 要】
：
可视化语言是指采用图形方式对系统/软件进行描述的语言,可视化语言的编辑器是一种能让用户在计算机上交互式地使用可视化语言对系统方案进行设计和编辑的软件."语法制导"的
论文部分内容阅读
可视化语言是指采用图形方式对系统/软件进行描述的语言,可视化语言的编辑器是一种能让用户在计算机上交互式地使用可视化语言对系统方案进行设计和编辑的软件."语法制导"的含义是,编辑吕在交互式的编辑过程中,根据可视化语言的语法,决定用户能做的合法操作,避免用户画出非法的图形.该文首先概述了国际上对可视化语言的形式定义以及类似系统的研究现状,重点分析了几个典型系统的实现.然后,提出了一种对可视化语言及其编辑器进行形式化描述的语言XECL编辑器定制语言,设计了一种基于此语言的语法制导的可视化语言编辑器的开发平台,暂命名为XSEP,并完成了XSEP原型系统的开发.XSEP的特点是采用了形式化和非形式化相结合方法.在XSEP的帮助下,可视化语言编辑器的开发者可以用形式化的方法,对某个具体的可视化语言及其编辑器进行描述,XSEP能够根据开发者写出的形式化描述,自动生成该可视化语言的语法制导的编辑器.XSEP的能力不止于此.XSEP在系统设计上重点强调可扩展性,力图使开发者能够尽可能容易地在自动生成的编辑器的基础上进行二次开发,根据特殊需求扩展编辑器的功能.而且这些由开发者做出的扩展,能够在XSEP定义的构件组织结构下,被有组织地管理起来,成为XSEP的一部分,供以后重用.该文最后阐述了该课题的研究中采用的重要设计思想和技术,并以一个具体的示例展示了该课题的研究成果.
其他文献
随着计算机系统规模和复杂度的不断增加，应用范围的不断扩大，人们对系统正确性的要求也日益提高。模型检验是一种形式验证技术，它的主要思想是构造系统的有限状态模型并穷尽搜索
随着计算机网络的发展,传统的计算机系统发生了巨大的变化,突出地表现为从集中计算(Centralized Computing)到分布式计算(DistributedComputing)的转变.分布式信息系统在人们
随着信息化的不断发展，网络安全和信息安全的问题显得日益突出。表现在：因特网的共享性和开放性使网上信息安全存在先天不足，因为其赖以生存的TCP/IP协议，缺乏相应的安全机制，而且
入侵检测技术经过十几年的发展已经达到了一个很高的技术水平。当前的很多入侵检测系统都突破了传统系统所采用的简单模式匹配检测技术。Columbia大学开发的入侵检测系统[WEN
任何一个熟练的程序员都可以开发出一个能够使用的软件.但是构建一个可维护的、可伸缩的、健壮性好的企业系统就不那么容易.众所周知,现在的企业级软件系统变得越来越庞大,越
机器学习在人工智能的研究中具有重要地位，一个不具有学习能力的智能系统很难称得上是一个真正的智能系统。传统的学习方法是基于理想环境下进行研究的，即数据是完整的，所含噪声
近年来频繁暴发的大规模网络蠕虫对Internet的安全造成了严重威胁,给社会带来了重大的经济损失.如何有效的检测和控制蠕虫的扩散,是当前一个重要的研究方向.由于网络蠕虫往往
数据挖掘是从大量的数据中提取隐含的、事先未知的、并且潜在有用的知识的技术，是当前数据库和人工智能研究领域的热点之一。交通银行网上银行数据挖掘模块使用了基于OLAP的数
互联网的迅速发展,使得上网搜索信息成为了人们学习的一种重要方式。但是由于网上的学术资源数量庞大,质量参差不齐,如何让用户获得其感兴趣的学术资源并为用户智能地过滤掉