随着模型大小与复杂性增 长，状态空间呈指数增长，JPL开发了一种使用SPIN 的形式化建模框架(flexible modeling framework，FMF)解决状态爆炸问题，并开发了基于属性的测试工具(propertybasedtester， PBT)。
基于4个网页-相关网页
的形式化建模框架
A formal modeling framework
以上为机器翻译结果，长、整句建议使用 人工翻译 。
框架的知识组织方式也有利于工作流的推理，而且框架是本体形式化的表示方法之一，因此框架是基于系统层知识的工作流建模的理想方法。
The knowledge organization of framework helps workflow illation, framework also being one of the ontology formalization approaches and the ideal modeling method based on system layer knowledge.
youdao
应用推荐
模块上移
模块下移
不移动