论静止：支持并行组合、动作隐藏和确定化的严格理论
软件工程
2012-02-29 v1
摘要
静止（quiescence）的概念——输出的缺失——在行为建模和测试理论中都至关重要。尽管对静止的需求早在90年代就已得到认可，但迄今为止它仅被当作二等公民对待。本文将静止提升到前台，并引入了静止转换系统（QTS）的概念：这是常规输入输出转换系统（IOTS）的扩展，其中静止通过静止转换显式表示。关于静止转换使用的四个精心设计的规则确保我们的QTS自然地捕获静止行为。我们提出了支持并行组合、动作隐藏和确定化的QTS综合理论的基本构建块。特别是，我们证明了这些操作保留了所有前述规则。此外，我们提供了一种将现有IOTS转换为QTS的方法，甚至允许输入已经包含一些静止转换的IOTS。作为一个重要应用，我们展示了我们的QTS框架如何简化围绕ioco形式化的基本基于模型的测试理论。
引用
@article{arxiv.1202.6124,
title = {Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation},
author = {Gerjan Stokkink and Mark Timmer and Mariëlle Stoelinga},
journal= {arXiv preprint arXiv:1202.6124},
year = {2012}
}
备注
In Proceedings MBT 2012, arXiv:1202.5826