WEKO3
アイテム
{"_buckets": {"deposit": "bb5dbe64-cbe6-4db0-9881-70bc2a94f529"}, "_deposit": {"created_by": 4, "id": "5154", "owners": [4], "pid": {"revision_id": 0, "type": "depid", "value": "5154"}, "status": "published"}, "_oai": {"id": "oai:naist.repo.nii.ac.jp:00005154", "sets": ["36"]}, "author_link": ["13779", "13780", "13781", "13782"], "item_1698715929687": {"attribute_name": "会議情報", "attribute_value_mlt": [{"subitem_conference_country": "IND", "subitem_conference_date": {"subitem_conference_date_language": "en", "subitem_conference_period": "6-8 Dec. 2006,"}, "subitem_conference_names": [{"subitem_conference_name": "APSEC\u002706 : 2006 13th Asia Pacific Software Engineering Conference", "subitem_conference_name_language": "en"}], "subitem_conference_places": [{"subitem_conference_place": "Kanpur", "subitem_conference_place_language": "en"}]}]}, "item_9_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2006", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "52", "bibliographicPageStart": "45"}]}, "item_9_description_5": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the integrated HNS services requires implementation of the appliance components (with APIs) and the services, according to each home-network environment. There are various implementation standards such as DLNA, ECHONET, OSGi and Jinifor the HNS applications. Therefore, even if a developer can choose the optimal one, it\u0027s very difficult to develop the integrated services by composing a new HNS implementation. In this paper, we propose a model-driven development of integrated HNS service applications. In our former manuscript, platform-independent design language for verifying HNS service scenarios was proposed. Our model-driven development method uses this design language as a meta-model of integrated HNS services. By model transformation to concrete implementation together with verification by SMV (symbolic model checking), productivity and quality of this kind of HNS applications are improved.", "subitem_description_type": "Abstract"}]}, "item_9_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "IEEE"}]}, "item_9_relation_11": {"attribute_name": "ISBN", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "0769526853", "subitem_relation_type_select": "ISBN"}}]}, "item_9_relation_13": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.1109/APSEC.2006.17", "subitem_relation_type_select": "DOI"}}]}, "item_9_rights_14": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "c Copyright IEEE 2006"}]}, "item_9_source_id_10": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1530-1362", "subitem_source_identifier_type": "ISSN"}]}, "item_9_text_21": {"attribute_name": "NAIST ID", "attribute_value_mlt": [{"subitem_text_value": "73292310"}]}, "item_9_version_type_16": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_ab4af688f83e57aa", "subitem_version_type": "AM"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Igaki, Hiroshi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "13779", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Nakamura, Masahide", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "13780", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Matsumoto, Ken-ichi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "13781", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Aoyama, Mikio", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "13782", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2023-03-02"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "10061_12761.pdf", "filesize": [{"value": "387.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 387500.0, "url": {"label": "fulltext", "objectType": "fulltext", "url": "https://naist.repo.nii.ac.jp/record/5154/files/10061_12761.pdf"}, "version_id": "61e7b6c8-3d03-483b-9ed7-78acf9a50134"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "application program interfaces", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "domestic appliances", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "home automation", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "home computing", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "IntServ networks", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "model-driven development", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "integrated services", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "home appliances", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "home network system", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "API", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "SMV", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "symbolic model checking", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Intserv networks", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Home appliances", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Home automation", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Application software", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Productivity", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "DVD", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Concrete", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "TV", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Protocols", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Maintenance", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "conference paper", "resourceuri": "http://purl.org/coar/resource_type/c_5794"}]}, "item_title": "Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems", "subitem_title_language": "en"}]}, "item_type_id": "9", "owner": "4", "path": ["36"], "permalink_uri": "http://hdl.handle.net/10061/12761", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2018-10-30"}, "publish_date": "2018-10-30", "publish_status": "0", "recid": "5154", "relation": {}, "relation_version_is_last": true, "title": ["Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems"], "weko_shared_id": -1}
Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems
http://hdl.handle.net/10061/12761
http://hdl.handle.net/10061/127612358eeb9-eb02-48a1-b27f-f186bd43c680
名前 / ファイル | ライセンス | アクション |
---|---|---|
fulltext (387.5 kB)
|
|
Item type | 会議発表論文 / Conference Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2018-10-30 | |||||
タイトル | ||||||
タイトル | Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | application program interfaces | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | domestic appliances | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | home automation | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | home computing | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | IntServ networks | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | model-driven development | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | integrated services | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | home appliances | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | home network system | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | API | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | SMV | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | symbolic model checking | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Intserv networks | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Home appliances | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Home automation | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Application software | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Productivity | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | DVD | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Concrete | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | TV | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Protocols | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Maintenance | |||||
資源タイプ | ||||||
資源タイプ | conference paper | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
著者 |
Igaki, Hiroshi
× Igaki, Hiroshi× Nakamura, Masahide× Matsumoto, Ken-ichi× Aoyama, Mikio |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the integrated HNS services requires implementation of the appliance components (with APIs) and the services, according to each home-network environment. There are various implementation standards such as DLNA, ECHONET, OSGi and Jinifor the HNS applications. Therefore, even if a developer can choose the optimal one, it's very difficult to develop the integrated services by composing a new HNS implementation. In this paper, we propose a model-driven development of integrated HNS service applications. In our former manuscript, platform-independent design language for verifying HNS service scenarios was proposed. Our model-driven development method uses this design language as a meta-model of integrated HNS services. By model transformation to concrete implementation together with verification by SMV (symbolic model checking), productivity and quality of this kind of HNS applications are improved. | |||||
書誌情報 |
p. 45-52, 発行日 2006 |
|||||
会議情報 | ||||||
会議名 | APSEC'06 : 2006 13th Asia Pacific Software Engineering Conference | |||||
開催期間 | 6-8 Dec. 2006, | |||||
開催地 | Kanpur | |||||
開催国 | IND | |||||
出版者 | ||||||
出版者 | IEEE | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 1530-1362 | |||||
ISBN | ||||||
識別子タイプ | ISBN | |||||
関連識別子 | 0769526853 | |||||
DOI | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | DOI | |||||
関連識別子 | https://doi.org/10.1109/APSEC.2006.17 | |||||
権利 | ||||||
権利情報 | c Copyright IEEE 2006 | |||||
著者版フラグ | ||||||
出版タイプ | AM |