ゴール指向要求記述を用いた自己適応システムの検証手段に関する研究

2013 年度 研究成果報告書

• 研究課題/領域番号: 23500039
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 電気通信大学
• 研究代表者: 田原 康之 電気通信大学, 大学院情報システム学研究科, 准教授 (30390602)
• 研究分担者: 中川 博之 大阪大学, 大学院・情報科学研究科, 准教授 (40508834) ; 大須賀 昭彦 電気通信大学, 大学院・情報システム学研究科, 教授 (90393842)
• 研究期間 (年度): 2011 – 2013
• キーワード: ソフトウェア工学 / モデル検査 / 自己適応システム

研究概要

本研究では，自己適応システムの検証に状態マシン図などのUMLモデルだけでなく，ゴール指向要求記述も利用することにより，各検証に必要な状態数を抑制するとともに，要求に対して直感的に検証結果を確認することのできる自己適応システムの検証手段を確立し，検証をサポートするツール群（変換ツールおよび検証ツール）を実装した．また，検証結果に基づいた自己適応システムの実装手段を検討し，確立した．

研究成果

• [雑誌論文] Transformation Approach from KAOS Goal Models to BPMN Models Using Refinement Patterns (2014)
  • 著者名/発表者名: Hiroki Horita, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: 29th Annual ACM Symposium on Applied Computing, (SAC 2014) ページ: 1023-1024
  • 査読あり
• [雑誌論文] Identification of Flaming and Its Applications in CGM : Case Studies toward Ultimate Prevention (2014)
  • 著者名/発表者名: Yuki Iwasaki, Ryohei Orihara, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: 6th International Conference on Agents and Artificial Intelligence, (ICAART 2014)
  • DOI: 10.5220/0004916606390644
  • 査読あり
• [雑誌論文] Surprising Recipe Extraction Based on Rarity and Generality of Ingredients (2014)
  • 著者名/発表者名: Kyosuke Ikejiri, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: 6th International Conference on Agents and Artificial Intelligence, (ICAART 2014)
  • DOI: 10.5220/0004817304280436
  • 査読あり
• [雑誌論文] メディア情報のLinked Data 化と活用事例の提案 (2013)
  • 著者名/発表者名: 川村 隆浩, 越川 兼地, 中川 博之, 清雄一, 田原 康之, 大須賀 昭彦
  • 雑誌名: 電子情報通信学会論文誌 巻: Vol.J96-D, No.12 ページ: 2987-299
  • 査読あり
• [雑誌論文] Twitter からの呟かれなかった行動の推測手法の提案-震災時の帰宅行動に関する事例検討- (2013)
  • 著者名/発表者名: グエン ミン テイ, 川村 隆浩, 大須賀昭彦
  • 巻: Vol.J96-D, No.12
  • ページ: 2970-2978
  • 査読あり
• [雑誌論文] Towards semi-automatic identification of functional requirements in legal texts for public administration (2013)
  • 著者名/発表者名: Yutaka Yoshida, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: The 26th International Conference on Legal Knowledge and Information Systems (JURIX2013) ページ: 175-184
  • DOI: 10.3233/978-1-61499-359-9-175
  • 査読あり
• [雑誌論文] Extraction and Estimation of Human Activity from Twitter for Information Sharing in Disaster, Special Issue on Computational Intelligence and Data Mining (2013)
  • 著者名/発表者名: The-Minh Nguyen, Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: Journal of Convergence Information Technology 巻: Vol.8, No.11 ページ: 707-715
  • 査読あり
• [雑誌論文] Classification of Idol Photography Based on Pose Guide Ontology (2013)
  • 著者名/発表者名: Kazuhiro Tashiro, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: Proceedings of the 3rd Joint International Semantic Technology Conference (JIST 2013)
  • 査読あり
• [雑誌論文] Context-aware Music Recommendation with Serendipity Using Semantic Relations (2013)
  • 著者名/発表者名: Mian Wang, Takahiro Kawamura, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: Proceedings of the 3rd Joint International Semantic Technology (JIST) 2013
  • 査読あり
