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

2017 Fiscal Year Annual Research Report

しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク

Research Project

Project/Area Number 17H00732
Research InstitutionWaseda University

Principal Investigator

本位田 真一  早稲田大学, 理工学術院, 教授(任期付) (70332153)

Co-Investigator(Kenkyū-buntansha) 胡 振江  国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)
鄭 顕志  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (40434295)
吉岡 信和  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (20390601)
石川 冬樹  国立情報学研究所, アーキテクチャ科学研究系, 准教授 (50455193)
Project Period (FY) 2017-04-01 – 2022-03-31
Keywords実行時モデル / 自己適応ソフトウェア
Outline of Annual Research Achievements

システムは実世界で起こる多様な環境変化にさらされる.実行中における実世界の環境変化にも迅速かつ柔軟に耐え,可用性,応答性,セキュリティ,頑健性といった多種多様な品質を維持するには,実行時の情報を活用した自動運用が不可欠となる.自動運用可能なソフトウェアの開発支援のために,開発時に使われるモデルを実行時にも保持し,実行中の情報を反映したモデル上でシステム構成変更を決定する実行時モデリング技術が発展してきている.しかし従来の実行時モデルフレームワークは単一観点のモデルしか扱えず,多種多様な品質を同時に維持することができなかった.そこで本研究では,複数の観点のモデルを協調して扱う実行時モデリング技術を確立し,実行中の環境変化に対して複数の品質維持を可能とするフレームワークを開発する.
平成29年度は,まず2つの品質観点を対象として2つのビューモデル協調のためのフレームワークを試作した.具体的には,Twitterの事例を参考に,急激なユーザリクエスト増加に対して応答性と可用性という2つの品質維持を行うクラウドベースWebアプリケーションを例題として,要素技術である[実施項目1]2ビュー実行時モデルによるシステム管理技術と[実施項目2]協調プランニング技術を開発した.その要素技術を組み込んだ2ビューモデル対応の[実施項目3]実行時モデルフレームワーク開発は当初は平成29年度内に行う予定であったが,要素技術のさらなる洗練化のために実施項目1,2を当初より4ヶ月延期したことに伴い,平成30年からの開始となるよう計画変更を行った.しかしながら,その変更された計画に従い,実施項目3も平成30年7月にその初期フレームワークの開発を完了した.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

平成29年12月,国際会議GRACE国際シンポジウムにおいて,2ビュー協調自己適応技術に関する研究発表を行い,ソフトウェア工学分野の著名研究者と議論を行った.その結果得られた手法改善のための有益なコメントに基づき手法の改善を行わなければ十分な品質改善が望めず研究目的を達成できないため,2ビュー協調自己適応技術構築を延長する必要が生じ,当初の平成29年12月より延長し,平成30年3月まで行うこととした.計画は変更となったが,計画変更により要素技術の確立という当初の大きな目標は達成できており,概ね順調に研究は進展している.

Strategy for Future Research Activity

平成30年度は,主に2ビューモデルを対象とした評価実験と,その実験結果をベースにした要素技術の洗練化,さらにはNビューモデルへの拡張を行う予定である.平成29年度より繰越となった[実施項目3]2ビューフレームワークの開発を平成30年度に行うこととなったが,要素技術の洗練化を先立って行えたため,当初平成30年度に予定していた要素技術の洗練家は短縮できることが予想される.

  • Research Products

    (18 results)

All 2017 Other

