Research on Feature Interactions in Ubiquitous Network

• Project/Area Number: 18700062
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Computer system/Network
• Research Institution: Kobe University (2007-2008); Nara Institute of Science and Technology (2006)
• Principal Investigator: (NAKAMURA Masahide Kobe University, 大学院・工学研究科, 准教授 (30324859)
• Project Period (FY): 2006 – 2008
• Project Status: Completed (Fiscal Year 2008)
• Budget Amount: ¥3,920,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥420,000); Fiscal Year 2008: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000); Fiscal Year 2007: ¥1,000,000 (Direct Cost: ¥1,000,000); Fiscal Year 2006: ¥1,100,000 (Direct Cost: ¥1,100,000)
• Keywords: 情報通信システム / ユビキタスネットワーク / サービス競合 / ホームネットワークシステム / 競合検出 / 競合解消 / アクチベーション / 必須メソッド / 中断・再開処理 / ホームネットワーク / ビル管理システム / 安全性検証 / サービス競合問題 / JML / 検証と妥当性確認 / モデル化 / オブジェクト指向モデリング

Research Abstract

本研究では,ユビキタスネットワークにおける複数のサービス間の機能衝突であるサービス競合問題に焦点をあて,競合問題の形式化,検出方式,解消方式,評価に関する研究を行った.また,ユビキタスアプリケーションの一つである,ホームネットワークシステムを実際に開発し,実システム上でホームネットワークサービスの競合検出,解消方式を実装,評価を行った.一連の研究成果を,論文誌,国際会議,研究会を含め,45編の論文にまとめ発表した.

Research Products

• [Journal Article] Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model (2009)
  • Author(s): Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto
  • Journal Title: International Journal of Smart Home vol.3, no.1 Pages: 67-80
  • Peer Reviewed
• [Journal Article] Using Formal Methods to Increase Confidence in a Home Network System Implementation : a Case Study (2009)
  • Author(s): L. du-Bousquet, M. Nakamura, B. Yan, H. Igaki
  • Journal Title: Innovations in Systems and Software Engineering (ISSE Journal) (採録決定)
  • Peer Reviewed
• [Journal Article] Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model (2009)
  • Author(s): B. Yan, M. Nakamura, K. Matsumoto
  • Journal Title: International Journal of Smart Home vol.3, no.1 Pages: 67-80
  • Peer Reviewed
• [Journal Article] Validating Safety for Integrated Services of Home Network System Using JML (2008)
  • Author(s): Ben Yan, Masahide Nakamura, Lydie du-Bousquet, and Ken-ichi Matsumot
  • Journal Title: IPSJ Journal (also published as Journal of Information Processing (JIP)) vol.49, no.6 Pages: 1751-1762
  • NAID: 130000058165
  • Peer Reviewed
• [Journal Article] Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services (2008)
  • Author(s): Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, and Kenichi Matsumoto
  • Journal Title: International Journal of Web Services Research vol.5, no.1 Pages: 82-98
  • NAID: 120006522995
  • Peer Reviewed
• [Journal Article] Implementing Multi-Vendor Home Network System with Vendor-Neutral Services and Dynamic Service Binding (2008)
  • Author(s): Masahide Nakamura, Yusuke Fukuoka, Hiroshi Igaki, and Ken-ichi Matsumoto
  • Journal Title: In IEEE International Conference on Services Computing (SCC 2008) Pages: 275-282
  • Peer Reviewed
• [Journal Article] Operating Networked Appliances Using Gaze Information and Voice Recognition (2008)
  • Author(s): Naohiro Yuasa, Kohei Mitsui, Hiroki Sakakibara, Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto
  • Journal Title: In Proc. of the IASTED International Conference on Human Computer Interaction (IASTED-HCI 2008) Pages: 107-112
  • Peer Reviewed
• [Journal Article] A Scalable Sensor Application Framework Based on Hierarchical Load-Balancing Architecture (2008)
  • Author(s): Yoji Onishi, Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto
  • Journal Title: In Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2008)
  • Peer Reviewed
• [Journal Article] Validating Safety for Integrated Services of Home Network System Using JML (2008)
  • Author(s): B. Yan, M. Nakamura, L du-Bousquet, and K. Matsumoto
  • Journal Title: IPSJ Journal Vol.49, no.6 Pages: 1751-1762
  • NAID: 130000058165
  • Peer Reviewed
