Towards Ontology-Based Formal Verification Methods for Context Aware Systems
Towards Ontology-Based Formal Verification Methods for Context Aware Systems
复制标题
DOI：
10.1007/978-3-642-01516-8_21
复制
发表时间：
2009-05
期刊：
影响因子：
--
通讯作者：
H. Schmidtke;Woontack Woo
中科院分区：
文献类型：
--
作者：
H. Schmidtke;Woontack Woo
普适计算系统在它们所操作的环境的模型内工作并且依赖于该模型。在这方面，普适计算系统与其他分布式和移动的计算系统不同，需要新的验证方法。存在用于验证分布式和移动的并发系统以及用于检查基于本体的上下文模型的一致性的一系列方法和工具。作为验证当前普适计算系统的工具，两者都不是最佳的，因为前者主要覆盖基于树的位置模型，而后者不能解决计算系统的动态方面。我们建议正式描述普适计算系统的分布式并发系统的背景下，mereotopological上下文模型。
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.