![](https://csdnimg.cn/release/download_crawler_static/88626904/bg4.jpg)
M.D. Harrison
,
M.Massink/Electronic Notes in Theoretical Computer Science 261
(
2010
)
23
叙述可以用来探索一种新的设计选择。 可以构建修订的叙述,其中包括如何使用设
想的设计的描述。这些叙述可用于与潜在用户探讨新设计会是什么样子,使他们能
够可视化其影响。 这种可视化 类似于在更广泛的设计社区中常见的过程,例如,
粘土模型代表一个提案,并由主题在日常活动中使用或可视化[1]。 导出的信息
该过程的第一阶段还可以包括对设计的期望特性的理解。这些特性可能与信息显示
器相对于房间中座位的位置有关,可能与在过程的哪个阶段需要什么信息有关,可
能与延迟的可接受性或其他有关,以及定期更新信息的必要性有关。在这里,功能
模型将能够描述这些关系,表示为属性,提供分析的基础。该模型的结果可以作为
性质突变的反例。这些反例可以被动画化,从而可视化,以生成与所提议的新设计
相关的进一步场景供考虑。
本文重点讨论了与开发一类无处不在的系统的功能模型相关的挑战,这些系统的
设计可能受益于定性和定量推理。本文首先描述了一类可能对这种分析敏感的系统
(第3节)。它通过两个例子演示了类。虽然这些系统的各种属性可能与用户对这
些环境的体验有关
2
相关工作
在该文件中采取的方法是关注使用的形式化建模和相关的分析技术的无处不在
的系统的交互方面。已经有大量的文献中的作用,形式化方法的设计和评估的
交互式系统。当前形式分析的大部分焦点都是基于模型检查或其他算法技术,
例如图分析。分析的一个动机是发现可能存在问题的行为实例,然后由人为因
素和领域专家进行分析领域专家根据分析结果生成系统工作的更丰富的描述,
人为因素专家根据痕迹探索感兴趣的典型属性包括可预测性、可见性、恢复到
先前状态的能力和模式结构的清晰度模型专注于系统中交互的关键特征,使用
诸如模态动作逻辑(MAL)[2],状态图[6]或矩阵[9]等符号对飞行管理系统
[23,2]、车内控制系统[3]和医疗仪器[24]进行了建模和分析,在每种情况下都
预测了设计的不可预见后果
进一步的符号与普适系统相关,以模拟整个环境。这意味着捕获: