• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2009 Fiscal Year Annual Research Report

サービス競合を考慮したユビキタスサービスの安全性保証に関する研究

Research Project

Project/Area Number 21700077
Research InstitutionKobe University

Principal Investigator

中村 匡秀  Kobe University, 工学研究科, 准教授 (30324859)

Keywordsユビキタスサービス / 安全性保証 / サービス競合 / ホームネットワーク / サービス指向アーキテクチャ / 競合検出・解消
Research Abstract

平成21年度は,主に以下の(1)(2)に従って研究を進めた.
(1) ユビキタスサービスにおける安全性の定式化
様々なサービスの実用例を分析し,ユビキタスサービスにおける安全性の定式化を行った.ユビキタスサービスの特性である「モノ同士の連携」および「環境への影響」を考慮した.その結果,サービスの安全性を以下の3種類で定義することができた.
ローカル安全性:モノそれぞれに閉じた安全性.モノを単体で安全に使用するための性質.
グローバル安全性:複数のモノにまたがる安全性.複数のモノを連携したサービスを安全に使用するための性質.
環境安全性:サービスが提供される環境で守らなければならない安全性.モノやサービスの内容に依存しない.
(2) ユビキタスサービスにおけるサービス競合検出・解消法の考察
複数のユビキタスサービス間の競合問題を定式化し,サービス競合を検出・解消するための理論の考察を行った.その結果,以下の2種類のサービス競合が重要であることがわかった.
機器競合:ユビキタスネットワーク上の同一の機器(資源)上で発生する直接的な競合
環境競合:ユビキタスネットワーク上の環境を解して発生する間接的な競合
予備実験として,提案法をホームネットワークシステムにおける連携サービスに適用して評価を行い,有効性の確認を行った.
以上の結果および関連する成果を,論文誌4編,国際会議論文3編,研究会論文19編にまとめて発表した.

  • Research Products

    (27 results)

All 2010 2009 Other

