On the use of visualization in formal requirements specification
On the use of visualization in formal requirements specification
复制标题
可视化在正式需求规格说明中的应用
DOI：
10.1109/icre.2002.1048507
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
M. Storey
中科院分区：
文献类型：
--
作者：
Nicolas Dulac;Thomas Viguier;N. Leveson;M. Storey
在工业上接受正式规范的一个限制因素是它们的可读性，特别是对于大型、复杂的工程系统。我们假设，从一个公共模型生成的多个可视化将改进需求创建、审查和理解过程。视觉表达在有效时，通过突出特定用途的规范中最相关的交互和方面来提供认知支持。在这篇文章中，我们提出了一种分类和一些初步的原则来设计形式规格说明的可视化表示。分类和原则通过我们在试图理解MD-11飞行管理系统的正式规范时创建的示例可视化来说明。
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple visualizations generated from a common model will improve the, requirements creation, reviewing and understanding, process. Visual representations, when effective, provide cognitive support by highlighting the most relevant interactions and aspects of a specification for a particular use. In this paper, we propose a taxonomy and some preliminary principles for designing visual representations of formal specifications. The taxonomy and principles are illustrated by sample visualizations we created while trying to understand a formal specification of the MD-11 flight management system.