• [Journal Article] Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services (2008)
  • Author(s): M. Nakamura, A. Tanaka, H. Igaki, H.Tamada, K. Matsumoto
  • Journal Title: International Journal of Web Services Research Vol.5, No.1 Pages: 82-98
  • NAID: 120006522995
  • Peer Reviewed
• [Journal Article] Validating Safety for Integrated Services of Home Network System Using JML (2008)
  • Author(s): B. Yan, M. Nakamura, L. du Bousquet, K. Matsumoto
  • Journal Title: Journal of Information Processing 採録決定
  • NAID: 130000058165
  • Peer Reviewed
• [Journal Article] Using Formal Methods to Increase Confidence in a Home Network System Implementation, Case Study (2007)
  • Author(s): Lydie du-Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki
  • Journal Title: In 2007 ISoLA Workshop On Leveraging Applications of Formal Methods,Verification and Validation (ISOLA 2007) Pages: 203-214
  • Peer Reviewed
• [Journal Article] Considering Safety and Feature Interactionsfor Integrated Services of Home Network System, (2007)
  • Author(s): Ben Yan and Masahide Nakamura
  • Journal Title: In Proc. of Int'l. Conf. on Feature Interactions in Software and Communication Systems (ICFI'07) Pages: 199-202
  • Peer Reviewed
• [Journal Article] Characterizing Safety of Integrated Services in Home Network System (2007)
  • Author(s): Ben Yan, Masahide Nakamura, Lydie du-Bousquet, and Ken-ichi Matsumoto
  • Journal Title: In 5th International Conference On Smart homes and health Telematics (ICOST2007) vol.LNCS 4541 Pages: 130-140
  • NAID: 120006693680
  • Peer Reviewed
• [Journal Article] JMLを用いたホームネットワークシステムにおける連携サービスの安全性検証に関する提案 (2007)
  • Author(s): 閻 奔, 中村 匡秀, リティ ドウ ブスケ, 松本 健一
  • Journal Title: 電子情報通信学会技術報告 NS2006-159 Pages: 7-12
  • NAID: 110006249081
• [Journal Article] Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems (2006)
  • Author(s): Hiroshi Igaki, Masahide Nakamura, Ken-ichi Matsumoto, and Mikio Aoyama
  • Journal Title: In Proc. of 13th Asia-Pacific Software Engineering Conference (APSEC 2006) Pages: 45-52
  • NAID: 120006693739
  • Peer Reviewed
• [Journal Article] Exploiting Eye Gaze Information for Operating Services in Home Network System (2006)
  • Author(s): Kohei Mitsui, Hiroshi Igaki, Kentaro Takemura, Masahide Nakamura, and Ken-ichi Matsumoto
  • Journal Title: In 2006 International Symposium on Ubiquitous Computing Systems (UCS2006) vol.LNCS4239 Pages: 13-27
  • NAID: 120006693681
  • Peer Reviewed
• [Journal Article] Adapting Legacy Home Appliances to Home Network Systems Using Web Services (2006)
  • Author(s): Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, and Ken-ichi Matsumoto
  • Journal Title: In IEEE International Conference on Web Services (ICWS2006) Pages: 849-858
  • Peer Reviewed
• [Journal Article] Automatically Verifying Integrated Services in Home Network Systems (2006)
  • Author(s): Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Hiroshi Igaki, and Kenichi Matsumoto
  • Journal Title: In International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006) vol.II Pages: 173-176
  • Peer Reviewed
• [Journal Article] Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems (2006)
  • Author(s): H.Igaki, M.Nakamura, K.Matsumoto, M.Aoyama
  • Journal Title: Proc. of 13th Asia-Pacific Software Engineering Conference (APSEC 2006) Pages: 45-52
  • NAID: 120006693739
• [Journal Article] Automatically Verifying integrated Services in Home Network Systems (2006)
  • Author(s): T.Matsuo, P.Leelaprute, M.Nakamura, et al.
  • Journal Title: Proc. of International Technicai Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006) II Pages: 173-176
• [Journal Article] Adapting Legacy Home Appliances to Home Network Systems Using Web Services (2006)
  • Author(s): M.Nakamura, A.Tanaka, H.Igaki, H.Tamada, K.Matsumoto
  • Journal Title: Proc. of IEEE International Conference on Web Services (ICWS2006) Pages: 849-858
