20 Years of Modal and Mixed Specifications
20 Years of Modal and Mixed Specifications
复制标题
模态和混合规格已有 20 年历史
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
A. Wąsowski
中科院分区：
文献类型：
--
作者：
Adam Antonik;M. Huth;K. Larsen;Ulrik Nyman;A. Wąsowski
模态转换系统是经典转换系统模型的一种变体，其中的转换有两种形式：一种是给定规范的任何细化必须具备的，另一种是可能具备的，但不是必须具备的。这个计算模型是大约20年前由Kim Guldstrand Larsen和Bent Thomsen提出的。从那以后，它一直是几个研究小组的研究对象，在过去的几年里，人们对这个模型和它的兄弟——混合规范——的兴趣越来越大。鉴于最近关于模态和混合规范及其应用的研究文献的快速增长，我认为用并发专栏的一期来调查该领域的最新结果和开放问题是合适的。我很高兴能够为并发专栏的读者提供这篇优秀的概述论文，作者是模态和混合规范的理论和应用开发中的一些主要推动者。我相信这篇文章会引起普遍的兴趣，我希望它能吸引一些研究人员为这些模型的正在进行的工作做出贡献。享受吧!
Modal transition systems are a variation on the classic model of transition systems where transitions come in two flavours: those that any refinement of the given specification must possess, and those that it may, but is not required to, have. This model of computation was introduced about twenty years ago by Kim Guldstrand Larsen and Bent Thomsen. Since then, it has been the subject of investigation by several groups of researchers, and interest in this model and in its sibling that goes by the name of mixed specifications has grown over the last few years. In the light of the recent rapid growth in the research literature on modal and mixed specifications, and their applications, I thought that it was appropriate to devote an installment of the Concurrency Column to a survey of recent results and open problems in the field. I am very happy to be in a position to offer the readers of the Concurrency Column this excellent overview paper by some of the prime movers in the development of the theory and applications of modal and mixed specifications. I trust that this piece will be of general interest, and I hope that it will entice several researchers to contribute to the on-going work on these models. Enjoy!
论语义自我最小化的复杂性
影响因子：
--
作者：
Antonik A
通讯作者：
Antonik A