@inbook{c4f9cf78227142068958ffddb0d6d07c,
title = "A formal approach to modelling and verifying resource-bounded context-aware agents",
abstract = "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.",
author = "A. Rakib and R.U. Faruqui",
year = "2013",
doi = "10.1007/978-3-642-36642-0_9",
language = "English",
isbn = "978-3-642-36641-3",
series = "Lecture Notes of the Institute for Computer Sciences",
publisher = "Springer ",
pages = "86--96",
editor = "Vinh, {Phan Cong } and Hung, { Nguyen Manh } and Tung, {Nguyen Thanh } and Suzuki, {Junichi }",
booktitle = "Context-Aware Systems and Applications",
address = "Germany",
edition = "1",
note = "International Conference on Context-Aware Systems and Applications, ICCASA 2012 ; Conference date: 26-11-2012 Through 27-11-2012",
}