• [Journal Article] Exploiting Eye Gaze Information for Operating Services in Home Network System (2006)
  • Author(s): K.Mitsui, H.Igaki, K.Takemura, M.Nakamura, K.Matsumoto
  • Journal Title: International Symposium on Ubiquitous Computing Systems (UCS2006) LNCS4239 Pages: 13-27
  • NAID: 120006693681
• [Journal Article] ホームネットワークシステムにおける家電連携サービスの安全性に関する考察 (2006)
  • Author(s): 閻 奔, 中村 匡秀, リティ ドウ ブスケ, 松本 健一
  • Journal Title: 電子情報通信学会技術報告 IN2006-97 Pages: 49-54
  • NAID: 110005717548
• [Journal Article] Using Formal Methods to Increase Confidence in a Home Network System Implementation: a Case Study
  • Author(s): Lydie du-Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki
  • Journal Title: Innovations in Systems and Software Engineering (ISSE Journal) Springer, (to appear)
  • Peer Reviewed
• [Journal Article] Improving Reusability of Hazard Analysis Model with Hazard Template for Deriving Safety Properties of Home Network System
  • Author(s): Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto
  • Journal Title: International Journal of Smart Home to appear
  • Peer Reviewed
• [Journal Article] Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System
  • Author(s): Masahide Nakamura, Hiroshi Igaki, Yuhei Yoshimura, and Kousuke Ikegami
  • Journal Title: In 10th International Conference on Feature Interactions in Telecommunications and Software Systems to appear
  • NAID: 110007324212
  • Peer Reviewed
• [Presentation] Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System (2009)
  • Author(s): M. Nakamura, H. Igaki, Y. Yoshimura, K. Ikegami
  • Organizer: Int'l Conf. on Feature Interactions in Telecom munications and Software Systems (ICFI 2009)
  • Place of Presentation: リスボン, ポルトガル(採録決定)
  • Year and Date: 2009-06-11
• [Presentation] ホームネットワークシステムにおけるサービス開発を容易化するネット家電標準データモデル (2009)
  • Author(s): 江上公一, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3), pp.75-80
  • Place of Presentation: 那覇, 沖縄
  • Year and Date: 2009-03-05
• [Presentation] サービス期間を考慮したホームネットワークサービス競合検出・解消システムの実装 (2009)
  • Author(s): 池上弘祐, 吉村悠平, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3),pp.7-12
  • Place of Presentation: 那覇, 沖縄
  • Year and Date: 2009-03-05
• [Presentation] エンドユーザーによるセンサー駆動サービスの構築支援環境の提案 (2009)
  • Author(s): 松尾周平, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3), pp.43-48
  • Place of Presentation: 那覇, 沖縄
  • Year and Date: 2009-03-05
• [Presentation] ホームネットワークシステムにおける環境相互作用を利用した省エネ機器連携サービスの一構築手法 (2009)
  • Author(s): 岡村雄敬, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, オフィス情報システム研究会, vol.OIS2008-75(2009-3), pp.13-18
  • Place of Presentation: 那覇, 沖縄
  • Year and Date: 2009-03-05
• [Presentation] ホームネットワークシステムにおける家電連携サービスのための競台解消方式の考察 (2009)
  • Author(s): 吉村悠平, 池上弘祐, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, 情報ネットワーク研究会, vol.IN2008-206, pp.439-444
  • Place of Presentation: 読谷村, 沖縄
  • Year and Date: 2009-03-04
• [Presentation] 他サービスとの連携を考慮した時関駆動型声ホームネットワークサービス基盤の改良 (2009)
  • Author(s): 福田将之, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, 情報ネットワーク研究会, vol.IN2008-206, pp.433-438
  • Place of Presentation: 読谷村, 沖縄
  • Year and Date: 2009-03-04
• [Presentation] コンテキストアウェアアプリケーションの開発を容易化するセンササービス基盤 (2009)
  • Author(s): 坂本寛幸, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, 情報ネットワーク研究会, vol.IN2008-206, pp.381-386
  • Place of Presentation: 読谷村, 沖縄
  • Year and Date: 2009-03-04
• [Presentation] ホームネットワークシステムにおける家電連携サービスのための競合解消方式の考察 (2009)
  • Author(s): 吉村悠平, 池上弘祐, 井垣宏, 中村匡秀
  • Organizer: 情報ネットワーク研究会
