|
对话形式规范化说明
对话的形式规范说明的必要性:
Ｉ.用形式化体系设计的界面，可增强可靠性。
II.可用软件模块构造界面，实现可重用性。
已存在的几种形式规范描述：
1.用Z语言对界面行为进行行为描述（Sufran,1986）。
2.用路径代数（Alty,1984）描述对话序列。
3.代数形式化体系描述系统的交互集（Dix和Runciman,1985）。
形式化技术的不同点在于它们的表达能力和灵活性，但总的目的是向人们演示，对话行为可作有限的描述。例如：“所见即所得”（What
You See Is What You Get）原则，按生成型工程原理GUEPS可细化为因果语句和状态约束集描述界面怎样正常工作，怎样不能正常工作。形式规范化面临着许多问题，关键在于对什么内容形式，但其仍在发展。
形式规范的发展方向：
是把软件工程原则和认知问题用于交互，并推导出一系列用于设计的上下文无关的原则，实现界面工程化设计。
 
|
