19、多用户移动应用与迁移式用户界面相关研究

多用户移动应用与迁移式用户界面相关研究

1. 工作区模型的应用

1.1 容错机制

在工作区模型中，部分故障表现为实现层面的一个或多个非请求式演变。例如，与某个节点失去联系，最初会表现为所有指向该节点组件的远程连接器断开连接。

运行系统对部分故障的响应可能是恢复（restoral）或复原（recovery）。恢复是最佳情况，即通过重新建立失败的网络连接等方式，恢复所有用户可见的系统功能。若无法恢复，则复原的目标是使系统进入语义连贯的状态，并将对用户的影响降至最低。

以下是工作区模型对这两种响应的表示：
- 恢复：初始时，实现层架构 i 是当前概念架构 c 的细化，即 R(c, i)。初始故障表现为实现层的一系列演变 eif，产生新的实现架构 if，此时 if 不再是 c 的有效细化。随后，对 if 应用一系列演变 ei1 到 ein，使得 R(c, ein(…(ei1(if)…))，即最终的实现层架构 ir 是 c 的有效细化。
- 复原：当恢复不可行时，通常需要对概念架构进行某种修改。对 c 应用一系列演变 ec1 到 ecm，同时对 if 应用一系列演变 ei1 到 ein，使得 R(ecm(…(ec1 (c)…), ein(…(ei1 (if)…))。

可以通过删除 c 和 if 的所有元素来得到空架构，这是一种简单的解决方案，但图 6(b) 并非毫无意义，它为判断恢复的适用性提供了初始标准，即重新建立概念层和实现层之间连贯性所需的概念层演变的数量（和性质）。

1.2 对 C++ 的扩展

工作区模型的另一个应用是为现有编程语言提供严格定义的替代语义，目前主要针对 C++