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

2016 年度 実績報告書

• 研究課題/領域番号: 26330081
• 研究機関: 電気通信大学
• 研究代表者: 田原 康之 電気通信大学, 大学院情報理工学研究科, 准教授 (30390602)
• 研究分担者: 清 雄一 電気通信大学, 大学院情報理工学研究科, 助教 (20700157) ; 中川 博之 大阪大学, 情報科学研究科, 准教授 (40508834) ; 大須賀 昭彦 電気通信大学, 大学院情報理工学研究科, 教授 (90393842)
• 研究期間 (年度): 2014-04-01 – 2017-03-31
• キーワード: ソフトウェア工学 / アスペクト指向 / models@run.time / 形式手法 / モデル検査 / リフレクション / 抽象化 / 自己適応システム

研究実績の概要

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

研究成果

• [雑誌論文] 1.5車線的道路整備における待避区間の最適配置に向けた評価手法の検討 (2017)
  • 著者名/発表者名: 天野和洋，前田宗宏，中村泰広，清雄一，大須賀昭彦
  • 雑誌名: 土木学会論文集D3（土木計画学） 巻: 印刷中 ページ: 印刷中
  • 査読あり
• [雑誌論文] Anonymization of Sensitive Quasi-Identifiers for l-diversity and t-closeness (2017)
  • 著者名/発表者名: Yuichi Sei, Hiroshi Okumura, Takao Takenouchi, Akihiko Ohsuga
  • 雑誌名: IEEE Transactions on Dependable and Secure Computing 巻: 印刷中 ページ: 印刷中
  • 査読あり
• [雑誌論文] Privacy-Preserving Chi-Squared Testing for Genome SNP Databases (2017)
  • 著者名/発表者名: Yuichi Sei, Akihiko Ohsuga
  • 雑誌名: 39th International Conference of the IEEE Engineering in Medicine and Biology Society (IEEE EMBC) 巻: 印刷中 ページ: 印刷中
  • 査読あり
• [雑誌論文] A Visualization of Specification Coverage Based on Document Similarity (2017)
  • 著者名/発表者名: Hiroyuki Nakagawa, Shori Matsui, Tatsuhiro Tsuchiya
  • 雑誌名: Proc. of the 39th International Conference on Software Engineering (ICSE 2017) 巻: 印刷中 ページ: 印刷中
  • 査読あり
• [雑誌論文] Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects (2017)
  • 著者名/発表者名: Yasuyuki Tahara, Akihiko Ohsuga and Shinichi Honiden
  • 雑誌名: The 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS2017) 巻: 印刷中 ページ: 印刷中
  • 査読あり
• [雑誌論文] Differential Private Data Collection and Analysis Based on Randomized Multiple Dummies for Untrusted Mobile Crowdsensing (2017)
  • 著者名/発表者名: Yuichi Sei and Akihiko Ohsuga
  • 雑誌名: IEEE Transactions on Information Forensics and Security 巻: Vol.12, No.4 ページ: 926 - 939
  • DOI: 10.1109/TIFS.2016.2632069
  • 査読あり
• [雑誌論文] クラウドソーシングワーカーの段階的育成方法の提案 (2017)
  • 著者名/発表者名: 芦川将之，川村隆浩，大須賀昭彦
  • 雑誌名: 人工知能学会論文誌 巻: Vol.32, No.3 ページ: B-G81_1-13
  • DOI: 10.1527/tjsai.B-G81
  • 査読あり
• [雑誌論文] Finding Minimum Locating Arrays Using a SAT Solver (2017)
  • 著者名/発表者名: Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
  • 雑誌名: Proc. of the 6th International Workshop on Combinatorial Testing (IWCT 2017) 巻: 2017 ページ: 276-277
  • DOI: 10.1109/ICSTW.2017.49
  • 査読あり
• [雑誌論文] Fast Many-to-One Voice Conversion using Autoencoders (2017)
  • 著者名/発表者名: Yusuke Sekii, Ryohei Orihara, Keisuke Kojima, Sei Yuichi, Yasuyuki Tahara and Akihiko Ohsuga
  • 雑誌名: The 9th International Coneference on Agents and Artificial Intelligence (ICAART2017) 巻: Volume 2 ページ: 164-174
  • 査読あり