• [雑誌論文] Query Answering using User Feedback and Context Gathering for Semantic Diversity and Data Acquisition of Web of Data, in Proc (2013)
  • 著者名/発表者名: Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: the 3rd International Conference on Advanced Communications and Computation (INFOCOMP2013)
  • 査読あり
• [雑誌論文] Development of Question Answering System for Agricultural Open Data, in Proc (2013)
  • 著者名/発表者名: Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: International Conference on Advanced Computing and Applications (ACOMP2013)
  • 査読あり
• [雑誌論文] Efficient Execution Path Exploration for Detecting Races in Concurrent Programs (2013)
  • 著者名/発表者名: Theodorus E. Setiadi, Akihiko Ohsuga, Mamoru Maekawa
  • 雑誌名: IAENG International Journal of Computer Science 巻: Vol.40, No.3 ページ: 143-163
  • 査読あり
• [雑誌論文] Web-Based Ontology Editor Enhanced By Property Value Extraction (2013)
  • 著者名/発表者名: Takahiro Kawamura, I Shin, Akihiko Ohsuga
  • 雑誌名: International Journal of Web & Semantic Technology 巻: Vol.4, No.3 ページ: 1-10
  • DOI: 10.5121/ijwest.2013.4301
  • 査読あり
• [雑誌論文] A Goal Model Elaboration for Localizing Changes in Software Evolution (2013)
  • 著者名/発表者名: Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
  • 雑誌名: IEEE Proc of 21st IEEE International Requirements Engineering Conference (RE 2013) ページ: 155-164
  • DOI: 10.1109/RE.2013.6636715
  • 査読あり
• [雑誌論文] Flower Voice : Virtual Assistant using LOD, Proc (2013)
  • 著者名/発表者名: Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: 7th International conference on Knowledge Capture, Canada (K-CAP2013) ページ: 125-128
  • DOI: 10.5121/ijwest.2013.4204
  • 査読あり
• [雑誌論文] Designing Loss-aware Fitness Function for GA-based Algorithmic Trading (2013)
  • 著者名/発表者名: Yuya Arai, Ryohei Orihara, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: The 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2013) ページ: 107-114
  • DOI: 10.1007/978-3-319-00651-2_15
  • 査読あり
• [雑誌論文] Flower Voice : Virtual Assistant for Open Data (2013)
  • 著者名/発表者名: Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: International Journal of Web & Semantic Technology 巻: Vol.4, No.2 ページ: 37-47
  • DOI: 10.5121/ijwest.2013.4204
  • 査読あり
• [雑誌論文] タグクラスタ多様化による未知性を考慮した推薦手法の提案 (2013)
  • 著者名/発表者名: 藤原 誠, 中川 博之, 田原 康之, 大須賀 昭彦
  • 雑誌名: 電子情報通信学会論文誌 巻: Vol.J96-D, No.3 ページ: 531-542
  • 査読あり
• [雑誌論文] Towards Solving an Obstacle Problem by the Cooperation of UAVs and UGVs (2013)
  • 著者名/発表者名: Shigeo Nakamura, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: SAC 2013 ページ: 77-82
  • 査読あり
• [雑誌論文] Proposal of Distributed Scheduling Heuristics using Mediation Agent (2013)
  • 著者名/発表者名: Takahiro Kawamura and Akihiko Ohsuga
  • 雑誌名: Journal of Energy and Power Engineering 巻: Vo.7, No.2 ページ: 381-392
  • 査読あり
• [雑誌論文] フォークソノミーとソーシャルアノテーションを用いた動画共有サービス利用支援の試み (2012)
  • 著者名/発表者名: 石野克徳, 折原良平, 中川 博之, 田原康之, 大須賀 昭彦
  • 雑誌名: 情報処理学会論文誌 巻: Vol.53, No.11 ページ: 2494-2506
  • 査読あり