All Journal Article (4 results) (of which Peer Reviewed: 4 results) Presentation (22 results) Remarks (1 results)

  • [Journal Article] Modeling and Detecting Feature Interactions among Integrated Services of Home Network Systems2010

    • Author(s)
      H.Igaki, M.Nakamura
    • Journal Title

      IEICE Transactions on Information and Systems E93-D, no.4(採録決定)

    • Peer Reviewed
  • [Journal Article] 家庭のエンドユーザを対象としたホームネットワーク機器連携サービス作成支援システム2009

    • Author(s)
      中村匡秀, 関本純一, 井垣宏, 松本健一
    • Journal Title

      ヒューマンインターフェース学会論文誌 vol.11, no.4

      Pages: 369-379

    • Peer Reviewed
  • [Journal Article] Using Formal Methods to Increase Confidence in a Home Network System Implementation : a Case Study2009

    • Author(s)
      L.du-Bousquet, M.Nakamura, B.Yan, H.Igaki
    • Journal Title

      Innovations in Systems and Software Engineering (ISSE Journal), Springer vol.5, no.3

      Pages: 181-196

    • Peer Reviewed
  • [Journal Article] Improving Reusability of Hazard Analysis Model with Hazard Template for Deriving Safety Properties of Home Network System2009

    • Author(s)
      B.Yan, M.Nakamura, L.du-Bousquet, K.Matsumoto
    • Journal Title

      International Journal of Smart Home vol.3, no.2

      Pages: 71-88

    • Peer Reviewed
  • [Presentation] サービス競合検出・解消システムを用いたホームネットワーク連携サービスの開発2010

    • Author(s)
      稲田卓也, 吉村悠平, 池上弘祐, 井垣宏, 中村匡秀, 他2名
    • Organizer
      電子情報通信学会 SS研究会
    • Place of Presentation
      鹿児島大学(鹿児島)
    • Year and Date
      2010-03-08
  • [Presentation] ユビキタスネットワークにおけるサービス資源検索のためのサービスレジストリの考察2010

    • Author(s)
      瀬戸英晴, 江上公一, 松尾周平, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会 SS研究会
    • Place of Presentation
      鹿児島大学(鹿児島)
    • Year and Date
      2010-03-08
  • [Presentation] 異なるライフログをマッシュアップするためのデータ変換・集約アクセスAPIの実装2010

    • Author(s)
      下條彰, 福田将之, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会 LOIS研究会
    • Place of Presentation
      沖縄青年会館(沖縄)
    • Year and Date
      2010-03-06
  • [Presentation] 暗黙的なユーザ要求を抽出・推定するホームネットワークのための対話型音声インターフェース2010

    • Author(s)
      松原典行, 江上公一, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会 LOIS研究会
    • Place of Presentation
      沖縄青年会館(沖縄)
    • Year and Date
      2010-03-06
  • [Presentation] マッシュアップAPIを用いた異なるライフログサービスの連携2010

    • Author(s)
      鎌田早織, 坂本寛幸, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会 LOIS研究会
    • Place of Presentation
      沖縄青年会館(沖縄)
    • Year and Date
      2010-03-06
  • [Presentation] ユビキタスクラウドによる適応型ユビキタスサービスの提案と評価2010

    • Author(s)
      江上公一, 井垣宏, 中村匡秀
    • Organizer
      情報処理学会 ウィンターワークショップ2010
    • Place of Presentation
      倉敷市芸文館(岡山)
    • Year and Date
      2010-01-21
  • [Presentation] SMuP:センササービスのマッシュアップを実現するサービス指向基盤2010

    • Author(s)
      坂本寛幸, 井垣宏, 中村匡秀
    • Organizer
      情報処理学会 ウィンターワークショップ2010
    • Place of Presentation
      倉敷市芸文館(岡山)
    • Year and Date
      2010-01-21
  • [Presentation] Extracting Service Candidates from Procedural Programs Based on Process Dependency Analysis2009

    • Author(s)
      M.Nakamura, H.Igaki, T.Kimura, K.Matsumoto
    • Organizer
      IEEE Asia-Pacific Services Computing Conference (APSCC 2009), pp.484-491
    • Place of Presentation
      Biopolis, Singapore
    • Year and Date
      2009-12-10
  • [Presentation] 場所情報を用いたセンサ検索と類似条件提示によるコンテキスト構築支援環境:Sensor Service Binder 22009

    • Author(s)
      松尾周平, 瀬戸英晴, 坂本寛幸, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会 IN研究会
    • Place of Presentation
      神戸大学(兵庫)
    • Year and Date
      2009-12-10
  • [Presentation] ホームネットワークシステムにおけるサービス要求を考慮した環境競合検出法2009

    • Author(s)
      池上弘祐, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会 IN研究会
    • Place of Presentation
      神戸大学(兵庫)
    • Year and Date
      2009-12-10
  • [Presentation] ホームネットワークにおける副作用を考慮した省エネ機器操作推薦手法2009

    • Author(s)
      岡村雄敬, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会 IN研究会
    • Place of Presentation
      福岡工業大学(福岡)
    • Year and Date
      2009-11-12
  • [Presentation] ホームネットワークシステムにおける電力消費振り返りサービスの提案2009

    • Author(s)
      福田将之, 瀬戸秀晴, 坂本寛幸, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会 IN研究会
    • Place of Presentation
      福岡工業大学(福岡)
    • Year and Date
      2009-11-12
  • [Presentation] センササービスのマッシュアップを実現するサービス指向基盤の提案2009

    • Author(s)
      坂本寛幸, 井垣宏, 中村匡秀
    • Organizer
      電子情報通信学会 IN研究会
    • Place of Presentation
      福岡工業大学(福岡)
    • Year and Date
      2009-11-12
  • [Presentation] 異なるライフログを集約するための標準データモデルの考察2009

    • Author(s)
      中村匡秀, 下條彰, 井垣宏
    • Organizer
      電子情報通信学会 LOIS研究会
    • Place of Presentation
      岐阜大学(岐阜)
    • Year and Date
      2009-11-12
  • [Presentation] SOAにもとづくホームネットワーク サービス競合検出・解消基盤の提案2009

    • Author(s)
      吉村悠平, 稲田卓也, 井垣宏, 中村匡秀
    • Organizer
      情報処理学会 ソフトウェア工学研究会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2009-11-11
  • [Presentation] DFDを利用したプログラム処理問の依存解析によるレガシーソフトウェアからのサービス抽出2009

    • Author(s)
      井垣宏, 木村隆洋, 中村匡秀, 松本健一
    • Organizer
      情報処理学会 ソフトウェアエンジニアリングシンポジウム2009
    • Place of Presentation
      東京女子大学(東京)
    • Year and Date
      2009-09-08
  • [Presentation] サービス指向アーキテクチャのためのサービス開発における課題2009

    • Author(s)
      中村匡秀
    • Organizer
      情報処理学会 ソフトウェアエンジニアリングシンポジウム2009
    • Place of Presentation
      東京女子大学(東京)
    • Year and Date
      2009-09-07
  • [Presentation] クラウドコンピューティングのユビキタスサービスへの適用2009

    • Author(s)
      井垣宏, 中村匡秀
    • Organizer
      情報処理学会 ソフトウェアエンジニアリングシンポジウム2009
    • Place of Presentation
      東京女子大学(東京)
    • Year and Date
      2009-09-07
  • [Presentation] RSS Conversion Service for Integrating Web Information Resources and Home Network System2009

    • Author(s)
      H.Igaki, H.Sakamoto, M.Nakamura
    • Organizer
      International Conference on e-Business, pp.131-134
    • Place of Presentation
      Milan, Italy
    • Year and Date
      2009-07-07
  • [Presentation] 適応型ユビキタスサービス実現のためのユビキタスクラウドの提案2009

    • Author(s)
      井垣宏, 中村匡秀
    • Organizer
      サービスコンピューティング時限研究専門委員会第1回研究会
    • Place of Presentation
      国立情報学研究所(東京)
    • Year and Date
      2009-07-02
  • [Presentation] サービス指向アーキテクチャのためのサービス開発における課題2009

    • Author(s)
      中村匡秀
    • Organizer
      サービスコンピューティング時限研究専門委員会第1回研究会
    • Place of Presentation
      国立情報学研究所(東京)
    • Year and Date
      2009-07-02
  • [Presentation] Considering Online Feature Interaction Detection and Resolution for Integrated Services in Home Network System2009

    • Author(s)
      M.Nakamura, H.Igaki, Y.Yoshimura, K.Ikegami
    • Organizer
      Int'l Conf. on Feature Interactions in Telecommunications and Software Systems, pp.191-206
    • Place of Presentation
      Lisbon, Portugal
    • Year and Date
      2009-06-12
  • [Remarks]

    • URL

      http://www27.cs.kobe-u.ac.jp/achieve/pman.egi?MODE=list

URL: 

Published: 2011-06-16   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi