支持界面描述的交互模型及其形式化描述

为促进软件用户界面的工程设计,该文提出了一种支持用户界面自动生成的交互模型。它对UML中交互模型的概念加以扩展,添加与界面生成直接相关的信息,表达了与界面相关的功能和数据对象信息以及这些信息间的控制关系。并详细描述了交互模型的符号体系和对它的形式化描述。