• [雑誌論文] Japanese Text Classification by Character-Level Deep ConvNets and Transfer Learning (2017)
  • 著者名/発表者名: Minato Sato, Ryohei Orihara, Sei Yuichi, Yasuyuki Tahara and Akihiko Ohsuga
  • 雑誌名: The 9th International Coneference on Agents and Artificial Intelligence (ICAART2017) 巻: Volume 2 ページ: 175-184
  • 査読あり
• [雑誌論文] An Observation of Behavioral Changes of Indoor Dogs in Response to Caring Behavior by Humanoid Robots--Can dogs and robots be companions? (2017)
  • 著者名/発表者名: Motoko Suzuki, Sei Yuichi, Yasuyuki Tahara and Akihiko Ohsuga
  • 雑誌名: The 9th International Coneference on Agents and Artificial Intelligence (ICAART2017) 巻: Volume 2 ページ: 481-488
  • 査読あり
• [雑誌論文] Sarcasm Detection Method to Improve Review Analysis (2017)
  • 著者名/発表者名: Shota Suzuki, Ryohei Orihara, Sei Yuichi, Yasuyuki Tahara and Akihiko Ohsuga
  • 雑誌名: The 9th International Coneference on Agents and Artificial Intelligence (ICAART2017) 巻: Volume 2 ページ: 519-526
  • 査読あり
• [雑誌論文] 放置自転車問題解決に向けた循環型LOD構築システムの提案 (2016)
  • 著者名/発表者名: 江上周作，川村隆浩，清雄一，田原康之，大須賀昭彦
  • 雑誌名: 人工知能学会論文誌 巻: vol.31, no.6 ページ: AI30-K_1-12
  • DOI: 10.1527/tjsai.AI30-K
  • 査読あり
• [雑誌論文] Privacy-Preserving Publication of Deep Neural Networks (2016)
  • 著者名/発表者名: Yuichi Sei, Hiroshi Okumura, Akihiko Ohsuga
  • 雑誌名: 2nd IEEE International Conference on Data Science and Systems (DSS) 巻: 2016 ページ: 1418-1425
  • DOI: 10.1109/HPCC-SmartCity-DSS.2016.0202
  • 査読あり
• [雑誌論文] Semantics-based news delivering service (2016)
  • 著者名/発表者名: Ryohei Yoko, Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: International Journal of Semantic Computing, 10th Anniversary Special Issue 巻: Vol.10, No.4 ページ: 445-459
  • DOI: 10.1142/S1793351X1640016X
  • 査読あり
• [雑誌論文] Estimation of Spatio-temporal Missing Data for Expanding Urban LOD (2016)
  • 著者名/発表者名: Shusaku Egami, Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: The 6th Joint International Semantic Technology Conference (JIST2016) 巻: 2016 ページ: 152-167
  • DOI: 10.1007/978-3-319-50112-3_12
  • 査読あり
• [雑誌論文] Linked Data Collection and Analysis Platform of Audio Features (2016)
  • 著者名/発表者名: Yuri Uehara, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: The 6th Joint International Semantic Technology Conference (JIST2016) 巻: 2016 ページ: 127-135
  • 査読あり
• [雑誌論文] Caching Strategies for Run-time Probabilistic Model Checking (2016)
  • 著者名/発表者名: Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya
  • 雑誌名: Proc. of the 11th International Workshop on Models@run.time (MRT 2016) 巻: 2016 ページ: 1-8
  • 査読あり
• [雑誌論文] Building Urban LOD for Solving Illegally Parked Bicycles in Tokyo (2016)
  • 著者名/発表者名: Shusaku Egami, Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: The 15th International Semantic Web Conference (ISWC2016) 巻: 2016 ページ: 291-307
  • DOI: 10.1007/978-3-319-46547-0_28
  • 査読あり
• [雑誌論文] Development of Web API for Triplification of Text Information (2016)
  • 著者名/発表者名: Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: New Generation Computing 巻: Vol.34, No.4 ページ: 307-321
  • DOI: 10.1007/s00354-016-0401-0
  • 査読あり
• [雑誌論文] A Search-based Constraint Elicitation in Test Design (2016)
  • 著者名/発表者名: Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
  • 雑誌名: IEICE Transactions on Information and Systems 巻: Vol. E99-D, No. 9 ページ: 2229-2238
  • DOI: 10.1587/transinf.2015KBP0010
  • 査読あり
• [雑誌論文] A Solution to Visualize Open Urban Data for Illegally Parked Bicycles (2016)
  • 著者名/発表者名: Shusaku Egami, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 雑誌名: Transactions on Large-Scale Data and Knowledge-Centered Systems XXVII 巻: LNCS Vol.9860 ページ: 129-141
  • DOI: 10.1007/978-3-662-53416-8_8
  • 査読あり
