Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things
Context-aware smart things are capable of computational behaviour based on sensing the physical world, inferring context from the sensed data, and acting on the sensed context. A collection of such things can form what we call a thing-ensemble, when they have the ability to communicate with one anot...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
European Alliance for Innovation (EAI)
2016-03-01
|
| Series: | EAI Endorsed Transactions on Context-aware Systems and Applications |
| Subjects: | |
| Online Access: | http://eudl.eu/doi/10.4108/eai.9-3-2016.151113 |
| _version_ | 1818305285564923904 |
|---|---|
| author | S. W. Loke |
| author_facet | S. W. Loke |
| author_sort | S. W. Loke |
| collection | DOAJ |
| description | Context-aware smart things are capable of computational behaviour based on sensing the physical world, inferring context from the sensed data, and acting on the sensed context. A collection of such things can form what we call a thing-ensemble, when they have the ability to communicate with one another (over a short range network such as Bluetooth, or the Internet, i.e. the Internet of Things (IoT) concept), sense each other, and when each of them might play certain roles with respect to each other. Each smart thing in a thing-ensemble might have its own context-aware behaviours which when integrated with other smart things yield behaviours that are not straightforward to reason with. We present Sigma, a language of operators, inspired from modular logic programming, for specifying and reasoning with combined behaviours among smart things in a thing-ensemble. We show numerous examples of the use of Sigma for describing a range of behaviours over a diverse range of thing-ensembles, from sensor networks to smart digital frames, demonstrating the versatility of our approach. We contend that our operator approach abstracts away low-level communication and protocol details, and allows systems of context-aware things to be designed and built in a compositional and incremental manner. |
| first_indexed | 2024-12-13T06:24:10Z |
| format | Article |
| id | doaj.art-431f80ad6a5e45c0abed669ffd0bf928 |
| institution | Directory Open Access Journal |
| issn | 2409-0026 |
| language | English |
| last_indexed | 2024-12-13T06:24:10Z |
| publishDate | 2016-03-01 |
| publisher | European Alliance for Innovation (EAI) |
| record_format | Article |
| series | EAI Endorsed Transactions on Context-aware Systems and Applications |
| spelling | doaj.art-431f80ad6a5e45c0abed669ffd0bf9282022-12-21T23:56:46ZengEuropean Alliance for Innovation (EAI)EAI Endorsed Transactions on Context-aware Systems and Applications2409-00262016-03-013811710.4108/eai.9-3-2016.151113Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart ThingsS. W. Loke0Department of Computer Science and Information Technology, La Trobe University, Kingsbury Drive, VIC 3086, Australia *Contact email: s.loke@latrobe.edu.auContext-aware smart things are capable of computational behaviour based on sensing the physical world, inferring context from the sensed data, and acting on the sensed context. A collection of such things can form what we call a thing-ensemble, when they have the ability to communicate with one another (over a short range network such as Bluetooth, or the Internet, i.e. the Internet of Things (IoT) concept), sense each other, and when each of them might play certain roles with respect to each other. Each smart thing in a thing-ensemble might have its own context-aware behaviours which when integrated with other smart things yield behaviours that are not straightforward to reason with. We present Sigma, a language of operators, inspired from modular logic programming, for specifying and reasoning with combined behaviours among smart things in a thing-ensemble. We show numerous examples of the use of Sigma for describing a range of behaviours over a diverse range of thing-ensembles, from sensor networks to smart digital frames, demonstrating the versatility of our approach. We contend that our operator approach abstracts away low-level communication and protocol details, and allows systems of context-aware things to be designed and built in a compositional and incremental manner.http://eudl.eu/doi/10.4108/eai.9-3-2016.151113smart artifactscontext-aware artifactsoperator languagecompositionalityInternet-of-Things (IoT) |
| spellingShingle | S. W. Loke Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things EAI Endorsed Transactions on Context-aware Systems and Applications smart artifacts context-aware artifacts operator language compositionality Internet-of-Things (IoT) |
| title | Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things |
| title_full | Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things |
| title_fullStr | Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things |
| title_full_unstemmed | Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things |
| title_short | Representing and Reasoning with the Internet of Things: a Modular Rule-Based Model for Ensembles of Context-Aware Smart Things |
| title_sort | representing and reasoning with the internet of things a modular rule based model for ensembles of context aware smart things |
| topic | smart artifacts context-aware artifacts operator language compositionality Internet-of-Things (IoT) |
| url | http://eudl.eu/doi/10.4108/eai.9-3-2016.151113 |
| work_keys_str_mv | AT swloke representingandreasoningwiththeinternetofthingsamodularrulebasedmodelforensemblesofcontextawaresmartthings |