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

朱凯基于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