In various service-oriented applications such as distributed autonomous delivery, healthcare, tourism, transportation, and many others, where service agents need to perform serial and time-bounded tasks to achieve their goals, quality of service must constantly be assured. In addition to safety requirements, such agents also need to fulfill performance requirements in order to satisfy their quality of service. This paper proposes the novel quality-aware time window temporal logic (QTWTL) by extending the traditional time window temporal logic (TWTL) with two operators for counting and aggregation operations. We also propose offline runtime monitoring algorithms for the performance monitoring of QTWTL specifications. To analyze the feasibility and efficiency of our proposed approach, we generate a large number of traces using the New York City Taxi and Limousine Commission Trip Record data, formalize their performance requirements using QTWTL, and monitor them using the proposed algorithms. The obtained results show that the monitoring algorithm has a linear space and time complexity with respect to the number of traces monitored.

翻译：在各种面向服务的应用中，例如分布式自主配送、医疗、旅游、交通等场景，服务主体需要执行一系列有时限的任务以实现其目标，服务质量必须持续得到保障。除了安全性要求外，这些主体还需满足性能要求以达成其服务质量。本文通过向传统时间窗口时序逻辑（TWTL）扩展两个算子（分别用于计数与聚合操作），提出了一种新颖的质量感知时间窗口时序逻辑（QTWTL）。我们还针对QTWTL规约的性能监测提出了离线运行时监测算法。为分析所提方法的可行性与效率，我们利用纽约市出租车与礼车委员会行程记录数据生成大量轨迹，使用QTWTL形式化描述其性能要求，并运用所提算法进行监测。结果表明，该监测算法在空间和时间复杂度上均与被监测轨迹数量呈线性关系。