• [雑誌論文] 服飾オントロジーを用いたEC サイトにおけるユーザデザイン嗜好の推定と評価 (2012)
  • 著者名/発表者名: 全泰賢, 川村隆浩, 中川 博之, 田原康之, 大須賀 昭彦
  • 雑誌名: 情報処理学会論文誌 巻: Vol.53, No.11 ページ: 2485-2493
  • 査読あり
• [雑誌論文] Toward an Ecosystem of LOD in the Field : LOD Content Generation and Its Consuming Service (2012)
  • 著者名/発表者名: Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: International Semantic Web Conference (2) ページ: 98-113
  • DOI: 10.1007/978-3-642-35173-0_7
  • 査読あり
• [雑誌論文] ゴール指向要求記述の整形に基づいたソフトウェアシステム進化手法 (2012)
  • 著者名/発表者名: 中川 博之, 大須賀 昭彦, 本位田真一
  • 雑誌名: 情報処理学会論文誌 巻: 53(10) ページ: 2328-2344
  • 査読あり
• [雑誌論文] Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops (2012)
  • 著者名/発表者名: Hiroyuki Nakagawa, Akihiko Ohsuga, Shinichi Honiden
  • 雑誌名: SASO 2012 ページ: 59-68
  • DOI: 10.1109/SASO.2012.17
  • 査読あり
• [雑誌論文] A field application of LOD : LOD extraction from web and LOD search by sensor (2012)
  • 著者名/発表者名: Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: I-SEMANTICS 2012 ページ: 189-192
  • DOI: 10.1145/2362499.2362530
  • 査読あり
• [雑誌論文] Goal-Oriented Robustness Analysis (2012)
  • 著者名/発表者名: Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: JCKBSE 2012 ページ: 171-180
  • DOI: 10.3233/978-1-61499-094-9-171
  • 査読あり
• [雑誌論文] Building a Timeline Network for Evacuation in Earthquake Disaster (2012)
  • 著者名/発表者名: The-Minh Nguyen, Takahiro Kawamura, Yasuyuki Tahara, and Akihiko Ohsuga
  • 雑誌名: The AAAI 2012 Workshop on Semantic Cities ページ: 15-20
  • 査読あり
• [雑誌論文] Green-Thumb Camera : LOD Application for Field IT (2012)
  • 著者名/発表者名: Takahiro Kawamura, Akihiko Ohsuga
  • 雑誌名: ESWC 2012 ページ: 575-589
  • DOI: 10.1007/978-3-642-30284-8_45
  • 査読あり
• [雑誌論文] Dynamic Reconfiguration in Self-adaptive Systems Considering Non-functional Properties, ACM Proc (2012)
  • 著者名/発表者名: Hisayuki Horikoshi, Hiroyuki Nakagawa, Yasuyuki Tahara, and Akihiko Ohsuga
  • 雑誌名: the 27th ACM Symposium On Applied Computing (SAC2012) ページ: 1144-1151
  • 査読あり
• [雑誌論文] Goal-oriented Approach to Creating Class Diagrams with OCL Constraints, ACM Proc (2012)
  • 著者名/発表者名: Sombat Chanvilai, Kozo Honda, Hiroyuki Nakagawa, Yasuyuki Tahara, and Akihiko Ohsuga
  • 雑誌名: the 27th ACM Symposium On Applied Computing (SAC2012) ページ: 1051-1056
  • 査読あり
• [雑誌論文] Building a Time Series Action Network for Earthquake Disaster, Proc (2012)
  • 著者名/発表者名: The-Minh Nguyen, Takahiro Kawamura, Yasuyuki Tahara, and Akihiko Ohsuga
  • 雑誌名: the 4th International Conference on Agents and Artificial Intelligence (ICAART2012) ページ: 100-108
  • 査読あり
• [雑誌論文] Building Earthquake Semantic Network by Mining Human Activity from Twitter, IEEE Proc (2011)
  • 著者名/発表者名: The-Minh Nguyen, Kenji Koshikawa, Takahiro Kawamura, Yasuyuki Tahara, and Akihiko Ohsuga
  • 雑誌名: IEEE International Conference on Granular Computing (GrC2011) ページ: 496-501
  • DOI: 10.1109/GRC.2011.6122647
  • 査読あり
