A number of constraints are defined by the W3C XML schema specification that are time consuming and memory intensive to check.
W3C XML模式规范中定义的一些约束，检查起来非常耗时而且需要较大的内存空间。
2
Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.