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

2015 Fiscal Year Research-status Report

アスペクト指向 models@run.time システムの効率的な実行時形式検証

Research Project

Project/Area Number 26330081
Research InstitutionThe University of Electro-Communications

Principal Investigator

田原 康之  電気通信大学, 大学院情報システム学研究科, 准教授 (30390602)

Co-Investigator(Kenkyū-buntansha) 清 雄一  電気通信大学, その他の研究科, 助教 (20700157)
中川 博之  大阪大学, 情報科学研究科, 准教授 (40508834)
大須賀 昭彦  電気通信大学, その他の研究科, 教授 (90393842)
Project Period (FY) 2014-04-01 – 2017-03-31
Keywordsソフトウェア工学 / アスペクト指向 / models@run.time / 形式手法 / モデル検査 / リフレクション / 抽象化 / 自己適応システム
Outline of Annual Research Achievements

平成27年度は、(1)平成26年度に開発した、研究代表者らの既提案の、アスペクト指向 models@run.time システムの形式モデルの枠組に対する、モデルとソースコードが本枠組における抽象化・詳細化関係となるようなコード生成系の評価・洗練、(2)平成26年度に行った、前記形式モデルの枠組に対し、リフレクションを用いてアスペクトの織り込みの定式化である公理の変更規則を新たに公理とすることによる、適応のために実行時にアスペクトを織り込む場合の振舞いを扱えるような拡張の評価・洗練、(3)平成26年度に実施した、コード生成系と形式モデルに基づく検証機能を統合した、検証・適応系プロトタイプの設計に基づく、コード生成系と検証系を統合した検証・適応系プロトタイプの開発、および(4)平成26年度に設計した例題ウェブ・ユビキタスアプリケーションの実装と予備的な実験を行った。

Current Status of Research Progress
Current Status of Research Progress

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

Reason

平成27年度の研究実績の各項目について、年度当初の研究実施計画の項目(1)~(4)に記載した内容を、おおむね達成できているため。

Strategy for Future Research Activity

今後は、研究計画調書に記載した計画の通りに推進する予定である。

Causes of Carryover

購入が適切と考えられる物品が見当たらなかず、購入を見送ったため。

Expenditure Plan for Carryover Budget

必要に応じて物品への要求仕様を見直しての購入を検討する。

  • Research Products

    (46 results)

All 2016 2015 Other

