WEKO3
アイテム
{"_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": ["19"]}, "author_link": ["0", "0", "0"], "item_1_biblio_info_21": {"attribute_name": "書誌情報(ソート用)", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2009-09-30", "bibliographicIssueDateType": "Issued"}, "bibliographic_titles": [{}]}]}, "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_1": {"attribute_name": "ID", "attribute_value_mlt": [{"subitem_description": "2009522", "subitem_description_type": "Other"}]}, "item_1_description_12": {"attribute_name": "要旨", "attribute_value_mlt": [{"subitem_description": " CONTEXT-AWARE COMPUTING refers to the idea that computing devices can sense\u003cbr /\u003eand react to the physical environment where they are deployed. For example,\u003cbr /\u003ea context-aware corporate office would intelligently respond to peoples locations and\u003cbr /\u003eactivities by self-adjusting its lighting and temperature automatically, thus reducing\u003cbr /\u003eits energy footprint.\u003cbr /\u003e Context-aware systems model the real world by using increasingly complex and\u003cbr /\u003erefined contextual-data representations. As a result, their design and management raise\u003cbr /\u003eseveral challenges. An important and somewhat unexplored one is to guarantee that\u003cbr /\u003econtext-aware systems correctly capture the intent of their designers once deployed. For\u003cbr /\u003eexample, we might want to assure that the energy conservation of the aforementioned\u003cbr /\u003ecorporate office is actually preserved.\u003cbr /\u003e We propose in this thesis a query processing and specification framework that alle-\u003cbr /\u003eviates designing and building context-aware systems. It guarantees the management of\u003cbr /\u003econtextual information, and can be used for specifying the underlying rules of context-\u003cbr /\u003eaware systems. Our approach encourages a high-level of abstraction for retrieving\u003cbr /\u003econtextual information in a robust manner, and supports building \"provably-correct\"\u003cbr /\u003econtext-aware systems incrementally, by providing modularity and separation of con-\u003cbr /\u003ecerns.\u003cbr /\u003e The proposed approach aims at complementing existing context-aware service\u003cbr /\u003ewherein contextual information about the physical and computational environment\u003cbr /\u003e- information about people, objects, and services - is modeled in a symbolic fashion,\u003cbr /\u003eand is independent of any particular sensing technology. In current pervasive com-\u003cbr /\u003eputing plateform, contextual information and their underlying models are queried an\u003cbr /\u003ead-hoc manner. Which makes it impossible to guarantee the quality of the results\u003cbr /\u003ebeing returned, and hence the reliability of context-aware services.\u003cbr /\u003e The main idea behind our framework is to apply and adapt the principles of model \u003cbr /\u003echecking to query the contextual data structures. Because such query mechanisms have\u003cbr /\u003eto be sound, our approach is build upon a logic-based query language. We therefore\u003cbr /\u003eensure that the results of any query (i) do not miss any information that satisfy its\u003cbr /\u003enecessary and sufficient conditions and (ii) ,do not contain any information that does\u003cbr /\u003enot satisfy the conditions. We describe the implementation of our framework and\u003cbr /\u003ediscuss 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_16": {"attribute_name": "複写", "attribute_value_mlt": [{"subitem_select_item": "印刷物から複写可"}]}, "item_1_select_17": {"attribute_name": "公開状況", "attribute_value_mlt": [{"subitem_select_item": "application/pdf"}]}, "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", "download_preview_message": "", "file_order": 0, "filename": "甲1287_要旨.pdf", "filesize": [{"value": "293.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 293800.0, "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", "download_preview_message": "", "file_order": 1, "filename": "甲1287_本文.pdf", "filesize": [{"value": "2.9 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_11", "mimetype": "application/pdf", "size": 2900000.0, "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"], "permalink_uri": "https://ir.soken.ac.jp/records/1502", "pubdate": {"attribute_name": "公開日", "attribute_value": "2010-06-09"}, "publish_date": "2010-06-09", "publish_status": "0", "recid": "1502", "relation": {}, "relation_version_is_last": true, "title": ["A Model Checking based Framework for Context-Aware Systems"], "weko_shared_id": -1}
A Model Checking based Framework for Context-Aware Systems
https://ir.soken.ac.jp/records/1502
https://ir.soken.ac.jp/records/15021080b5d3-a092-4cf7-a023-3a0c10a44b18
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
||
![]() |
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2010-06-09 | |||||
タイトル | ||||||
タイトル | A Model Checking based Framework for Context-Aware Systems | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | A Model Checking based Framework for Context-Aware Systems | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_46ec | |||||
資源タイプ | thesis | |||||
著者名 |
HOAREAU, Christian
× HOAREAU, Christian |
|||||
フリガナ |
ワロ, クリスチャン
× ワロ, クリスチャン |
|||||
著者 |
HOAREAU, Christian
× HOAREAU, Christian |
|||||
学位授与機関 | ||||||
学位授与機関名 | 総合研究大学院大学 | |||||
学位名 | ||||||
学位名 | 博士(情報学) | |||||
学位記番号 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 総研大甲第1287号 | |||||
研究科 | ||||||
値 | 複合科学研究科 | |||||
専攻 | ||||||
値 | 17 情報学専攻 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 2009-09-30 | |||||
学位授与年度 | ||||||
2009 | ||||||
要旨 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 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. | |||||
所蔵 | ||||||
値 | 有 |