• [雑誌論文] Sake Selection Support Application for Countryside Tourism (2016)
  • 著者名/発表者名: Teruyuki Iijima, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara and Akihiko Ohsuga
  • 雑誌名: Transactions on Large-Scale Data and Knowledge-Centered Systems XXVII 巻: LNCS Vol.9860 ページ: 19-30
  • DOI: 10.1007/978-3-662-53416-8_2
  • 査読あり
• [雑誌論文] A Dynamic Verification Mechanism for Real-time Self-adaptive Systems (2016)
  • 著者名/発表者名: Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
  • 雑誌名: Proc. of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016) 巻: 2016 ページ: 265-266
  • DOI: 10.1109/FAS-W.2016.62
  • 査読あり
• [雑誌論文] Quality Improvement by Worker Filtering and Development in Crowdsourcing (2016)
  • 著者名/発表者名: Masayuki Ashikawa, Takahiro Kawamura and Akihiko Ohsuga
  • 雑誌名: Web Intelligence Journal 巻: Vol.14, No.3 ページ: 229-244
  • DOI: 10.3233/WEB-160341
  • 査読あり
• [雑誌論文] Process Mining Approach Based on Partial Structures of Event Logs and Decision Tree Learning (2016)
  • 著者名/発表者名: Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: 5th International Congress on Advanced Applied Informatics (IIAI-AAI 2016) 巻: 2016 ページ: 113-118
  • DOI: 10.1109/IIAI-AAI.2016.174
  • 査読あり
• [雑誌論文] Schema Design of Illegally Parked Bicycles LOD (2016)
  • 著者名/発表者名: Shusaku Egami, Takahiro Kawamura, Yuichi Sei, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI2016) 巻: 2016 ページ: 692-697
  • DOI: 10.1109/IIAI-AAI.2016.226
  • 査読あり
• [雑誌論文] Business Process Verification and Restructuring LTL Formula Based on Machine Learning Approach (2016)
  • 著者名/発表者名: Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: "Studies in Computational Intelligence" (Selected papers from 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2016)) 巻: 2016 ページ: 89-102
  • DOI: 10.1007/978-3-319-40171-3_7
  • 査読あり
• [雑誌論文] Location Anonymization with Considering Errors and Existence Probability (2016)
  • 著者名/発表者名: Yuichi Sei and Akihiko Ohsuga
  • 雑誌名: IEEE Transactions on System, Man, and Cybernetics: Systems 巻: Volume: PP, Issue: 99 ページ: 1 - 12
  • DOI: 10.1109/TSMC.2016.2564928
  • 査読あり
• [雑誌論文] Goal Achievement Analysis based on LTL Checking and Decision Tree for Improvements of PAIS (2016)
  • 著者名/発表者名: Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: 31th Annual ACM Symposium on Applied Computing, pp.1214-1216 (SAC 2016) 巻: 2016 ページ: 1214-1218
  • DOI: 10.1145/2851613.2851898
  • 査読あり
• [学会発表] 静的解析を利用したセキュアなハイブリッドアプリの開発支援に関する研究 (2017)
  • 著者名/発表者名: 坂周英,清雄一,田原康之,大須賀昭彦
  • 学会等名: 情報処理学会全国大会(第79回)
  • 発表場所: 名古屋大学 東山キャンパス（愛知県名古屋市）
  • 年月日: 2017-03-16 – 2017-03-18
• [学会発表] PhoTopicChat: SNSにおける話題連動画像表示手法の提案 (2017)
  • 著者名/発表者名: 奥原史佳,清雄一,田原康之,大須賀昭彦
  • 学会等名: 情報処理学会全国大会(第79回)
  • 発表場所: 名古屋大学 東山キャンパス（愛知県名古屋市）
  • 年月日: 2017-03-16 – 2017-03-18
• [学会発表] センシティブ属性値の距離を考慮したダミー追加によるl-多様性アルゴリズムの提案 (2017)
  • 著者名/発表者名: 大石慶一朗,清雄一,田原康之,大須賀昭彦
  • 学会等名: 情報処理学会全国大会(第79回)
  • 発表場所: 名古屋大学 東山キャンパス（愛知県名古屋市）
  • 年月日: 2017-03-16 – 2017-03-18
