基于文本的电子地图形式化表达研究

地理空间的表达是地理数据组织、存储、运算、分析的基础。通过电子地图数据纽织的分析，以BNF为理论基础，提出了一套简洁、易于实现的电子地图描述性规则，可以方便地利用文本编辑器编辑，实现了电子地图在不同软件系统中通用性的目的，极大地提高了工作效率。     

基于重用的用例层次模型与应用

扩展了Regnell关于用例层次模型的研究,提出了一种基于重用的用例层次模型.该层次模型将用例的描述分为3个不同的抽象层次:服务层、结构层和事件层.按照UML规范,定义了各层有关元素间的关系,给出了由扩展巴科斯范式定义的用例描述规范及相应的图形表示.该模型解决了Regnell采用纯图形方式描述用例时不能处理用例间的包含、扩展和泛化关系的描述问题,易于实现不同系统间、不同用例间和用例内部对用例描述的重用.同时,采用该模型还可以避免纯图形方式下难以采用自动工具支持用例描述的修改和验证等问题.在Drawlet框架下,设计了该模型的用例建模和重构原型工具.     

生产型企业的采购计划制订算法

描述一个生产企业管理信息系统中的一个子系统--零部件采购计划的制订算法.在设计和实现采购计划的自动生成过程中,根据对问题的分析,得到了问题的BNF描述,并用递归下降算法予以实现.对于以销定产型的生产企业,该算法具有典型性,适用于类似企业.     

基于超文法的扩展文法转换技术

针对带有优先级的扩展巴克斯范式(EBNF), 普通的语法分析技术很难适用于该文法的问题, 给出了扩展文法的形式定义, 提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法, 并给出转换的正确性证明, 该算法在ATLAS语言编译器的开发中得到了实际应用和验证.