• [雑誌論文] Building an Earthquake Evacuation Ontology from Twitter, IEEE Proc (2011)
  • 著者名/発表者名: Isabel Shizu Miyamae Iwanaga, The-Minh Nguyen, Takahiro Kawamura, Hiroyuki Nakagawa, Yasuyuki Tahara, and Akihiko Ohsuga
  • 雑誌名: IEEE International Conference on Granular Computing (GrC2011) ページ: 306-311
  • DOI: 10.1109/GRC.2011.6122613
  • 査読あり
• [雑誌論文] コンテンツ投稿型SNS における未知性と意外性を考慮した推薦エージェントの提案 (2011)
  • 著者名/発表者名: 住元 宗一朗, 中川 博之, 田原 康之, 大須賀 昭彦
  • 雑誌名: 電子情報通信学会論文誌 巻: vol.J94-D, No.11 ページ: 1800-1811
  • 査読あり
• [雑誌論文] 携帯端末上での拡張現実を用いた植物推薦エージェントGreen-Thumb Phone の開発 (2011)
  • 著者名/発表者名: 三代 謙仁, 川村 隆浩, 中川 博之, 田原 康之, 大須賀 昭彦
  • 雑誌名: 電子情報通信学会論文誌 巻: vol.J94-D, No.11 ページ: 1791-1799
  • 査読あり
• [雑誌論文] インタラクション・シーケンスに着目した商品検索目的抽出エージェントの開発 (2011)
  • 著者名/発表者名: 川村 隆浩, ワコラ, 中川 博之, 田原康之, 大須賀 昭彦
  • 雑誌名: 電子情報通信学会論文誌 巻: vol.J94-D, No.11 ページ: 1783-1790
  • 査読あり
• [雑誌論文] センチメント分析とトピック抽出によるマイクロブログからの評判傾向抽出 (2011)
  • 著者名/発表者名: 橋本 和幸, 中川 博之, 田原 康之, 大須賀 昭彦
  • 雑誌名: 電子情報通信学会論文誌 巻: vol.J94-D, No.11 ページ: 1762-1772
  • 査読あり
• [雑誌論文] 評判分析システムのための教師あり学習を用いた意見抽出 (2011)
  • 著者名/発表者名: 田中 俊行, グェン ミン ティ, 中川博之, 田原 康之, 大須賀 昭彦
  • 雑誌名: 電子情報通信学会論文誌 巻: vol.J94-D, No.11 ページ: 1751-1761
  • 査読あり
• [雑誌論文] Green-Thumb Phone : Development of AR-based Plant Recommendation Service on Smart Phone, Proc (2011)
  • 著者名/発表者名: Takahiro Kawamura, Norihito Mishiro, and Akihiko Ohsuga
  • 雑誌名: International Conference on Advanced Computing and Applications (ACOMP2011)
  • 査読あり
• [雑誌論文] gocc : A Configuration Compiler for Self-adaptive Systems Using Goal-oriented Requirements Description, Proc (2011)
  • 著者名/発表者名: Hiroyuki Nakagawa, Akihiko Ohsuga, and Shinichi Honiden
  • 雑誌名: The 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011) ページ: 40-49
  • DOI: 10.1145/1988008.1988015
  • 査読あり
• [雑誌論文] Self-Supervised Capturing of Users' Activities from Weblogs
  • 著者名/発表者名: The-Minh Nguyen, Takahiro Kawamura, Yasuyuki Tahara, Akihiko Ohsuga
  • 雑誌名: International Journal of Intelligent Information and Database Systems 巻: Vol.6, No.1 ページ: 61-76
  • DOI: 10.1504/IJIIDS.2012.045117
  • 査読あり
• [備考] 大須賀・田原研究室(ホームページ等)
  • URL: http://www.ohsuga.is.uec.ac.jp/