• [学会発表] 重複データのある水平分割データベースのダミー値追加による匿名化 (2017)
  • 著者名/発表者名: 伊奈優樹,清雄一,田原康之,大須賀昭彦
  • 学会等名: 情報処理学会全国大会(第79回)
  • 発表場所: 名古屋大学 東山キャンパス（愛知県名古屋市）
  • 年月日: 2017-03-16 – 2017-03-18
• [学会発表] 抽出ルールに基づいた要求記述からのゴールモデルの構築支援 (2017)
  • 著者名/発表者名: 島田裕紀,中川博之,小島英春,土屋達弘
  • 学会等名: 第195回情報処理学会ソフトウェア工学研究発表会
  • 発表場所: 早稲田大学 西早稲田キャンパス（（東京都新宿区）
  • 年月日: 2017-03-12 – 2017-03-13
• [学会発表] システム環境の変化傾向に基づいた効率的な構成切り替え手法 (2017)
  • 著者名/発表者名: 妙見侑祐,中川博之,土屋達弘
  • 学会等名: 電子情報通信学会知能ソフトウェア工学研究会 (SIG-KBSE) , KBSE2016-39
  • 発表場所: 石川県金沢市 ITビジネスプラザ武蔵（石川県金沢市）
  • 年月日: 2017-03-03 – 2017-03-04
• [学会発表] キャッシュの効率利用による自己適応システムの動的モデル検査法改善 (2017)
  • 著者名/発表者名: 外山大夢,中川博之,小島英春,土屋達弘
  • 学会等名: 電子情報通信学会知能ソフトウェア工学研究会 (SIG-KBSE) , KBSE2016-39
  • 発表場所: 石川県金沢市 ITビジネスプラザ武蔵（石川県金沢市）
  • 年月日: 2017-03-03 – 2017-03-04
• [学会発表] IoTシステムの要求分析支援手法の実現に向けた取り組み～アクタ関係に注目して～ (2017)
  • 著者名/発表者名: 小形真平,中川博之,青木善貴,小林一樹
  • 学会等名: ウィンターワークショップ 2017・イ ン・飛騨高山
  • 発表場所: 高山市民文化会館／ひだホテルプラザ（岐阜県高山市）
  • 年月日: 2017-01-19 – 2017-01-20
• [学会発表] 要求の類似度に基づいたカバレッジ可視化手法の提案 (2016)
  • 著者名/発表者名: 松井勝利,中川博之,土屋達弘
  • 学会等名: 第 14 回ディペンダブルシステムワークショップ DSW 2016
  • 発表場所: 花びしホテル（北海道函館市）
  • 年月日: 2016-12-14 – 2016-12-15
• [学会発表] IoTシステムの安全性検証手法の提案 (2016)
  • 著者名/発表者名: 青木善貴,小形真平,小林一樹,中川博之
  • 学会等名: 第23回ソフトウェア工学の基礎ワークショップ(FOSE)
  • 発表場所: ことひら温泉 琴参閣（香川県仲多度郡）
  • 年月日: 2016-12-01 – 2016-12-03
• [学会発表] テスト計画に対する要求カバレッジ可視化手法の提案 (2016)
  • 著者名/発表者名: 松井勝利,中川博之,土屋達弘
  • 学会等名: 第23回ソフトウェア工学の基礎ワークショップ(FOSE)
  • 発表場所: ことひら温泉 琴参閣（香川県仲多度郡）
  • 年月日: 2016-12-01 – 2016-12-03
• [学会発表] Layard: IoTシステムの要求分析におけるアクタ中心のモデル図 (2016)
  • 著者名/発表者名: 小形真平,小林一樹,青木善貴,中川博之
  • 学会等名: 第23回ソフトウェア工学の基礎ワークショップ(FOSE)
  • 発表場所: ことひら温泉 琴参閣（香川県仲多度郡）
  • 年月日: 2016-12-01 – 2016-12-03
• [学会発表] シンスライシングを用いたWEBアプリのための設定ファイル参照ミス検知手法の試作と評価 (2016)
  • 著者名/発表者名: 依田みなみ,清雄一,田原康之,大須賀昭彦
  • 学会等名: 第23回ソフトウェア工学の基礎ワークショップ(FOSE)
  • 発表場所: ことひら温泉 琴参閣（香川県仲多度郡）
  • 年月日: 2016-12-01 – 2016-12-03
