html 保存变量变式,基于b方法的xml语义描述及其应用研究-计算机技术专业论文.docx...

基于b方法的xml语义描述及其应用研究-计算机技术专业论文

朱凯基于B方法的XML语义描述及其应用研究

朱凯基于B方法的XML语义描述及其应用研究2

Abstract

XML is a W|o订d Wide Wbb Consortiurn(w3c)development environment for network data exchange and management of new technologies．is a use in the W色b

environment，a new markup language，which aims to overcome the shortcomings of

HTML．to meet the growing network applications demand．It began developing in

1 996 and nOW has become a recommended standard，with the HTML，like，XML iS

alSO derived from SGML，with 80％of the capacity of SGML，but its complexity only a SGML to 20％，XML iust makes up for the shortcomings of HTML．XML is a subset of SGML．while HTML is an application of SGML．XML is actually a definition language，that iS，the user can define unlimited document markup symbols to describe any of the data elements，which broke through the fixed HTML tag set of constraint symbols，SO that the contents of the document richer，more complex and can Hugh form a complete information system．If we say．HTML provides a global data show a common approach．then the XML further provides a common method of

dealing、Ⅳith global data．

With the rapid development of XML technology，and wide application．XML technology itself has exposed a growing number of problems：most of the XML specification is still in the working draft of the stage；regulate the relationship between the existence of a serious dependency；compatibility between the old and the new

norms and SO on．These problems have seriously hindered the further development of

XML technology．How to overcome these problems．promote the standardization of norms and to maintain consistency between the specification will be the most important XML technology faces challenges．

Formal B method iS a more practical software formal methods．it is based on

Zermelo—Frankel set theory，based on the use of abstract machine notation(AMN)t0 describe the software specifications，through a series of refinement steps in the design， produced a hierarchical architecture and code，covering from specification to code generat