SmartLogic，very nice

动态建模软件SmartLogic的0.0.1beta版本终于可以使用了，它支持：

1，可视化进行模型设计。

2，支持模型图到代码的正向工程。

3，支持代码到模型图的反向工程。

4，支持单步调试，在调试界面支持设置断点和取消断点，以及修改运行时参数/变量值。

5，支持导出库以及导入库，保证建模对象的复用性。

实现代码以及支持代码都是C# 2.0。

建模特点：

1，模型支持树型结构建模，即允许在主活动对象下有子对象，子对象向下递归扩展。

2，活动对象拥有参数，变量，端口，子对象（可以是列表），状态图。

3，活动对象直接通过参数更改，变量更改，端口消息，事件消息（fireEvnet）进行通信互动。

4，伪多线程支持运算（微软一个线程默认2M内存，这里可以避开这个问题），因此可以支持非常大量的活动对象的运算。

5，模型设计集成在IDE中，享有IDE的一般特性。

适用范围：

逻辑比较复杂且需要有联动操作以及事件驱动的系统，其开发效率将得到充分展示。

特别适合商业建模，比如设置若干模型对象以及参数，通过调整参数获得最优化效果。

另外也很适合软件系统，软件系统本身就是对现实事物的一种计算机模型，如果非常复杂，建议用动态建模技术来实现一些核心功能。