| 形式合约（formal contracts）也是一种描述框架设计的方法，强调组成框架的对象间的交互关系。有人认为它是面向交互的设计，对其他方法的发展有启迪作用。但形式化方法由于其过于抽象，而有很大的局限性，仅在小规模程序中使用。
|
|
|
|
|
| （1）符号所包含的元素很少，并且其中引入的概念能够被映射成为面向对象程序设计语言中的概念。例如，参与者映射成为对象。
|
|
|
| （2）形式合约中考虑到了复杂行为是由简单行为组成的事实，合约的修订和扩充操作使得这种方法很灵活，易于应用。
|
|
|
|
|
| （1）在某些情况下很难用，过于繁琐。若引入新的符号，则又使符号系统复杂化。
|
|
|
| （2）强制性的要求过分精密，从而在说明中可能发生隐患（例如冗余）。
|
|
|
| （3）形式合约的抽象程度过低，接近OOP语言，不易分清主次。
|
|
|
京公网安备 11010502032051号 | 营业执照