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

Milan Markovic; Daniel Garijo; Peter Edwards; Wamberto Vasconcelos

doi:10.1109/IOTSMS48152.2019.8939260

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

Milan Markovic
, Daniel Garijo
, Peter Edwards
, Wamberto Vasconcelos

University of Southern California

Research output: Chapter in Book/Report/Conference proceeding › Published conference contribution

11 Citations (Scopus)

19 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 language	English
Title of host publication	Proceedings of the 6th IEEE International Conference on Internet of Things
Subtitle of host publication	Systems, Management and Security
Publisher	IEEE Explore
Pages	110-115
Number of pages	6
ISBN (Electronic)	978-1-7281-2949-5
ISBN (Print)	978-1-7281-2950-1
DOIs	https://doi.org/10.1109/IOTSMS48152.2019.8939260
Publication status	Published - 23 Dec 2019
Event	The 6th IEEE International Conference on Internet of Things 2019: Systems, Management and Security 2019 - Granada, Spain Duration: 22 Oct 2019 → 25 Oct 2019 Conference number: 6th https://ieeexplore.ieee.org/xpl/conhome/8924808/proceeding

Conference

Conference	The 6th IEEE International Conference on Internet of Things 2019
Abbreviated title	(IOTSMS 2019)
Country/Territory	Spain
City	Granada
Period	22/10/19 → 25/10/19
Internet address	https://ieeexplore.ieee.org/xpl/conhome/8924808/proceeding

Bibliographical 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.

Access to Document

10.1109/IOTSMS48152.2019.8939260Licence: Unspecified

Semantic_Modelling_of_Plans_and_Execution_Traces_of_IoT_Systems-_AAM
© Copyright 2019 IEEE. This is the author's accepted manuscript of an article published in [INSERT CITATION].
Accepted author manuscript, 425 KBLicence: Unspecified

Cite this

Semantic Modelling of Plans and Execution Traces for Enhancing Transparency of IoT Systems. / Markovic, Milan; Garijo, Daniel; Edwards, Peter et al.
Proceedings of the 6th IEEE International Conference on Internet of Things: Systems, Management and Security . IEEE Explore, 2019. p. 110-115.

Research output: Chapter in Book/Report/Conference proceeding › Published conference 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, pp. 110-115, The 6th IEEE International Conference on Internet of Things 2019, Granada, Spain, 22/10/19. https://doi.org/10.1109/IOTSMS48152.2019.8939260

@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{\textquoteright}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{\textquoteright}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.",

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.; The 6th IEEE International Conference on Internet of Things 2019 : Systems, Management and Security 2019, (IOTSMS 2019) ; Conference date: 22-10-2019 Through 25-10-2019",

year = "2019",

month = dec,

day = "23",

doi = "10.1109/IOTSMS48152.2019.8939260",

language = "English",

isbn = "978-1-7281-2950-1",

pages = "110--115",

booktitle = "Proceedings of the 6th IEEE International Conference on Internet of Things",

publisher = "IEEE Explore",

url = "https://ieeexplore.ieee.org/xpl/conhome/8924808/proceeding",

}

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 - Conference code: 6th

PY - 2019/12/23

Y1 - 2019/12/23

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 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.

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 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.

U2 - 10.1109/IOTSMS48152.2019.8939260

DO - 10.1109/IOTSMS48152.2019.8939260

M3 - Published conference contribution

SN - 978-1-7281-2950-1

SP - 110

EP - 115

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

PB - IEEE Explore

T2 - The 6th IEEE International Conference on Internet of Things 2019

Y2 - 22 October 2019 through 25 October 2019

ER -

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

Abstract

Conference

Bibliographical note

Access to Document

Fingerprint

Cite this