All Journal Article (35 results) (of which Peer Reviewed: 35 results,  Acknowledgement Compliant: 30 results) Presentation (10 results) (of which Invited: 2 results) Remarks (1 results)

  • [Journal Article] TEXT2LOD ~テキスト情報のLOD化に向けたWeb APIの開発~2016

    • Author(s)
      川村 隆浩, 大須賀 昭彦
    • Journal Title

      人工知能学会論文誌

      Volume: Vol.31, No.1 Pages: -

    • DOI

      10.1527/tjsai.LOD-21

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Iterative Improvement of Human Pose Classification using Guide Ontology2016

    • Author(s)
      Kazuhiro Tashiro, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol.E99-D, No.1 Pages: 236-247

    • DOI

      10.1587/transinf.2015EDP7067

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Estimation of Interpersonal Relationships in Movies2016

    • Author(s)
      Yuta Ohwatari, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara, and Akihiko Ohsuga
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: Vol.E99-D, No.1 Pages: 128-137

    • DOI

      10.1587/transinf.2015MUP0015

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 組込み向け進化型ソフトウェアの効率的な拡張性強化手法2016

    • Author(s)
      佐々木隆益,吉岡信和,田原康之,大須賀昭彦
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.57,No.2 Pages: 730 - 744

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] ゴール指向洗練パターン駆動によるユースケースモデリング2016

    • Author(s)
      本田耕三,平山秀昭,中川博之,田原康之,大須賀昭彦
    • Journal Title

      電子情報通信学会論文誌

      Volume: Vol.J99-D, No.3 Pages: 238-254

    • DOI

      10.14923/transinfj.2015PDP0017

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Privacy Preservation for Participatory Sensing Application2016

    • Author(s)
      Yuichi Sei, Akihiko Ohsuga
    • Journal Title

      30th IEEE International Conference on Advanced Information Networking and Applications (AINA)

      Volume: 2016 Pages: 653-660

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Goal Achievement Analysis based on LTL Checking and Decision Tree for Improvements of PAIS2016

    • Author(s)
      Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga
    • Journal Title

      31th Annual ACM Symposium on Applied Computing

      Volume: 2016 Pages: 1214-1216

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Sake Selection Support Application for Countryside Tourism2016

    • Author(s)
      Teruyuki Iijima, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
    • Journal Title

      Transactions on Large-Scale Data and Knowledge-Centered Systems

      Volume: - Pages: -

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A Solution to Visualize Open Urban Data for Illegally Parked Bicycles2016

    • Author(s)
      Shusaku Egami, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
    • Journal Title

      Transactions on Large-Scale Data and Knowledge-Centered Systems

      Volume: - Pages: -

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] usiness Process Verification and Restructuring LTL Formula Based on Machine Learning Approach2016

    • Author(s)
      Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga
    • Journal Title

      Studies in Computational Intelligence (Selected papers from 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2016))

      Volume: 2016 Pages: -

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Semantic Graph Application to Call Center for Entity-Relation Search2015

    • Author(s)
      Takahiro Kawamura and Akihiko Ohsuga
    • Journal Title

      Proceedings of 3rd International Conference on Internet Services Technology and Information Engineering (ISTIE)

      Volume: 2015 Pages: 1-7

    • DOI

      10.1166/asl.2015.6432

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Towards Automatic Requirements Elicitation from Feedback Comments: Extracting equirements Topics Using LDA2015

    • Author(s)
      Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015)

      Volume: 2015 Pages: 489-494

    • DOI

      10.18293/SEKE2015-103

    • Peer Reviewed
  • [Journal Article] News Curation Service using Semantic Graph Matching2015

    • Author(s)
      Ryohei Yokoo, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
    • Journal Title

      International Conference on Advances in Semantic Processing (SEMAPRO)

      Volume: 2015 Pages: -

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Towards Goal-Oriented Conformance Checking2015

    • Author(s)
      Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara and Akihiko Ohsuga
    • Journal Title

      International Conference on Software Engineering and Knowledge Engineering (SEKE)

      Volume: 2015 Pages: 722-724

    • DOI

      10.18293/SEKE2015-079

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] センシティブ属性値のランダムな追加によるl-多様性アルゴリズムの提案2015

    • Author(s)
      清雄一,大須賀昭彦
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.56,No.5 Pages: 1377-1387

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 確率的ダミー生成による統計的な位置情報収集のためのプライバシ保護手法の提案2015

    • Author(s)
      清雄一,大須賀昭彦
    • Journal Title

      電気学会論文誌

      Volume: vol.135, no.6 Pages: 660-670

    • DOI

      10.1541/ieejeiss.135.660

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 意外性のあるレシピを推薦するエージェントの提案2015

    • Author(s)
      池尻恭介, 清雄一, 中川博之, 田原康之, 大須賀昭彦
    • Journal Title

      電子情報通信学会論文誌

      Volume: vol.j98-d, no.6 Pages: 971-981

    • DOI

      10.14923/transinfj.2014SWP0007

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] BOMエージェントの実現に向けたLODの構築2015

    • Author(s)
      江上周作, 川村隆浩, 藤井章博, 大須賀昭彦
    • Journal Title

      電子情報通信学会論文誌

      Volume: vol.j98-d, no.6 Pages: 992-1004

    • DOI

      10.14923/transinfj.2014SWP0019

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 語句間の意味的リレーションに基づくキュレーションエージェント2015

    • Author(s)
      横尾亮平,川村隆浩,清雄一,田原康之,大須賀昭彦
    • Journal Title

      電子情報通信学会論文誌

      Volume: vol.j98-d, no.6 Pages: 982-991

    • DOI

      10.14923/transinfj.2014SWP0017

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A Method for Efficient Extensibility Improvements in Embedded Software Evolution2015

    • Author(s)
      Takanori Sasaki, Nobukazu Yoshioka, Yasuyuki Tahara and Akihiko Ohsuga
    • Journal Title

      7th International Conference on Software Technology and Engineering (ICSTE)

      Volume: 2015 Pages: -

    • DOI

      10.17706/jsw.10.12.1375-1388

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities2015

    • Author(s)
      Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 2nd Workshop on Formal Verification for Self-* Systems (VERY* 2015)

      Volume: 2015 Pages: 253-265

    • DOI

      10.1007/978-3-662-49224-6_21

    • Peer Reviewed
  • [Journal Article] Towards Self-Adaptation on Real-World Hardware: a Preliminary Lightweight Programming Framework2015

    • Author(s)
      Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 9th IEEE International Conference on Self-Adaptive and Self- Organizing Systems (SASO 2015) (Demonstrations Session)

      Volume: 2015 Pages: 176-177

    • DOI

      10.1109/SASO.2015.33

    • Peer Reviewed
  • [Journal Article] Twitter におけるミスコミュニケーションの解消に向けて ―ユーザの期待する反応に応じたツイート分 類―2015

    • Author(s)
      植田智明,折原良平,清雄一,田原康之,大須賀昭彦
    • Journal Title

      合同エージェントワークショップ&シンポジウム2015 (JAWS 2015)

      Volume: 2015 Pages: 306-313

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Linked Dataを用いた日本酒選定支援エージェント2015

    • Author(s)
      飯島照之,川村隆浩,清雄一,田原康之,大須賀昭彦
    • Journal Title

      合同エージェントワークショップ&シンポジウム2015 (JAWS 2015)

      Volume: 2015 Pages: 266-273

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 社会課題解決に向けた循環型オープンデータ構築システムの提案2015

    • Author(s)
      江上周作,川村隆浩,清雄一,田原康之,大須賀昭彦
    • Journal Title

      合同エージェントワークショップ&シンポジウム2015 (JAWS 2015)

      Volume: 2015 Pages: 274-281

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 投票行動時系列データ解析に基づく意思決定戦略の分析2015

    • Author(s)
      樋口尚吾,折原良平,清雄一,田原康之,大須賀昭彦
    • Journal Title

      合同エージェントワークショップ&シンポジウム2015 (JAWS 2015)

      Volume: 2015 Pages: 290-297

    • Peer Reviewed
  • [Journal Article] クラウド上の安全で高速なキーワード検索アルゴリズムの提案2015

    • Author(s)
      清雄一,竹之内隆夫,大須賀昭彦
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.56, No.10 Pages: 1977-1987

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Towards Automatic Constraints Elicitation of Test Cases: Preliminary Evaluation Based on Collective Intelligence2015

    • Author(s)
      Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW 2015)

      Volume: 2015 Pages: 58-61

    • DOI

      10.1109/ASEW.2015.13

    • Peer Reviewed
  • [Journal Article] Performance Exploring Using Model Checking A Case Study of Hard Disk Drive Cache Function2015

    • Author(s)
      Takehiko Nagano, Kazuyoshi Serizawa, Nobukazu Yoshioka, Yasuyuki Tahara, Akihiko Ohsuga
    • Journal Title

      The Tenth International Conference on Software Engineering Advances (ICSEA)

      Volume: 2015 Pages: 31-39

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換2015

    • Author(s)
      堀田大貴,本田耕三,平山秀昭,清雄一,中川博之,田原康之,大須賀昭彦
    • Journal Title

      日本ソフトウェア科学会コンピュータソフトウェア

      Volume: VOL.32,NO.4 Pages: 141~160

    • DOI

      10.11309/jssst.32.4_141

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Towards the Elimination of the Miscommunication between Users in Twitter : Tweet classification based on expected responses by user2015

    • Author(s)
      Tomoaki Ueda, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
    • Journal Title

      Proc. of the 28th Australasian Joint Conference on Artificial Intelligence 2015 (AI 2015)

      Volume: Vol.9457 Pages: 589-595

    • DOI

      10.1007/978-3-319-26350-2_52

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Decision Making Strategy Based on Time Series Data of Voting Behavior2015

    • Author(s)
      Shogo Higuchi, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
    • Journal Title

      Proc. of the 28th Australasian Joint Conference on Artificial Intelligence 2015 (AI 2015)

      Volume: Vol.9457 Pages: 229-241

    • DOI

      10.1007/978-3-319-26350-2_20

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Deployment of Private Crowdsourcing System with Quality Control Methods2015

    • Author(s)
      Masayuki Ashikawa, Takahiro Kawamura, and Akihiko Ohsuga
    • Journal Title

      IEEE/WIC/ACM Web Intelligence Conference

      Volume: 2015 Pages: -

    • DOI

      10.1109/WI-IAT.2015.81

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Activity Recognition for Dogs Based on Time-series Data Analysis2015

    • Author(s)
      Tatsuya Kiyohara, Ryohei Orihara, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
    • Journal Title

      Agents and Artificial Intelligence (Selected revised papers from ICAART 2015)

      Volume: 2015 Pages: 163-184

    • DOI

      10.1007/978-3-319-27947-3_9

    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 安心できるプライバシ指標の調査2015

    • Author(s)
      清雄一,稲葉緑,大須賀昭彦
    • Journal Title

      情報処理学会論文誌

      Volume: Vol.56, No.12 Pages: 2230-2243

    • Peer Reviewed / Acknowledgement Compliant
  • [Presentation] 大きな振る舞い変更にも適用可能な自己適応システムの動的モデル検査法2016

    • Author(s)
      小川賢人,中川博之,土屋達弘
    • Organizer
      情報処理学会 第191回ソフトウェア工学研究発表会
    • Place of Presentation
      大阪大学吹田キャンパス(大阪府吹田市)
    • Year and Date
      2016-03-14 – 2016-03-15
  • [Presentation] ユーザの好みと献立バランスを考慮したレシピ入替えを行うグループ向け献立推薦2016

    • Author(s)
      西脇崇文,清雄一,田原康之,大須賀昭彦
    • Organizer
      データ工学と情報マネジメントに関するフォーラム (DEIM Forum 2016)
    • Place of Presentation
      ヒルトン福岡シーホーク(福岡県福岡市)
    • Year and Date
      2016-02-29 – 2016-03-02
  • [Presentation] 自己適応システムはなぜ動くのか2015

    • Author(s)
      中川博之
    • Organizer
      電子情報技術産業協会(JEITA) ソフトウェアエンジニアリング技術ワークショップ2015 ~ソフトウェアエンジニアリング 基盤と革新/理論と実践~
    • Place of Presentation
      電子情報技術産業協会(東京都千代田区)
    • Year and Date
      2015-12-17 – 2015-12-17
    • Invited
  • [Presentation] 差分プライバシに基づく大規模クロス集計値匿名化手法の提案2015

    • Author(s)
      清雄一, 大須賀昭彦
    • Organizer
      プライバシーワークショップ (PWS) co-located with コンピュータセ キュリティシンポジウム (CSS)
    • Place of Presentation
      長崎ブリックホール(長崎県長崎市)
    • Year and Date
      2015-10-21 – 2015-10-23
  • [Presentation] 主要語の変遷に着目した要求トピックの洗練化に関する考察2015

    • Author(s)
      高橋仁,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE)
    • Place of Presentation
      大阪大学吹田キャンパス(大阪府吹田市)
    • Year and Date
      2015-09-24 – 2015-09-25
  • [Presentation] 差分プライバシを満たすニューラルネットワークモデル構築手法の提案2015

    • Author(s)
      清雄一,大須賀昭彦
    • Organizer
      日本ソフトウェア科学会第32回大会
    • Place of Presentation
      早稲田大学西早稲田キャンパス(東京都新宿区)
    • Year and Date
      2015-09-08 – 2015-09-11
  • [Presentation] ソフトウェア工学の最新動向 -要求駆動型開発のすすめ-2015

    • Author(s)
      中川博之
    • Organizer
      株式会社 カジマアイシーティ
    • Place of Presentation
      株式会社 カジマアイシーティ(東京都港区)
    • Year and Date
      2015-09-04 – 2015-09-04
    • Invited
  • [Presentation] ニューラルネットワークによる洪水予測の精度向上2015

    • Author(s)
      一言正之,清雄一,桜庭雅明
    • Organizer
      2015年度人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学(北海道函館市)公立はこだて未来大学(北海道函館市)
    • Year and Date
      2015-05-30 – 2015-06-02
  • [Presentation] ユーザーの期待する反応に応じたツイート分類2015

    • Author(s)
      植田智明,折原良平,清雄一,田原康之,大須賀昭彦
    • Organizer
      2015年度人工知能学会全国大会(第29回)
    • Place of Presentation
      公立はこだて未来大学(北海道函館市)公立はこだて未来大学(北海道函館市)
    • Year and Date
      2015-05-30 – 2015-06-02
  • [Presentation] 実世界ハードウェアに対する自己適応フレームワークのプロトタイプ実装2015

    • Author(s)
      津田宏軌,中川博之,土屋達弘
    • Organizer
      電子情報通信学会 知能ソフトウェア工学研究会(SIG-KBSE), KBSE2015-7
    • Place of Presentation
      機械振興会館(東京都港区)
    • Year and Date
      2015-05-25 – 2015-05-26
  • [Remarks] 大須賀・田原研究室

    • URL

      http://www.ohsuga.lab.uec.ac.jp/

URL: 

Published: 2017-01-06  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi