通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法,但在技术上却有许多共性。
From the example of the system KW, the paper shows that finite canonical model and filtration are two different ways to prove finite model property, but they have something in common on techniques.
在数据层面上,“典范”企业数据模型是EAI在15年前就提出了,而且得到很多SOA实施的吸纳。
On the data side, the idea of "canonical" enterprise data model was introduced by EAI about 15 years ago and was widely adopted by many SOA implementations.
这是我见过的在 Web 上使用 drag/drop 模型的最佳典范。
I think it is one of the best I've seen for usage of the drag/drop model on the Web.
应用推荐