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

2016 Fiscal Year Annual Research Report

Efficient runtime formal verification of aspect-oriented models@run.time systems

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

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

  • Research Products

    (54 results)

All 2017 2016 Other

All Journal Article (30 results) (of which Peer Reviewed: 30 results) Presentation (23 results) (of which Invited: 1 results) Remarks (1 results)

  • [Journal Article] 1.5車線的道路整備における待避区間の最適配置に向けた評価手法の検討2017

    • Author(s)
      天野和洋,前田宗宏,中村泰広,清雄一,大須賀昭彦
    • Journal Title

      土木学会論文集D3(土木計画学)

      Volume: 印刷中 Pages: 印刷中

    • Peer Reviewed
  • [Journal Article] Anonymization of Sensitive Quasi-Identifiers for l-diversity and t-closeness2017

    • Author(s)
      Yuichi Sei, Hiroshi Okumura, Takao Takenouchi, Akihiko Ohsuga
    • Journal Title

      IEEE Transactions on Dependable and Secure Computing

      Volume: 印刷中 Pages: 印刷中

    • Peer Reviewed
  • [Journal Article] Privacy-Preserving Chi-Squared Testing for Genome SNP Databases2017

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

      39th International Conference of the IEEE Engineering in Medicine and Biology Society (IEEE EMBC)

      Volume: 印刷中 Pages: 印刷中

    • Peer Reviewed
  • [Journal Article] A Visualization of Specification Coverage Based on Document Similarity2017

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

      Proc. of the 39th International Conference on Software Engineering (ICSE 2017)

      Volume: 印刷中 Pages: 印刷中

    • Peer Reviewed
  • [Journal Article] Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects2017

    • Author(s)
      Yasuyuki Tahara, Akihiko Ohsuga and Shinichi Honiden
    • Journal Title

      The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2017)

      Volume: 印刷中 Pages: 印刷中

    • Peer Reviewed
  • [Journal Article] Differential Private Data Collection and Analysis Based on Randomized Multiple Dummies for Untrusted Mobile Crowdsensing2017

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

      IEEE Transactions on Information Forensics and Security

      Volume: Vol.12, No.4 Pages: 926 - 939

    • DOI

      10.1109/TIFS.2016.2632069

    • Peer Reviewed
  • [Journal Article] クラウドソーシングワーカーの段階的育成方法の提案2017

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

      人工知能学会論文誌

      Volume: Vol.32, No.3 Pages: B-G81_1-13

    • DOI

      10.1527/tjsai.B-G81

    • Peer Reviewed
  • [Journal Article] Finding Minimum Locating Arrays Using a SAT Solver2017

    • Author(s)
      Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
    • Journal Title

      Proc. of the 6th International Workshop on Combinatorial Testing (IWCT 2017)

      Volume: 2017 Pages: 276-277

    • DOI

      10.1109/ICSTW.2017.49

    • Peer Reviewed
  • [Journal Article] Fast Many-to-One Voice Conversion using Autoencoders2017

    • Author(s)
      Yusuke Sekii, Ryohei Orihara, Keisuke Kojima, Sei Yuichi, Yasuyuki Tahara and Akihiko Ohsuga
    • Journal Title

      The 9th International Coneference on Agents and Artificial Intelligence (ICAART2017)

      Volume: Volume 2 Pages: 164-174

    • Peer Reviewed
  • [Journal Article] Japanese Text Classification by Character-Level Deep ConvNets and Transfer Learning2017

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

      The 9th International Coneference on Agents and Artificial Intelligence (ICAART2017)

      Volume: Volume 2 Pages: 175-184

    • Peer Reviewed
  • [Journal Article] An Observation of Behavioral Changes of Indoor Dogs in Response to Caring Behavior by Humanoid Robots--Can dogs and robots be companions?2017

    • Author(s)
      Motoko Suzuki, Sei Yuichi, Yasuyuki Tahara and Akihiko Ohsuga
    • Journal Title

      The 9th International Coneference on Agents and Artificial Intelligence (ICAART2017)

      Volume: Volume 2 Pages: 481-488

    • Peer Reviewed
  • [Journal Article] Sarcasm Detection Method to Improve Review Analysis2017

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

      The 9th International Coneference on Agents and Artificial Intelligence (ICAART2017)

      Volume: Volume 2 Pages: 519-526

    • Peer Reviewed
  • [Journal Article] 放置自転車問題解決に向けた循環型LOD構築システムの提案2016

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

      人工知能学会論文誌

      Volume: vol.31, no.6 Pages: AI30-K_1-12

    • DOI

      10.1527/tjsai.AI30-K

    • Peer Reviewed
  • [Journal Article] Privacy-Preserving Publication of Deep Neural Networks2016

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

      2nd IEEE International Conference on Data Science and Systems (DSS)

      Volume: 2016 Pages: 1418-1425

    • DOI

      10.1109/HPCC-SmartCity-DSS.2016.0202

    • Peer Reviewed
  • [Journal Article] Semantics-based news delivering service2016

    • Author(s)
      Ryohei Yoko, Takahiro Kawamura, Akihiko Ohsuga
    • Journal Title

      International Journal of Semantic Computing, 10th Anniversary Special Issue

      Volume: Vol.10, No.4 Pages: 445-459

    • DOI

      10.1142/S1793351X1640016X

    • Peer Reviewed
  • [Journal Article] Estimation of Spatio-temporal Missing Data for Expanding Urban LOD2016

    • Author(s)
      Shusaku Egami, Takahiro Kawamura, Akihiko Ohsuga
    • Journal Title

      The 6th Joint International Semantic Technology Conference (JIST2016)

      Volume: 2016 Pages: 152-167

    • DOI

      10.1007/978-3-319-50112-3_12

    • Peer Reviewed
  • [Journal Article] Linked Data Collection and Analysis Platform of Audio Features2016

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

      The 6th Joint International Semantic Technology Conference (JIST2016)

      Volume: 2016 Pages: 127-135

    • Peer Reviewed
  • [Journal Article] Caching Strategies for Run-time Probabilistic Model Checking2016

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

      Proc. of the 11th International Workshop on Models@run.time (MRT 2016)

      Volume: 2016 Pages: 1-8

    • Peer Reviewed
  • [Journal Article] Building Urban LOD for Solving Illegally Parked Bicycles in Tokyo2016

    • Author(s)
      Shusaku Egami, Takahiro Kawamura, Akihiko Ohsuga
    • Journal Title

      The 15th International Semantic Web Conference (ISWC2016)

      Volume: 2016 Pages: 291-307

    • DOI

      10.1007/978-3-319-46547-0_28

    • Peer Reviewed
  • [Journal Article] Development of Web API for Triplification of Text Information2016

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

      New Generation Computing

      Volume: Vol.34, No.4 Pages: 307-321

    • DOI

      10.1007/s00354-016-0401-0

    • Peer Reviewed
  • [Journal Article] A Search-based Constraint Elicitation in Test Design2016

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

      IEICE Transactions on Information and Systems

      Volume: Vol. E99-D, No. 9 Pages: 2229-2238

    • DOI

      10.1587/transinf.2015KBP0010

    • Peer Reviewed
  • [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 XXVII

      Volume: LNCS Vol.9860 Pages: 129-141

    • DOI

      10.1007/978-3-662-53416-8_8

    • Peer Reviewed
  • [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 XXVII

      Volume: LNCS Vol.9860 Pages: 19-30

    • DOI

      10.1007/978-3-662-53416-8_2

    • Peer Reviewed
  • [Journal Article] A Dynamic Verification Mechanism for Real-time Self-adaptive Systems2016

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

      Proc. of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016)

      Volume: 2016 Pages: 265-266

    • DOI

      10.1109/FAS-W.2016.62

    • Peer Reviewed
  • [Journal Article] Quality Improvement by Worker Filtering and Development in Crowdsourcing2016

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

      Web Intelligence Journal

      Volume: Vol.14, No.3 Pages: 229-244

    • DOI

      10.3233/WEB-160341

    • Peer Reviewed
  • [Journal Article] Process Mining Approach Based on Partial Structures of Event Logs and Decision Tree Learning2016

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

      5th International Congress on Advanced Applied Informatics (IIAI-AAI 2016)

      Volume: 2016 Pages: 113-118

    • DOI

      10.1109/IIAI-AAI.2016.174

    • Peer Reviewed
  • [Journal Article] Schema Design of Illegally Parked Bicycles LOD2016

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

      5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI2016)

      Volume: 2016 Pages: 692-697

    • DOI

      10.1109/IIAI-AAI.2016.226

    • Peer Reviewed
  • [Journal Article] Business 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: 89-102

    • DOI

      10.1007/978-3-319-40171-3_7

    • Peer Reviewed
  • [Journal Article] Location Anonymization with Considering Errors and Existence Probability2016

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

      IEEE Transactions on System, Man, and Cybernetics: Systems

      Volume: Volume: PP, Issue: 99 Pages: 1 - 12

    • DOI

      10.1109/TSMC.2016.2564928

    • Peer Reviewed
  • [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, pp.1214-1216 (SAC 2016)

      Volume: 2016 Pages: 1214-1218

    • DOI

      10.1145/2851613.2851898

    • Peer Reviewed
  • [Presentation] 静的解析を利用したセキュアなハイブリッドアプリの開発支援に関する研究2017

    • Author(s)
      坂周英,清雄一,田原康之,大須賀昭彦
    • Organizer
      情報処理学会全国大会(第79回)
    • Place of Presentation
      名古屋大学 東山キャンパス(愛知県名古屋市)
    • Year and Date
      2017-03-16 – 2017-03-18
  • [Presentation] PhoTopicChat: SNSにおける話題連動画像表示手法の提案2017

    • Author(s)
      奥原史佳,清雄一,田原康之,大須賀昭彦
    • Organizer
      情報処理学会全国大会(第79回)
    • Place of Presentation
      名古屋大学 東山キャンパス(愛知県名古屋市)
    • Year and Date
      2017-03-16 – 2017-03-18
  • [Presentation] センシティブ属性値の距離を考慮したダミー追加によるl-多様性アルゴリズムの提案2017

    • Author(s)
      大石慶一朗,清雄一,田原康之,大須賀昭彦
    • Organizer
      情報処理学会全国大会(第79回)
    • Place of Presentation
      名古屋大学 東山キャンパス(愛知県名古屋市)
    • Year and Date
      2017-03-16 – 2017-03-18
  • [Presentation] 重複データのある水平分割データベースのダミー値追加による匿名化2017

    • Author(s)
      伊奈優樹,清雄一,田原康之,大須賀昭彦
    • Organizer
      情報処理学会全国大会(第79回)
    • Place of Presentation
      名古屋大学 東山キャンパス(愛知県名古屋市)
    • Year and Date
      2017-03-16 – 2017-03-18
  • [Presentation] 抽出ルールに基づいた要求記述からのゴールモデルの構築支援2017

    • Author(s)
      島田裕紀,中川博之,小島英春,土屋達弘
    • Organizer
      第195回情報処理学会ソフトウェア工学研究発表会
    • Place of Presentation
      早稲田大学 西早稲田キャンパス((東京都新宿区)
    • Year and Date
      2017-03-12 – 2017-03-13
  • [Presentation] システム環境の変化傾向に基づいた効率的な構成切り替え手法2017

    • Author(s)
      妙見侑祐,中川博之,土屋達弘
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会 (SIG-KBSE) , KBSE2016-39
    • Place of Presentation
      石川県金沢市 ITビジネスプラザ武蔵(石川県金沢市)
    • Year and Date
      2017-03-03 – 2017-03-04
  • [Presentation] キャッシュの効率利用による自己適応システムの動的モデル検査法改善2017

    • Author(s)
      外山大夢,中川博之,小島英春,土屋達弘
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会 (SIG-KBSE) , KBSE2016-39
    • Place of Presentation
      石川県金沢市 ITビジネスプラザ武蔵(石川県金沢市)
    • Year and Date
      2017-03-03 – 2017-03-04
  • [Presentation] IoTシステムの要求分析支援手法の実現に向けた取り組み~アクタ関係に注目して~2017

    • Author(s)
      小形真平,中川博之,青木善貴,小林一樹
    • Organizer
      ウィンターワークショップ 2017・イ ン・飛騨高山
    • Place of Presentation
      高山市民文化会館/ひだホテルプラザ(岐阜県高山市)
    • Year and Date
      2017-01-19 – 2017-01-20
  • [Presentation] 要求の類似度に基づいたカバレッジ可視化手法の提案2016

    • Author(s)
      松井勝利,中川博之,土屋達弘
    • Organizer
      第 14 回ディペンダブルシステムワークショップ DSW 2016
    • Place of Presentation
      花びしホテル(北海道函館市)
    • Year and Date
      2016-12-14 – 2016-12-15
  • [Presentation] IoTシステムの安全性検証手法の提案2016

    • Author(s)
      青木善貴,小形真平,小林一樹,中川博之
    • Organizer
      第23回ソフトウェア工学の基礎ワークショップ(FOSE)
    • Place of Presentation
      ことひら温泉 琴参閣(香川県仲多度郡)
    • Year and Date
      2016-12-01 – 2016-12-03
  • [Presentation] テスト計画に対する要求カバレッジ可視化手法の提案2016

    • Author(s)
      松井勝利,中川博之,土屋達弘
    • Organizer
      第23回ソフトウェア工学の基礎ワークショップ(FOSE)
    • Place of Presentation
      ことひら温泉 琴参閣(香川県仲多度郡)
    • Year and Date
      2016-12-01 – 2016-12-03
  • [Presentation] Layard: IoTシステムの要求分析におけるアクタ中心のモデル図2016

    • Author(s)
      小形真平,小林一樹,青木善貴,中川博之
    • Organizer
      第23回ソフトウェア工学の基礎ワークショップ(FOSE)
    • Place of Presentation
      ことひら温泉 琴参閣(香川県仲多度郡)
    • Year and Date
      2016-12-01 – 2016-12-03
  • [Presentation] シンスライシングを用いたWEBアプリのための設定ファイル参照ミス検知手法の試作と評価2016

    • Author(s)
      依田みなみ,清雄一,田原康之,大須賀昭彦
    • Organizer
      第23回ソフトウェア工学の基礎ワークショップ(FOSE)
    • Place of Presentation
      ことひら温泉 琴参閣(香川県仲多度郡)
    • Year and Date
      2016-12-01 – 2016-12-03
  • [Presentation] 複数の機器連携を前提としたスマートホームサービス導出の試み2016

    • Author(s)
      粂野文洋,杉村博,清雄一,鄭顕志,田原康之,大須賀昭彦
    • Organizer
      合同エージェントワークショップ&シンポジウム (JAWS)
    • Place of Presentation
      かんぽの宿 岐阜羽島(岐阜県羽島市)
    • Year and Date
      2016-09-15 – 2016-09-16
  • [Presentation] オートエンコーダを利用した複数話者の声質変換2016

    • Author(s)
      関井祐介,折原良平,清雄一,田原康之,大須賀昭彦
    • Organizer
      合同エージェントワークショップ&シンポジウム (JAWS)
    • Place of Presentation
      かんぽの宿 岐阜羽島(岐阜県羽島市)
    • Year and Date
      2016-09-15 – 2016-09-16
  • [Presentation] 音楽情報処理のためのLinked Data収集・分析基盤の構築2016

    • Author(s)
      上原有里,川村隆浩,清雄一,田原康之,大須賀昭彦
    • Organizer
      合同エージェントワークショップ&シンポジウム (JAWS)
    • Place of Presentation
      かんぽの宿 岐阜羽島(岐阜県羽島市)
    • Year and Date
      2016-09-15 – 2016-09-16
  • [Presentation] 文字レベル深層学習による日本語テキストの分類と転移学習2016

    • Author(s)
      佐藤挙斗,折原良平,清雄一,田原康之,大須賀昭彦
    • Organizer
      合同エージェントワークショップ&シンポジウム (JAWS)
    • Place of Presentation
      かんぽの宿 岐阜羽島(岐阜県羽島市)
    • Year and Date
      2016-09-15 – 2016-09-16
  • [Presentation] 家庭におけるペット-ロボットインタラクション~ロボットの世話行動による犬の行動変化の調査~2016

    • Author(s)
      鈴木もとこ,清雄一,田原康之,大須賀昭彦
    • Organizer
      合同エージェントワークショップ&シンポジウム (JAWS)
    • Place of Presentation
      かんぽの宿 岐阜羽島(岐阜県羽島市)
    • Year and Date
      2016-09-15 – 2016-09-16
  • [Presentation] オンラインレビューサイトにおけるレビュー解析精度向上に向けた皮肉文判別2016

    • Author(s)
      鈴木翔太,清雄一,田原康之,大須賀昭彦
    • Organizer
      合同エージェントワークショップ&シンポジウム (JAWS)
    • Place of Presentation
      かんぽの宿 岐阜羽島(岐阜県羽島市)
    • Year and Date
      2016-09-15 – 2016-09-16
  • [Presentation] 時間制約を考慮可能な動的検証機能を備えた自己適応システム実装フレームワーク2016

    • Author(s)
      津田宏軌,中川博之,土屋達弘
    • Organizer
      第 15 回情報科学技術フォーラム(FIT2016)
    • Place of Presentation
      富山大学五福キャンパス(富山県富山市)
    • Year and Date
      2016-09-07 – 2016-09-09
  • [Presentation] 自ら考え適応するソフトウェアの実現に向けて2016

    • Author(s)
      中川博之
    • Organizer
      大阪大学基礎工学部 第 38 回公開講座「未来を拓く先端科学技術」
    • Place of Presentation
      大阪大学豊中キャンパス(大阪府豊中市)
    • Year and Date
      2016-08-04 – 2016-08-04
    • Invited
  • [Presentation] 家庭におけるペット-ロボットインタラクション~ロボットは犬の世話をすることができ るのか~2016

    • Author(s)
      鈴木もとこ,清雄一,田原康之,大須賀昭彦
    • Organizer
      マルチメディア,分散,協調とモバイル(DICOMO)シンポジ ウム
    • Place of Presentation
      鳥羽シーサイドホテル(三重県鳥羽市)
    • Year and Date
      2016-07-06 – 2016-07-08
  • [Presentation] トピックモデリングを用いたテストケース記述クラスタリングに関する考察2016

    • Author(s)
      高橋仁,中川博之,土屋達弘
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会 (SIG-KBSE) , KBSE2016-01
    • Place of Presentation
      同志社大学 東京オフィス(東京都中央区)
    • Year and Date
      2016-05-26 – 2016-05-27
  • [Remarks] 大須賀・田原・清研究室

    • URL

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

URL: 

Published: 2018-01-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi