HCI-Complexity Control

 HCIS的复杂性及其控制：

iMeeting是一个多通道群件系统。这种风格的HCIS的实现比WIMP风格的HCIS的实现要复杂很多，有实质性困难。例如，笔交互是其中的一个通道。笔交互是一种连续无中断的交互，但是由于没有标准的用户界面管理系统平台作为支持，实现笔交互用户界面是比较困难的。笔交互用户界面的实现依赖于草图识别、数字识别、汉字识别和手势识别（用于对识别出的界面对象的编辑操作）等智能识别技术。语音、视频等人机交互通道也会同样带来系统开发的实质性困难。本项目中的主要任务不是要研究这些智能人机交互技术乃至多通道人机交互的融合问题，而是要研究如何通过形式化方法控制这些技术的引入所带来的系统开发的复杂性。

对于复杂HCIS的设计，通常有两种方法可以简化设计过程的方法：一种是组合化，即将系统看作由一个个小的子模块（子系统）构成，一个大的复杂系统就可以经由这些子模块的组合来表示，这样对复杂系统的刻画以及分析就可以模块化，每次只需要要将注意力放到系统的一个小部分细节上，这种模块化也常称之为组合。从系统分析与设计的观点看，仅仅有组合化的设计方法在很多情况下还是不够的，因为组合化的思想是在同一个抽象层次上的，一旦描述系统行为的动作集合确定了，则系统的抽象层次也就确定了。而在系统分析和设计的过程中，有可能需要对概念上属于不同抽象层次的系统行为进行比较，以便验证他们本质上是同一个功能。因此，在系统分析与设计的过程中通常还涉及另外一种设计方法，即将一个复杂的系统首先描述成一个简单、抽象的系统规范，然后逐步地细化到实际的、复杂的系统实现，其中对每一步的刻画和分析都是在不同的抽象层次上进行，因此可以只关注当前抽象级别上的细节。这种系统分析与设计方法与前一种方法的思想完全不同，我们称之为层次化。在进程代数的框架下，并发系统的设计也可以采用这种层次化策略，但是需要引入一种从高层次抽象转到低层次进程描述的机制，这种机制就是动作细化。动作细化是基于系统由其所能执行的动作来表示的一种层次化设计方法，即它主要关注系统的动作，以及如何将表示系统行为的一个抽象动作转换成一组更具体的动作，因此从概念上来说，只要是基于动作的系统，都可以引入动作细化的机制，来获得层次化的设计能力。

本项目需要对形式化模型进行深入的理论研究来解决人机交互的复杂性。这个问题深刻而影响广泛，我们将在基于IMCs的并发理论的已有的工作来开展研究。采纳其中已有的工作成果直接用于本项目的案例研究中，对于其中不完善的部分将根据构建iMeeting系统的可用性评估模型的需求逐步开展更深入的研究，但不仅限于此项目案例的应用需求。换言之，项目的理论研究成果将使用一个案例研究来检验，但理论研究的目的是提供一个通用的理论模型，不仅局限于此案例。