Parametric Modal Transition Systems
Parametric Modal Transition Systems
复制标题
参数模态转换系统
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Jiri Srba
中科院分区：
文献类型：
--
作者：
Nikola Benes;Jan Křetínský;K. Larsen;Mikael H. Møller;Jiri Srba
模态转换系统（MTS）是一种经过充分研究的反应式系统规范形式，支持逐步细化方法。尽管有很多优点，但形式主义及其目前已知的扩展无法表达细化过程中的一些实际需要的方面，例如排他性、条件性和持久性选择。我们引入了一种称为参数模态转换系统（PMTS）的新模型以及克服了许多限制的通用模态细化概念，并研究了模态细化检查的计算复杂性。
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called parametric modal transition systems (PMTS) together with a general modal refinement notion that overcome many of the limitations and we investigate the computational complexity of modal refinement checking.