{"created":"2023-06-20T13:21:19.994997+00:00","id":1502,"links":{},"metadata":{"_buckets":{"deposit":"c11774c7-6a79-4de7-b6e4-68ffe718c4a8"},"_deposit":{"created_by":21,"id":"1502","owners":[21],"pid":{"revision_id":0,"type":"depid","value":"1502"},"status":"published"},"_oai":{"id":"oai:ir.soken.ac.jp:00001502","sets":["2:429:19"]},"author_link":["0","0","0"],"item_1_creator_2":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"HOAREAU, Christian"}],"nameIdentifiers":[{"nameIdentifier":"0","nameIdentifierScheme":"WEKO"}]}]},"item_1_creator_3":{"attribute_name":"フリガナ","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"ワロ, クリスチャン"}],"nameIdentifiers":[{"nameIdentifier":"0","nameIdentifierScheme":"WEKO"}]}]},"item_1_date_granted_11":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2009-09-30"}]},"item_1_degree_grantor_5":{"attribute_name":"学位授与機関","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"総合研究大学院大学"}]}]},"item_1_degree_name_6":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（情報学）"}]},"item_1_description_12":{"attribute_name":"要旨","attribute_value_mlt":[{"subitem_description":"　　CONTEXT-AWARE COMPUTING refers to the idea that computing devices can sense<br />and react to the physical environment where they are deployed. For example,<br />a context-aware corporate office would intelligently respond to peoples locations and<br />activities by self-adjusting its lighting and temperature automatically, thus reducing<br />its energy footprint.<br />　　Context-aware systems model the real world by using increasingly complex and<br />refined contextual-data representations. As a result, their design and management raise<br />several challenges. An important and somewhat unexplored one is to guarantee that<br />context-aware systems correctly capture the intent of their designers once deployed. For<br />example, we might want to assure that the energy conservation of the aforementioned<br />corporate office is actually preserved.<br />　　We propose in this thesis a query processing and specification framework that alle-<br />viates designing and building context-aware systems. It guarantees the management of<br />contextual information, and can be used for specifying the underlying rules of context-<br />aware systems. Our approach encourages a high-level of abstraction for retrieving<br />contextual information in a robust manner, and supports building \"provably-correct\"<br />context-aware systems incrementally, by providing modularity and separation of con-<br />cerns.<br />　　The proposed approach aims at complementing existing context-aware service<br />wherein contextual information about the physical and computational environment<br />- information about people, objects, and services － is modeled in a symbolic fashion,<br />and is independent of any particular sensing technology. In current pervasive com-<br />puting plateform, contextual information and their underlying models are queried an<br />ad-hoc manner. Which makes it impossible to guarantee the quality of the results<br />being returned, and hence the reliability of context-aware services.<br />　　The main idea behind our framework is to apply and adapt the principles of model <br />checking to query the contextual data structures. Because such query mechanisms have<br />to be sound, our approach is build upon a logic-based query language. We therefore<br />ensure that the results of any query (i) do not miss any information that satisfy its<br />necessary and sufficient conditions and (ii) ,do not contain any information that does<br />not satisfy the conditions. We describe the implementation of our framework and<br />discuss its applicability to existing graph-based contextual models.","subitem_description_type":"Other"}]},"item_1_description_7":{"attribute_name":"学位記番号","attribute_value_mlt":[{"subitem_description":"総研大甲第1287号","subitem_description_type":"Other"}]},"item_1_select_14":{"attribute_name":"所蔵","attribute_value_mlt":[{"subitem_select_item":"有"}]},"item_1_select_8":{"attribute_name":"研究科","attribute_value_mlt":[{"subitem_select_item":"複合科学研究科"}]},"item_1_select_9":{"attribute_name":"専攻","attribute_value_mlt":[{"subitem_select_item":"17 情報学専攻"}]},"item_1_text_10":{"attribute_name":"学位授与年度","attribute_value_mlt":[{"subitem_text_value":"2009"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"HOAREAU, Christian","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"0","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-02-17"}],"displaytype":"simple","filename":"甲1287_要旨.pdf","filesize":[{"value":"293.8 kB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"要旨・審査要旨","url":"https://ir.soken.ac.jp/record/1502/files/甲1287_要旨.pdf"},"version_id":"8dbab0e2-0111-447d-a9b2-2687a72d319e"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2016-02-17"}],"displaytype":"simple","filename":"甲1287_本文.pdf","filesize":[{"value":"2.9 MB"}],"format":"application/pdf","licensetype":"license_11","mimetype":"application/pdf","url":{"label":"本文","url":"https://ir.soken.ac.jp/record/1502/files/甲1287_本文.pdf"},"version_id":"8a46ec5f-5c79-488a-bfe7-8eeb076990bb"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"A Model Checking based Framework for Context-Aware Systems","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"A Model Checking based Framework for Context-Aware Systems"},{"subitem_title":"A Model Checking based Framework for Context-Aware Systems","subitem_title_language":"en"}]},"item_type_id":"1","owner":"21","path":["19"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-06-09"},"publish_date":"2010-06-09","publish_status":"0","recid":"1502","relation_version_is_last":true,"title":["A Model Checking based Framework for Context-Aware Systems"],"weko_creator_id":"21","weko_shared_id":-1},"updated":"2023-06-20T15:58:05.430981+00:00"}