• [学会発表] 複数の機器連携を前提としたスマートホームサービス導出の試み (2016)
  • 著者名/発表者名: 粂野文洋,杉村博,清雄一,鄭顕志,田原康之,大須賀昭彦
  • 学会等名: 合同エージェントワークショップ&シンポジウム (JAWS)
  • 発表場所: かんぽの宿 岐阜羽島（岐阜県羽島市）
  • 年月日: 2016-09-15 – 2016-09-16
• [学会発表] オートエンコーダを利用した複数話者の声質変換 (2016)
  • 著者名/発表者名: 関井祐介,折原良平,清雄一,田原康之,大須賀昭彦
  • 学会等名: 合同エージェントワークショップ&シンポジウム (JAWS)
  • 発表場所: かんぽの宿 岐阜羽島（岐阜県羽島市）
  • 年月日: 2016-09-15 – 2016-09-16
• [学会発表] 音楽情報処理のためのLinked Data収集・分析基盤の構築 (2016)
  • 著者名/発表者名: 上原有里,川村隆浩,清雄一,田原康之,大須賀昭彦
  • 学会等名: 合同エージェントワークショップ&シンポジウム (JAWS)
  • 発表場所: かんぽの宿 岐阜羽島（岐阜県羽島市）
  • 年月日: 2016-09-15 – 2016-09-16
• [学会発表] 文字レベル深層学習による日本語テキストの分類と転移学習 (2016)
  • 著者名/発表者名: 佐藤挙斗,折原良平,清雄一,田原康之,大須賀昭彦
  • 学会等名: 合同エージェントワークショップ&シンポジウム (JAWS)
  • 発表場所: かんぽの宿 岐阜羽島（岐阜県羽島市）
  • 年月日: 2016-09-15 – 2016-09-16
• [学会発表] 家庭におけるペット-ロボットインタラクション～ロボットの世話行動による犬の行動変化の調査～ (2016)
  • 著者名/発表者名: 鈴木もとこ,清雄一,田原康之,大須賀昭彦
  • 学会等名: 合同エージェントワークショップ&シンポジウム (JAWS)
  • 発表場所: かんぽの宿 岐阜羽島（岐阜県羽島市）
  • 年月日: 2016-09-15 – 2016-09-16
• [学会発表] オンラインレビューサイトにおけるレビュー解析精度向上に向けた皮肉文判別 (2016)
  • 著者名/発表者名: 鈴木翔太,清雄一,田原康之,大須賀昭彦
  • 学会等名: 合同エージェントワークショップ&シンポジウム (JAWS)
  • 発表場所: かんぽの宿 岐阜羽島（岐阜県羽島市）
  • 年月日: 2016-09-15 – 2016-09-16
• [学会発表] 時間制約を考慮可能な動的検証機能を備えた自己適応システム実装フレームワーク (2016)
  • 著者名/発表者名: 津田宏軌,中川博之,土屋達弘
  • 学会等名: 第 15 回情報科学技術フォーラム(FIT2016)
  • 発表場所: 富山大学五福キャンパス（富山県富山市）
  • 年月日: 2016-09-07 – 2016-09-09
• [学会発表] 自ら考え適応するソフトウェアの実現に向けて (2016)
  • 著者名/発表者名: 中川博之
  • 学会等名: 大阪大学基礎工学部 第 38 回公開講座「未来を拓く先端科学技術」
  • 発表場所: 大阪大学豊中キャンパス（大阪府豊中市）
  • 年月日: 2016-08-04 – 2016-08-04
  • 招待講演
• [学会発表] 家庭におけるペット－ロボットインタラクション～ロボットは犬の世話をすることができ るのか～ (2016)
  • 著者名/発表者名: 鈴木もとこ,清雄一,田原康之,大須賀昭彦
  • 学会等名: マルチメディア,分散,協調とモバイル(DICOMO)シンポジ ウム
  • 発表場所: 鳥羽シーサイドホテル（三重県鳥羽市）
  • 年月日: 2016-07-06 – 2016-07-08
• [学会発表] トピックモデリングを用いたテストケース記述クラスタリングに関する考察 (2016)
  • 著者名/発表者名: 高橋仁,中川博之,土屋達弘
  • 学会等名: 電子情報通信学会知能ソフトウェア工学研究会 (SIG-KBSE) , KBSE2016-01
  • 発表場所: 同志社大学 東京オフィス（東京都中央区）
  • 年月日: 2016-05-26 – 2016-05-27
• [備考] 大須賀・田原・清研究室
  • URL: http://www.ohsuga.lab.uec.ac.jp/