Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems
Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems
复制标题
用于增强物联网系统透明度的计划和执行跟踪的语义建模
DOI：
10.1109/iotsms48152.2019.8939260
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
W. Vasconcelos
中科院分区：
文献类型：
--
作者：
Milan Markovic;D. Garijo;P. Edwards;W. Vasconcelos
物联网系统的透明度是增强用户对物联网系统信任的基本要求。记录物联网系统执行的来源机制通常被认为是这种透明度的推动者。然而，来源记录通常缺乏对系统预期行为的详细描述。计划规范描述了人类或自动化系统实现某个目标所需的步骤。一旦计划达到一定程度的复杂性，它们通常被分解为不同的抽象级别。然而，这种分解使得将高级抽象计划与其粒度执行轨迹联系起来变得困难。本文介绍了EP-Plan，这是一个用于将计划的不同粒度级别与其各自的来源跟踪联系起来的词汇表。EP-Plan还提供了描述计划元数据的方法，如约束、策略、基本原理和与计划相关的预期参与代理。
Transparency of IoT systems is an essential requirement for enhancing user’s trust towards such systems. Provenance mechanisms documenting the execution of IoT systems are often cited as an enabler of such transparency. However, provenance records often lack detailed descriptions of a system’s expected behaviour. Plan specifications describe the steps needed to achieve a certain goal by a human or an automated system. Once plans reach a certain level of complexity, they are typically decomposed in different levels of abstraction. However, this decomposition makes it difficult to relate high level abstract plans to their granular execution traces. This paper introduces EP-Plan, a vocabulary for linking the different levels of granularity of a plan with their respective provenance traces. EP-Plan also provides the means to describe plan metadata such as constraints, policies, rationales, and expected participating agents associated with a plan.