• [Presentation] 他サービスとの連携を考慮した時間駆動型ホームネットワークサービス基盤の改良 (2009)
  • Author(s): 福田将之, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] ホームネットワークシステムにおけるサービス開発を容易化するネット家電標準データモデル (2009)
  • Author(s): 江上公一,井垣宏,中村匡秀
  • Organizer: 電子情報通信学会 OIS研究会 OIS2008-75(2009-3)
• [Presentation] サービス期間を考慮したホームネットワークサービス競合検出・解消システムの実装 (2009)
  • Author(s): 池上弘祐, 吉村悠平, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会 OIS研究会 IEICE-OIS-462
• [Presentation] エンドユーザーによるセンサー駆動サービスの構築支援環境の提案 (2009)
  • Author(s): 松尾周平, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会 OIS研究会
• [Presentation] ホームネットワークシステムにおける環境相互作用を利用した省エネ機器連携サービスの一構築手法 (2009)
  • Author(s): 岡村雄敬, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会 OIS研究会 OIS2008
• [Presentation] コンテキストアウェアアプリケーションの開発を容易化するセンササービス基盤 (2009)
  • Author(s): 坂本寛幸, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] Deriving Safety Properties for Home Network System Based or Goal-Oriented Hazard Analysis Model (2008)
  • Author(s): B. Yan, M. Nakamura, K. Matsumoto
  • Organizer: Third International Symposium on Smart Home SH08
  • Place of Presentation: 三亜, 中国
  • Year and Date: 2008-12-14
• [Presentation] ホームネットワークシステムにおけるリアルタイムな家電制御サービスの実現 (2008)
  • Author(s): 福田将之, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, 情報ネットワーク研究会, vol.108, no.136,pp.041-046
  • Place of Presentation: 神戸, 兵庫
  • Year and Date: 2008-07-17
• [Presentation] RSSを利用したWeb上の情報資源とホームネットワークシステムの連携 (2008)
  • Author(s): 坂本寛幸, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, 情報ネットワーク研究会, vol.108, no.136, pp.047-052
  • Place of Presentation: 神戸,兵庫
  • Year and Date: 2008-07-17
• [Presentation] ホームネットワークシステムにおけるサービス競合の動的検出・解消システムの設計と実装 (2008)
  • Author(s): 吉村悠平, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会, 情報ネットワーク研究会, vol.108, no.136
  • Place of Presentation: 神戸, 兵庫
  • Year and Date: 2008-07-17
• [Presentation] Implementing Multi-Vendor Home Network System with Vendor-Neutral, Services and Dynamic Service Binding (2008)
  • Author(s): M. Nakamura, Y. Fukuoka, H. Igaki, K. Matsumoto
  • Organizer: Int'l Conf on Services Computing (SCC 2008)
  • Place of Presentation: ホノルル, アメリカ
  • Year and Date: 2008-07-09
• [Presentation] A Scalable Sensor Application Framework Based on Hierarchical Load-Balancing Architecture (2008)
  • Author(s): Y. Onishi, H. Igaki, M. Nakamura, K. Matsunioto
  • Organizer: IASTED International Conference on Software Engineering (IASTED SE 2008)
  • Place of Presentation: インスブルック, オーストリア
  • Year and Date: 2008-02-11
• [Presentation] ホームネットワークシステムにおけるリアルタイムな家電制御サービスの実現 (2008)
  • Author(s): 福田将之, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] RSSを利用したWeb上の情報資源とホームネットワークシステムの連携 (2008)
  • Author(s): 坂本寛幸, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] ホームネットワークシステムにおけるサービス競合の動的検出・解消システムの設計と実装 (2008)
  • Author(s): 吉村悠平, 井垣宏, 中村匡秀
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] ホームネットワークにおける家電連携サービス作成支援システムの開発 (2008)
  • Author(s): 関本純一, 中村匡秀, 井垣宏, 松本健一
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] 動的サービスバインディング機構を用いたマルチベンダホームネットワークシステムの一実現手法 (2008)
  • Author(s): 福岡佑介, 西岡隆司, 中村匡秀, 井垣宏, 松本健一
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] ビル管理システム連携におけるシステムとサービス競合の定式化 (2008)
  • Author(s): 西澤茂隆, 中村匡秀, 井垣宏, 松本健一, 三浦健次郎
  • Organizer: 情報処理学会研究報告
