Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Downloads (Pure)

Abstract

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 EPPlan, 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.
Original languageEnglish
Title of host publicationProceedings of the 6th IEEE International Conference on Internet of Things
Subtitle of host publicationSystems, Management and Security
PublisherIEEE Explore
Publication statusAccepted/In press - 20 Aug 2019
EventThe 6th IEEE International Conference on Internet of Things: Systems, Management and Security - Granada, Spain
Duration: 22 Oct 201925 Oct 2019

Conference

ConferenceThe 6th IEEE International Conference on Internet of Things
Abbreviated title(IOTSMS 2019)
CountrySpain
CityGranada
Period22/10/1925/10/19

Fingerprint

Transparency
Semantics
Metadata
Decomposition
Specifications
Internet of things

Cite this

Markovic, M., Garijo, D., Edwards, P., & Vasconcelos, W. (Accepted/In press). Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems. In Proceedings of the 6th IEEE International Conference on Internet of Things: Systems, Management and Security IEEE Explore.

Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems. / Markovic, Milan; Garijo, Daniel; Edwards, Peter; Vasconcelos, Wamberto.

Proceedings of the 6th IEEE International Conference on Internet of Things: Systems, Management and Security . IEEE Explore, 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Markovic, M, Garijo, D, Edwards, P & Vasconcelos, W 2019, Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems. in Proceedings of the 6th IEEE International Conference on Internet of Things: Systems, Management and Security . IEEE Explore, The 6th IEEE International Conference on Internet of Things, Granada, Spain, 22/10/19.
Markovic M, Garijo D, Edwards P, Vasconcelos W. Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems. In Proceedings of the 6th IEEE International Conference on Internet of Things: Systems, Management and Security . IEEE Explore. 2019
Markovic, Milan ; Garijo, Daniel ; Edwards, Peter ; Vasconcelos, Wamberto. / Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems. Proceedings of the 6th IEEE International Conference on Internet of Things: Systems, Management and Security . IEEE Explore, 2019.
@inproceedings{a4c023829afc462287ad4b4b36955d09,
title = "Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems",
abstract = "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 plansto their granular execution traces. This paper introduces EPPlan, 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.",
author = "Milan Markovic and Daniel Garijo and Peter Edwards and Wamberto Vasconcelos",
note = "The work described here was funded by the award made by the RCUK Digital Economy programme to the University of Aberdeen (EP/N028074/1), a SICSA PECE travel award, the Defense Advanced Research Projects Agency with award W911NF-18-1-0027, the SIMPLEX program with award W911NF-15-1-0555 and from the National Institutes of Health under awards 1U01CA196387 and 1R01GM117097.",
year = "2019",
month = "8",
day = "20",
language = "English",
booktitle = "Proceedings of the 6th IEEE International Conference on Internet of Things",
publisher = "IEEE Explore",

}

TY - GEN

T1 - Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems

AU - Markovic, Milan

AU - Garijo, Daniel

AU - Edwards, Peter

AU - Vasconcelos, Wamberto

N1 - The work described here was funded by the award made by the RCUK Digital Economy programme to the University of Aberdeen (EP/N028074/1), a SICSA PECE travel award, the Defense Advanced Research Projects Agency with award W911NF-18-1-0027, the SIMPLEX program with award W911NF-15-1-0555 and from the National Institutes of Health under awards 1U01CA196387 and 1R01GM117097.

PY - 2019/8/20

Y1 - 2019/8/20

N2 - 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 plansto their granular execution traces. This paper introduces EPPlan, 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.

AB - 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 plansto their granular execution traces. This paper introduces EPPlan, 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.

M3 - Conference contribution

BT - Proceedings of the 6th IEEE International Conference on Internet of Things

PB - IEEE Explore

ER -