Pervasive computing systems work within, and rely on, a model of the environment they operate in. In this respect, pervasive computing systems differ from other distributed and mobile computing systems, and require new verification methods. A range of methods and tools exist for verifying distributed and mobile concurrent systems, and for checking consistency of ontology-based context models. As a tool for verifying current pervasive computing systems both are not optimal, since the former cover mainly tree-based location models, whereas the latter are not able to address the dynamic aspects of computing systems. We propose to formally describe pervasive computing systems as distributed concurrent systems operating on the background of a mereotopological context model. © Springer-Verlag Berlin Heidelberg 2009.
CITATION STYLE
Schmidtke, H. R., & Woo, W. (2009). Towards ontology-based formal verification methods for context aware systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5538 LNCS, pp. 309–326). https://doi.org/10.1007/978-3-642-01516-8_21
Mendeley helps you to discover research relevant for your work.