Analysis And Description Of The Semantics Of XML Based On B-Method

With the increasing of XML technology and XML application, there are many issues around XML technologies: many XML specifications are still working drafts now; there are serious dependency among specifications; how to keep the compatibility between the new specification and the old one, and so on. These matters have embarrassed the further developing of XML technology seriously. The primary challenge which XML technologies are confronted with is how to overcome these problems and advance the standardization of the specifications, moreover keep the consistency of the specifications.Formal method can help people understand the technology easily, and can make for the standardization of the technology. B-method is one of the formal methods, however it has the similar characteristics of the Object-Oriented. So, the formal description based on B-method not only has the terse and distinct features of the generic formal methods, but also has composability and reusability, and can adapt to the continuouse changes of the feature, thence the semantics of language can be easily extended.The B-method is adopted to set the formal model on the XML technology. First of all, the basic components that include data types, data models and expressions are induced according to the dependencies of the XML technologies. On this basis, the related XML technologies that contain XML Schema data types, XML documents data models and XPath expressions are set full models based on B-method. The XSLT is described reusing the semantics of basic components in the second part. The descriptions of XSLT, no matter what stylesheet, templates or instruction, have the tight relation with the basic components.The leading creative point is the semantic descriptions of XML core technology based on the formal system of B-method. The modeling on XML technology has the reusable and composable features and it can adapt to the developing of the XML technology. When the new technology is emerged, the semantics of the new specification are easily described by extending the old one.