All Int'l Joint Research (6 results) Journal Article (4 results) (of which Int'l Joint Research: 3 results,  Peer Reviewed: 4 results,  Open Access: 1 results) Presentation (8 results) (of which Int'l Joint Research: 8 results)

  • [Int'l Joint Research] ブエノスアイレス大学(アルゼンチン)

    • Country Name
      ARGENTINA
    • Counterpart Institution
      ブエノスアイレス大学
  • [Int'l Joint Research] オープン大学/Imperial College London(英国)

    • Country Name
      UNITED KINGDOM
    • Counterpart Institution
      オープン大学/Imperial College London
  • [Int'l Joint Research] フローニンゲン大学(オランダ)

    • Country Name
      NETHERLANDS
    • Counterpart Institution
      フローニンゲン大学
  • [Int'l Joint Research] パリ第6大学/リヨン第1大学(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      パリ第6大学/リヨン第1大学
  • [Int'l Joint Research] 北京大学/重慶大学(中国)

    • Country Name
      CHINA
    • Counterpart Institution
      北京大学/重慶大学
  • [Int'l Joint Research]

    • # of Other Countries
      1
  • [Journal Article] A Comparative Analysis of Machine Learning Algorithms for Faults Detection in Wireless Sensor Networks2017

    • Author(s)
      Tei Kenji、Warriach Ehsan Ullah
    • Journal Title

      International Journal of Sensor Networks

      Volume: 24 (1) Pages: 1~13

    • DOI

      10.1504/IJSNET.2016.10001361

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Goal Modelling for Security Problem Matching and Pattern Enforcement2017

    • Author(s)
      Yu Yijun、Kaiya Haruhiko、Yoshioka Nobukazu、Hu Zhenjiang、Washizaki Hironori、Xiong Yingfei、Hosseinian-Far Amin
    • Journal Title

      International Journal of Secure Software Engineering

      Volume: 8 (3) Pages: 42~57

    • DOI

      https://doi.org/10.4018/IJSSE.2017070103

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds2017

    • Author(s)
      Wu Quanwang、Ishikawa Fuyuki、Zhu Qingsheng、Xia Yunni、Wen Junhao
    • Journal Title

      IEEE Transactions on Parallel and Distributed Systems

      Volume: 28 (12) Pages: 3401~3412

    • DOI

      10.1109/TPDS.2017.2735400

    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Towards Systematic Parallelization of Graph Transformations Over Pregel2017

    • Author(s)
      Tung Le-Duc、Hu Zhenjiang
    • Journal Title

      International Journal of Parallel Programming

      Volume: 45 (2) Pages: 320~339

    • DOI

      10.1007/s10766-016-0418-5

    • Peer Reviewed / Open Access
  • [Presentation] Extracting Traceability between Predicates in Event-B Refinement2017

    • Author(s)
      Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi and Shinichi Honiden
    • Organizer
      The 24th Asia-Pacific Software Engineering Conference (APSEC 2017)
    • Int'l Joint Research
  • [Presentation] Construction of Abstract State Graphs for Understanding Event-B Models2017

    • Author(s)
      Daichi Morita, Fuyuki Ishikawa and Shinichi Honiden
    • Organizer
      Symposium on Dependable Software Engineering: Theories, Tools and Applicatoins
    • Int'l Joint Research
  • [Presentation] Soft-Goal Approximation Context Awareness of Goal-driven Self-Adaptive Systems2017

    • Author(s)
      Aurelien Vialon, Kenji Tei and Samir Aknine
    • Organizer
      The 2nd Models@run.time in International Conference on Autonomic Computing 2017(MRT 2017)
    • Int'l Joint Research
  • [Presentation] Learning environment model at runtime for self-adaptive systems2017

    • Author(s)
      Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa and Shinichi Honiden
    • Organizer
      The 32nd ACM Symposium on Applied Computing (SAC2017)
    • Int'l Joint Research
  • [Presentation] Eliciting Requirements for Improving Users' Behavior Using Transparency2017

    • Author(s)
      aruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata, Takafumi Tanaka
    • Organizer
      4th Asia-Pacific Symposium on Requirements Engineering for Internet of Things
    • Int'l Joint Research
  • [Presentation] Preliminary Systematic Literature Review of Software and Systems Traceability2017

    • Author(s)
      Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka, Hironori Washizaki
    • Organizer
      the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES2017)
    • Int'l Joint Research
  • [Presentation] Towards Variability Management in Bidirectional Model Transformation2017

    • Author(s)
      Xiao He, Zhenjiang Hu, Yi Liu
    • Organizer
      41st IEEE Annual Computer Software and Applications Conference
    • Int'l Joint Research
  • [Presentation] Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access2017

    • Author(s)
      Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
    • Organizer
      15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
    • Int'l Joint Research

URL: 

Published: 2019-12-27  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi