18、多用户移动应用的细化与演化演算解析

多用户移动应用的细化与演化演算解析

在现代交互式系统的设计中，随着用户界面风格的不断创新，如支持异步或实时协作的群件系统、让用户能使用多种设备的移动系统以及对用户上下文敏感的普适系统等的出现，对有效的架构模型和相关理论的需求日益迫切。本文将介绍一个名为工作区模型（Workspace Model）的理论，它通过演化演算和细化关系进行形式化，为多用户和移动分布式交互式系统的属性描述和推理提供了一个正式的架构框架。

1. 工作区模型概述

工作区模型包含概念架构和实现架构两个层次，以及细化关系和演化算子，它们之间的关系如下图所示：

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px

    A(概念架构):::process -->|细化关系 R| B(实现架构):::process
    A -->|演化算子 ec| A1(修改后的概念架构):::process
    B -->|演化算子 ei| B1(修改后的实现架构):::process

• 概念架构 ：概念架构描述了交互式系统的组成元素结构，但不涉及如何将其实现为分布式应用。以一个多人参加的演示为例，包括本地和远程观众，演示者有私人视图，本地观众在礼堂观看大屏幕，远程观众通过个人电脑观看。概念架构中有工作区、人员、软硬件组件和连接器等元素，组件通过端口连接到连接器。概念架构包含三种组件：
  • 参与者（Actors）