Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things. González, L., Cubo, J., Brogi, A., Pimentel, E., & Ruggia, R. 2013 2013.
Paper abstract bibtex The new Internet is evolving into the vision of the Internet of Things, where physical world entities are integrated into virtual world things. Things are expected to become active participants in business, information and social processes. Then, the Internet of Things could benefit from the Web Service ar-chitecture like today\textquoterights Web does; so Future service-oriented Internet things will offer their functionality via service-enabled interfaces. As demonstrated in pre-vious work, there is a need of considering the behaviour of things to develop applications in a more rigorous way. We proposed a lightweight model for rep-resenting such behaviour based on the service-oriented paradigm and extending the standard DPWS profile to specify the (partial) order with which things can receive messages. To check whether a mashup of things respects the behaviour, specified at design-time, of composed things, we proposed a static verification. However, at run-time a thing may change its behaviour or receive requests from instances of different mashups. Then, it is required to check and detect dynami-cally possible invalid invocations provoked by the behaviour\textquoterights changes. In this work, we extend our static verification with an approach based on mediation techniques and complex event processing to detect and inhibit invalid invocations, checking that things only receive requests compatible with their behaviour. The solution automatically generates the required elements to perform run-time validation of invocations, and it may be extended to validate other issues. Here, we have also dealt with quality of service and temporal restrictions.
@conference {8635,
title = {Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things},
booktitle = {3rd International Workshop on Adaptive Services for the Future Internet},
series = {Advances in Service-Oriented and Cloud Computing},
year = {2013},
month = {2013},
publisher = {Springer Berlin Heidelberg},
organization = {Springer Berlin Heidelberg},
address = {Malaga, Spain},
abstract = {The new Internet is evolving into the vision of the Internet of Things, where physical world entities are integrated into virtual world things. Things are expected to become active participants in business, information and social processes. Then, the Internet of Things could benefit from the Web Service ar-chitecture like today{\textquoteright}s Web does; so Future service-oriented Internet things will offer their functionality via service-enabled interfaces. As demonstrated in pre-vious work, there is a need of considering the behaviour of things to develop applications in a more rigorous way. We proposed a lightweight model for rep-resenting such behaviour based on the service-oriented paradigm and extending the standard DPWS profile to specify the (partial) order with which things can receive messages. To check whether a mashup of things respects the behaviour, specified at design-time, of composed things, we proposed a static verification. However, at run-time a thing may change its behaviour or receive requests from instances of different mashups. Then, it is required to check and detect dynami-cally possible invalid invocations provoked by the behaviour{\textquoteright}s changes. In this work, we extend our static verification with an approach based on mediation techniques and complex event processing to detect and inhibit invalid invocations, checking that things only receive requests compatible with their behaviour. The solution automatically generates the required elements to perform run-time validation of invocations, and it may be extended to validate other issues. Here, we have also dealt with quality of service and temporal restrictions.},
keywords = {behaviour, complex event processing, composition, internet of things, mashup, mediation patterns, run-time verification, thing as a service},
isbn = {978-3-642-45363-2},
url = {http://link.springer.com/chapter/10.1007\%2F978-3-642-45364-9_26},
author = {Laura Gonz{\'a}lez and Cubo, Javier and Brogi, Antonio and Pimentel, Ernesto and Ra{\'u}l Ruggia},
editor = {Carlos Canal and Massimo Villari}
}
Downloads: 0
{"_id":"tPGyvvoHydcxhApbh","bibbaseid":"gonzlez-cubo-brogi-pimentel-ruggia-runtimeverificationofbehaviourawaremashupsintheinternetofthings-2013","downloads":0,"creationDate":"2017-11-14T02:09:30.522Z","title":"Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things","author_short":["González, L.","Cubo, J.","Brogi, A.","Pimentel, E.","Ruggia, R."],"year":2013,"bibtype":"conference","biburl":"https://www.fing.edu.uy/~mscalone/Biblio-Bibtex.bib","bibdata":{"bibtype":"conference","type":"conference","title":"Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things","booktitle":"3rd International Workshop on Adaptive Services for the Future Internet","series":"Advances in Service-Oriented and Cloud Computing","year":"2013","month":"2013","publisher":"Springer Berlin Heidelberg","organization":"Springer Berlin Heidelberg","address":"Malaga, Spain","abstract":"The new Internet is evolving into the vision of the Internet of Things, where physical world entities are integrated into virtual world things. Things are expected to become active participants in business, information and social processes. Then, the Internet of Things could benefit from the Web Service ar-chitecture like today\\textquoterights Web does; so Future service-oriented Internet things will offer their functionality via service-enabled interfaces. As demonstrated in pre-vious work, there is a need of considering the behaviour of things to develop applications in a more rigorous way. We proposed a lightweight model for rep-resenting such behaviour based on the service-oriented paradigm and extending the standard DPWS profile to specify the (partial) order with which things can receive messages. To check whether a mashup of things respects the behaviour, specified at design-time, of composed things, we proposed a static verification. However, at run-time a thing may change its behaviour or receive requests from instances of different mashups. Then, it is required to check and detect dynami-cally possible invalid invocations provoked by the behaviour\\textquoterights changes. In this work, we extend our static verification with an approach based on mediation techniques and complex event processing to detect and inhibit invalid invocations, checking that things only receive requests compatible with their behaviour. The solution automatically generates the required elements to perform run-time validation of invocations, and it may be extended to validate other issues. Here, we have also dealt with quality of service and temporal restrictions.","keywords":"behaviour, complex event processing, composition, internet of things, mashup, mediation patterns, run-time verification, thing as a service","isbn":"978-3-642-45363-2","url":"http://link.springer.com/chapter/10.1007%2F978-3-642-45364-9_26","author":[{"firstnames":["Laura"],"propositions":[],"lastnames":["González"],"suffixes":[]},{"propositions":[],"lastnames":["Cubo"],"firstnames":["Javier"],"suffixes":[]},{"propositions":[],"lastnames":["Brogi"],"firstnames":["Antonio"],"suffixes":[]},{"propositions":[],"lastnames":["Pimentel"],"firstnames":["Ernesto"],"suffixes":[]},{"firstnames":["Raúl"],"propositions":[],"lastnames":["Ruggia"],"suffixes":[]}],"editor":[{"firstnames":["Carlos"],"propositions":[],"lastnames":["Canal"],"suffixes":[]},{"firstnames":["Massimo"],"propositions":[],"lastnames":["Villari"],"suffixes":[]}],"bibtex":"@conference {8635,\n\ttitle = {Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things},\n\tbooktitle = {3rd International Workshop on Adaptive Services for the Future Internet},\n\tseries = {Advances in Service-Oriented and Cloud Computing},\n\tyear = {2013},\n\tmonth = {2013},\n\tpublisher = {Springer Berlin Heidelberg},\n\torganization = {Springer Berlin Heidelberg},\n\taddress = {Malaga, Spain},\n\tabstract = {The new Internet is evolving into the vision of the Internet of Things, where physical world entities are integrated into virtual world things. Things are expected to become active participants in business, information and social processes. Then, the Internet of Things could benefit from the Web Service ar-chitecture like today{\\textquoteright}s Web does; so Future service-oriented Internet things will offer their functionality via service-enabled interfaces. As demonstrated in pre-vious work, there is a need of considering the behaviour of things to develop applications in a more rigorous way. We proposed a lightweight model for rep-resenting such behaviour based on the service-oriented paradigm and extending the standard DPWS profile to specify the (partial) order with which things can receive messages. To check whether a mashup of things respects the behaviour, specified at design-time, of composed things, we proposed a static verification. However, at run-time a thing may change its behaviour or receive requests from instances of different mashups. Then, it is required to check and detect dynami-cally possible invalid invocations provoked by the behaviour{\\textquoteright}s changes. In this work, we extend our static verification with an approach based on mediation techniques and complex event processing to detect and inhibit invalid invocations, checking that things only receive requests compatible with their behaviour. The solution automatically generates the required elements to perform run-time validation of invocations, and it may be extended to validate other issues. Here, we have also dealt with quality of service and temporal restrictions.},\n\tkeywords = {behaviour, complex event processing, composition, internet of things, mashup, mediation patterns, run-time verification, thing as a service},\n\tisbn = {978-3-642-45363-2},\n\turl = {http://link.springer.com/chapter/10.1007\\%2F978-3-642-45364-9_26},\n\tauthor = {Laura Gonz{\\'a}lez and Cubo, Javier and Brogi, Antonio and Pimentel, Ernesto and Ra{\\'u}l Ruggia},\n\teditor = {Carlos Canal and Massimo Villari}\n}\n","author_short":["González, L.","Cubo, J.","Brogi, A.","Pimentel, E.","Ruggia, R."],"editor_short":["Canal, C.","Villari, M."],"key":"8635","id":"8635","bibbaseid":"gonzlez-cubo-brogi-pimentel-ruggia-runtimeverificationofbehaviourawaremashupsintheinternetofthings-2013","role":"author","urls":{"Paper":"http://link.springer.com/chapter/10.1007%2F978-3-642-45364-9_26"},"keyword":["behaviour","complex event processing","composition","internet of things","mashup","mediation patterns","run-time verification","thing as a service"],"downloads":0},"search_terms":["run","time","verification","behaviour","aware","mashups","internet","things","gonzález","cubo","brogi","pimentel","ruggia"],"keywords":["behaviour","complex event processing","composition","internet of things","mashup","mediation patterns","run-time verification","thing as a service"],"authorIDs":[],"dataSources":["huj7WmEoKzoYMwcB9"]}