基于XML的形式化描述及其在考试系统中的应用  

XML-Based Formal Description and Its Application in Exam.System

作　　者：马永进[1] 金炳尧[1] 

机构地区：[1]浙江师范大学数理与信息工程学院,浙江金华321004

出　　处：《科技通报》2008年第4期522-526,547,共6页Bulletin of Science and Technology

基　　金：浙江省自学考试委员会"十五"规划重大课题(20022836)

摘　　要：分析了开放式考试系统的基本构成及其形式化方案,并针对其中的不足提出了基于XML的形式化设计方案和考试系统基本架构,该方案以DTD设计为核心,提高了形式化描述的可理解性,简化了形式化描述信息的生成和解析。并简单阐述了解析程序和考试系统相关工具的实现方法。This paper analyzes the composition and the Formal scheme of open examination system, and gave a formal scheme and system structure base on XML. DTD design at the core of the program to improve the understandability of the formal description, it＇s also simplify the generation and analysis of Formal information, and briefly addressed the realization of parser and tool software.

关 键 词：扩展标记语言 形式化描述 考试系统 

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