综合监控导向薪酬规划

@进行中{科伦坡2014综合MC，title={综合监控导向薪酬规划}，author={Christian Colombo和Gordon J.Pace}，booktitle={FESCA}，年份＝{2014}，url={https://api.semanticscholar.org/CorpusID:14215975}}
这项工作建议使用运行时监控器来促进补偿编程，监控器使建模者能够根据运行时控制流进行隐式推理，从而分离系统构建和补偿建模的问题。
[PDF]语义阅读器

本文中的图表

5引文

高级应用程序域（软件以外）的运行时验证挑战调查

本文介绍了从具体应用程序域中提取的运行时验证挑战集合，重点讨论了解决这些特定挑战必须克服的困难。

以太坊智能合约的运行时验证

本文介绍了如何在智能合约领域使用运行时验证的标准技术，包括一种新的基于利害关系的检测技术，该技术可确保违规方为正确行为提供保障。

智能合约之上的合约：动态地从违规中恢复

本文讨论了如何使用动态分析不仅识别合同中的错误，而且支持从此类错误中恢复，并提出了一种规范驱动的方法，允许开发商通过智能合同承诺行为属性，但仍然允许他们以安全的方式更新实现规范的代码。

监控智能合同：ContractLarva和其他公开挑战

本文介绍了运行时验证工具ContractLarva，并概述了它在基于以太坊区块链的分布式计算平台的Solidity编写的智能合约中检测监控器的使用。

利用形式方法、验证和确认的应用。工业实践：2018年11月5日至9日在塞浦路斯利马索尔举行的2018年ISoLA第八届国际研讨会，会议记录，第四部分

RV-TOP轨道的目的是将运行时验证和行业从业者领域的专家聚集在一起，传播高级研究主题，使RV对行业更具吸引力，并可用于其他应用领域。

35参考文献

MOP运行时验证框架概述

概述了面向监控的编程框架（MOP），并对参数跟踪监控及其实现进行了解释。

使用补偿实现更安全的异步运行时监控

本文研究了补偿的使用，以使不希望发生的操作能够撤销，从而使异步监视具有在异常发生后将系统恢复到原始状态的能力。

流合成语言中补偿的理论基础

本文提出了一种具有更强表现力的事务计算层次结构，从一种只能按顺序组合活动的非常小的语言开始，逐步引入并行组合、嵌套、可编程补偿和异常处理。

LARVA-实时Java程序的更安全监控（工具文件）

介绍了用于Java程序属性（包括实时属性）的运行时验证的工具LARVA，并评估了通过监视降低系统速度对属性满意度的影响。

补偿不够[错误处理和补偿机制]

本工作回顾了目前大多数工作流产品和业务流程建模标准中使用的错误处理和补偿机制，并使用电子采购案例研究来提取有效取消机制的一组需求。

WS-BPEL 2.0中的故障、补偿和终止——比较分析

本文为WS-BPEL 2.0 FCT处理机制提供了形式化语义，旨在全面详细地捕获WS.BPEL2.0规范的FCT部分，并将BPEL方法用于FCT处理与现有的形式化理论进行了比较。

Web服务环境中的工程补偿

本文扩展了现有的Web服务事务协调体系结构和基础设施，以支持灵活的补偿操作，并引入了抽象服务和适配器组件，这些组件允许将补偿逻辑与协调逻辑分离。

实时和上下文属性的基于动态事件的运行时监视

这项工作提出了带有计时器和事件的动态通信自动机，以描述系统的属性，该自动机在Larva中实现，Larva是一种基于事件的运行时验证工具，用于监视Java程序的时间和上下文属性。

基于WS-Policy的复合Web服务监控

建议的解决方案是对现有方法的补充，并提供：在SOAP消息传递层和流程编排层进行同步和异步监视，监视和控制结构更加多样化，以及业务流程定义中的监视和适应操作的外部化。

在长时间运行的事务中恢复

本调查从理论角度回顾了补偿交易，对补偿交易的演变进行了历史性描述，并提出了文献中发现的一些形式主义，揭示了相似性和差异性。