Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
Rokan Uddin Faruqui
Phan Cong Vinh
Editor
Nguyen Manh Hung
Editor
Nguyen Thanh Tung
Editor
Junichi Suzuki
Editor
There has been a move of context-aware systems into safety-critical domains including healthcare, emergency scenarios, and disaster recovery. These systems are often distributed and deployed on resource-bounded devices. Therefore, developing formal techniques for modelling and designing context-aware systems, verifying requirements and ensuring functional correctness are major challenges. We present a framework for the formal representation and verification of resource-bounded context-aware systems. We give ontological representation of contexts, translate ontologies to a set of Horn clause rules, based on these rules we build multi-agent context-aware systems and encode them into Maude specification, we then verify interesting properties of such systems using the Maude LTL model checker. © 2013 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering.
Presentation Conference Type | Conference Paper (published) |
---|---|
Publication Date | Mar 14, 2013 |
Deposit Date | Jun 16, 2017 |
Journal | Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering |
Print ISSN | 1867-8211 |
Publisher | Springer Verlag (Germany) |
Peer Reviewed | Peer Reviewed |
Volume | 109 LNICST |
Pages | 86-96 |
Book Title | Context-Aware Systems and Applications |
ISBN | 9783642366413 |
DOI | https://doi.org/10.1007/978-3-642-36642-0_9 |
Keywords | pervasive computing, context-awareness, multi-agent systems, ontology, model checking |
Public URL | https://uwe-repository.worktribe.com/output/939949 |
Publisher URL | http://dx.doi.org/10.1007/978-3-642-36642-0_9 |
Related Public URLs | https://link.springer.com/chapter/10.1007/978-3-642-36642-0_9 |
Contract Date | Jun 16, 2017 |
A logic for context-aware non-monotonic reasoning agents
(2014)
Presentation / Conference Contribution
Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment
(2014)
Presentation / Conference Contribution
MyGeo-Explorer: A semantic search tool for querying geospatial information
(2015)
Journal Article
Modeling and verifying context-aware non-monotonic reasoning agents
(2015)
Presentation / Conference Contribution
A temporal description logic for resource-bounded rule-based context-aware agents
(2014)
Presentation / Conference Contribution
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search