设计与实现分离

自动化实现

设计规则，不考虑实现效率

规则是局部的，不必定义全局的执行规则

规则是相互依赖的，隐式的构成一个全局执行规则

相互依赖的规则被BFM自动连接成为规则图

规则图可进行变形和优化，而具有各种不同的执行效率，但是基础规则相同

设计人员的关注点从错综复杂的全局设计中解放

搞定局部则全局搞定！

• 相关文章
• 全局相关文章