XML应用语义约束样式表

ISCAS OpenIR > 中科院软件所 > 中科院软件所

	XML应用语义约束样式表
	曾科
专业	计算机应用技术
	2004
学位授予单位	中国科学院软件研究所
学位	博士
学位授予地点	中国科学院软件研究所
关键词	可扩展标识语言语义 Xml模式祥式表 Xml样式表断言
摘要	XML，是一种用于表示复杂结构数据的方法，主要关注数据的内容和结构，可以使数据的内容和显示分离，XML被广泛的应用于各种应用领域，为了应用领域之内和之间的数据和信息交换和表示，必须对XML应用的语义进行研究，并提供可以实施的解决方案，这是传统的研究方法所缺失的。语义分析主要包括建立模型和建立约束两种范例，本文以断言机制为基础，提供对XML应用的语义约束，力图在软件工程中起到对系统的契约实施和功能（语义）保障。XSLT技术的本意是作为XML数据的显示代理，而在本文中，将利用一个XSLT处理器Xalan一Tava的扩展功能使其能够进行语义约束，从而产生语义样式表的概念，能够在实际XML应用中写作编辑特定于各种应用的语义约束。在本文中使用若干实例演示语义约束样式表的功能。
其他摘要	XML is an mechanism to carry datum of complex structures. Its focus is mainly on the content of datum and structure instead of their representation- XML is used in a broad area, which urges the research on the semantics of XML applications with the applicable resolution. Those above are short of by traditional research paradigms. There are two paradigms in the analysis of semantics: The modeling approach and constraint approach. In this paper we made a constraint mechanism on application semantics of XML applications based on the assertion mechanism to impose a system contract during the process of software engineering and increase the confidence on system functionalities. The original intention of XSLT technology is to be an Agent of visual presentation, However, hi this paper we enable the semantics constraint through the extension of a XSLT processor Xalan-Java. So that a Semantics style-sheet can be made to compose all kinds of semantics constraint among applications. Examples are shown to illustrate the Style-Sheet's functionalities.
页数	55
语种	中文
内容类型	学位论文
URI标识	http://ir.iscas.ac.cn/handle/311060/7022
专题	中科院软件所_中科院软件所
推荐引用方式 GB/T 7714	曾科. XML应用语义约束样式表[D]. 中国科学院软件研究所. 中国科学院软件研究所,2004.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
LW014059.pdf（2831KB）			限制开放	--	请求全文