Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
复制标题
并发和分布式编程的模型、语言和工具 - 献给 Rocco De Nicola 65 岁生日的文章
DOI：
10.1007/978-3-030-21485-2_4
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Aceto L
中科院分区：
文献类型：
--
作者：
Aceto L
Rocco De Nicola与他的博士生导师Matthew Hennessy合著的被引用最多的论文介绍了三个对标记转换系统中表示为状态的过程的开创性测试等价性。本文将这些经典的流程语义与作者在项目“TheofoMon：可扩展性的理论基础”的背景下开发的运行时监控框架联系起来。它表明，可能的测试语义是密切相关的基本监测设置在该框架内，而在强收敛的过程中，必须测试语义是由一组监视器，可以检测到当进程无法执行某些操作。
Rocco De Nicola’s most cited paper, which was coauthored with his PhD supervisor Matthew Hennessy, introduced three seminal testing equivalences over processes represented as states in labelled transition systems. This article relates those classic process semantics with the framework for runtime monitoring developed by the authors in the context of the project ‘TheoFoMon: Theoretical Foundations for Monitorability’. It shows that may-testing semantics is closely related to the basic monitoring set-up within that framework, whereas, over strongly-convergent processes, must-testing semantics is induced by a collection of monitors that can detect when processes are unable to perform certain actions.