基于模型开发的静态检查文档,方便开发者发现不符合MAAB规范的元素