模式，服务，框架及其他

服务是跟ＣＳ架构联系到一起的，ＣＳ适合于资源管理，资源意味着数量是有限的，服务提供了有限的但数量不确定的同类资源，可以动态spawn，资源之间通常是隔离的或松散耦合的。

而ＦＳＭ是确定的单个实体，封装了状态，类实例其实就是ＦＳＭ的延伸。

 

先具体后抽象。静态是动态的抽象。

模式：分析／细化，综合／简化，递归／复用，

动态：状态机，服务器（资源管理器），

静态：状态的抽象 － 数据（库）

 

服务器：由外部驱动的功能实例。可能会接受多种事件，数据/状态也可能有多样的变化。

 

有限状态机：特化的服务器。能够从某种维度刻画出少数几个状态，从而得以按照状态嵌套细化设计。

代码产生思路，定义一个OTP高级框架（及指导使用文档），OHF 。

图形建模工具 -》 解释脚本(或者直接是XML/JSON文件) -》Erlang行为及其他代码

喜欢自然语言的解释。符号化注释只能由解释脚本自动生成。

Erlang是动态语言，类型检查比较弱，有了解释工具后，纠错主要依靠文档规范，避免直面代码（保护视力）。

Dialyzer是一个erlang分析器。

暂不需要复杂的测试框架。

vim7.3自带了erlang.vim - "/usr/share/vim/vim73/syntax/erlang.vim"

OHF

1.包含简单的单元测试，

2.包含简单的日志

3.包含对Python的Port支持

4.支持服务器的管理

5.支持状态机的管理

OHF建模工具分三大区：

1.GUI元素区：Application，Supervisor， Server，Fsm，

2.模块接口区：APIs, Callbacks，列表

3.模块细节区: API/Callback 代码段