• [Presentation] ホームネットワークシステムにおける家電状態を利用した音声操作インタフェースの改善 (2008)
  • Author(s): 榊原弘記, 中村匡秀, 井垣宏, 松本健一
  • Organizer: 電子情報通信学会2種研究会 サイバーワールド(CW)第9回研究会
• [Presentation] AXELLA: ユーザの注視情報を利用したホームネットワークシステム向けインタフェースシステム (2008)
  • Author(s): 三井康平, 井垣宏, 中村匡秀, 松本健一
  • Organizer: 電子情報通信学会2種研究会 サイバーワールド(CW)第9回研究会
• [Presentation] Using Formal Methods to Increase Confidence in A Home Network Syst em Implementation, Case Study (2007)
  • Author(s): L. du Bousquet, M. Nakamura, B. Van, H. Igaki
  • Organizer: ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007)
  • Place of Presentation: ポワティエ, フランス
  • Year and Date: 2007-12-14
• [Presentation] Characterizing Safety of Integrated Services in Home Network System (2007)
  • Author(s): B. Yan, M. Nakamura, L.du Bousquet, K. Matsumoto,
  • Organizer: 5th International Conference On Smart homes and health Telematics (ICOST2007)
  • Place of Presentation: 奈良, 日本
  • Year and Date: 2007-06-22
• [Presentation] ビル管理システムにおけるサービス指向アーキテクチャの適用 〜 異種サービスの連携と安全性に関する考察 〜, (2007)
  • Author(s): 西澤茂隆, 中村匡秀, 井垣宏, 松本健一, 三浦健次郎
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] ホームネットワークにおける家電連携サービスのユーザビリティ評価 (2007)
  • Author(s): 湯浅 直弘, 伊原誠人, 中村匡秀, 松本健一
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] JMLを用いたホームネットワークシステムにおける連携サービスの安全性検証に関する提案 (2007)
  • Author(s): 閻 奔, 中村匡秀, リディ ドゥ ブスケ, 松本健一
  • Organizer: 電子情報通信学会技術報告
• [Presentation] ユーザの移動に伴う機器と環境の状態引き継ぎを実現するホームネットワークシステムの提案 (2007)
  • Author(s): 井垣宏, 長江洋子, 山田松江, 中村匡秀, 松本健一, 青山幹雄
  • Organizer: 電子情報通信学会技術研究報告
• [Presentation] オブジェクト指向モデルを利用したSOAのためのモデル指向開発手法 (2007)
  • Author(s): 井垣宏, 中村匡秀, 松本健一, 青山幹雄
  • Organizer: 情報処理学会ソフトウェア工学研究会ウィンターワークショップ2007
  • Place of Presentation: イン・那覇
• [Presentation] ホームネットワークシステムにおける家電連携サービスの安全性に関する考察 (2006)
  • Author(s): 閻 奔, 中村匡秀, リディ ドゥ ブスケ, 松本健一
  • Organizer: 電子情報通信学会技術報告
• [Book] Serice-Oriented Architecture for Migrating Legacy Home Appliances to Home Network System -- Principle and Applications
  • Author(s): Masahide Nakamura, Hiroshi Igaki, Akihiro Tanaka, Haruaki Tamada and Kenichi Matumoto
  • Publisher: IGI Global (to appea)r
• [Remarks] 上記の発表論分は、すべて以下のURLより閲覧・取得可能である。
• [Remarks] CS27 業績リスト
  • URL: http://www27.cs.
• [Remarks]
  • URL: http://www27.cs.kobe-u.ac.jp/achieve/
• [Remarks]
  • URL: http://www27.cs.kobe-u.ac.jp/achieve/pman.cgi?MODE=list
• [Remarks]
  • URL: http://www27.cs.kobe-u.ac.jp/~masa-n/research/index.html
• [Patent(Industrial Property Rights)] ゲートウェイ装置およびその情報制御方法 (2007)
  • Inventor(s): 中村, 福岡, 林, 堀渕, 小澤, 木村
  • Industrial Property Rights Holder: 中村, 福岡, 林, 堀渕, 小澤, 木村
  • Industrial Property Number: 2007-242399
  • Filing Date: 2007-09-19