METHOD AND APPARATUS OF FORMAL SPECIFICATION BASED ON XML AND RECORDING MEDIUM USING THIS

摘要

A method and an apparatus of formal specification based on an XML and a recording medium using the same are provided to indicate a hierarchical access control region of an XML document in a formal method and to check over whether or not the access control for the XML document is performed accurately. An approach control model generating unit generates an access control model by using a user access control rule for an XML document, which is configured in hierarchical tree structure format, depending on a scheme of an XML document and a path designation language(310). A process algebra formal model generating unit generates a process algebra formal model by converting an access control model based on am algebra language(320). When a query occurs concerned with an XML document, a query converter converts a user query based on the algebra language, specifies the user query as a request for the access control model and transmits the information corresponding to the query for an XML document to a user(330).