The main problems are alignment between ZML notations and Z specification,and reduction of maintenance time of XML document about Z language when a ZML document is evolving.

• 以及随着ZML的演化,如何减少Z语言XML文档的开发维护时间问题。