Reverse Ajaxによる分散協調的統合システム検証環境の構築

• 研究課題/領域番号: 19700029
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 産業技術大学院大学
• 研究代表者: 森本 祥一 産業技術大学院大学, 産業技術研究科, 助教 (00433186)
• 研究期間 (年度): 2007 – 2008
• 研究課題ステータス: 完了 (2008年度)
• 配分額: 1,250千円 (直接経費: 1,100千円、間接経費: 150千円); 2008年度: 650千円 (直接経費: 500千円、間接経費: 150千円); 2007年度: 600千円 (直接経費: 600千円)
• キーワード: ソフトウエア工学 / 形式手法 / Ajax / Webアプリケーション / モデル検査 / 対話型検証

研究概要

本研究では,利用者のOSやネットワーク接続環境,個々の形式手法や検証ツールに依存しない情報システム仕様記述・検証のための総合環境を開発した.この環境を用いることにより,手法やユーザの環境に依存せず,Webブラウザのみを用いて検証対象を形式的に記述・検証することができる.また,複数人で同時に協調して作業することにより,形式的記述・検証過程における知見や経験などを共有し,検証の負担を軽減,開発者を支援する.

研究成果

• [雑誌論文] 複数人によるシステム検証を支援するWebアプリケーションの開発 (2009)
  • 著者名/発表者名: 森本祥一
  • 雑誌名: 産業技術総合研究所システム検証センター算譜科学研究速報(テクニカルレポート) PS-2009-001 ページ: 115-122
• [雑誌論文] 複数人によるシステム検証を支援するWebアプリケーションの開発 (2009)
  • 著者名/発表者名: 森本祥一
  • 雑誌名: 産業技術総合研究所システム検証センター算譜科学研究速報 PS-2009-001 ページ: 115-122
• [雑誌論文] A Survey of Formal Verification for Business Process Modeling (2008)
  • 著者名/発表者名: 森本祥一
  • 雑誌名: International Journal of Operations and Quantitative Management Vol. 14 4 ページ: 237-247
  • 査読あり
• [雑誌論文] JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築 (2008)
  • 著者名/発表者名: 長尾雄行,土屋陽介,森本祥一,中鉢欣秀
  • 雑誌名: 産業技術大学院大学紀要 第2号 ページ: 165-173
  • NAID: 40016971707
  • 査読あり
• [雑誌論文] シナリオの図解化による業務フロー分析 (2008)
  • 著者名/発表者名: 森本祥一,中鉢欣秀
  • 雑誌名: 産業技術大学院大学紀要 第2号 ページ: 193-208
  • NAID: 40016971710
  • 査読あり
• [雑誌論文] A Survey of Formal Verification for Business Process Modeling (2008)
  • 著者名/発表者名: 森本祥一
  • 雑誌名: International Journal of Operations and Quantitative Management Vol.14, No.4 ページ: 237-247
  • 査読あり
• [雑誌論文] JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築 (2008)
  • 著者名/発表者名: 長尾雄行, 土屋陽介, 森本祥一, 中鉢欣秀
  • 雑誌名: 産業技術大学院大学紀要 2 ページ: 165-173
  • NAID: 40016971707
  • 査読あり
• [雑誌論文] シナリオの図解化による業務フロー分析 (2008)
  • 著者名/発表者名: 森本祥一, 中鉢欣秀
  • 雑誌名: 産業技術大学院大学紀要 2 ページ: 193-208
  • NAID: 40016971710
  • 査読あり
• [雑誌論文] ソフトウェア開発工程における支援研究と実用化への課題 (2007)
  • 著者名/発表者名: 森本祥一,中鉢欣秀
  • 雑誌名: 産業技術大学院大学紀要 第1号 ページ: 105-110
  • NAID: 110007614519
  • 査読あり
• [雑誌論文] 情報セキュリティ工学データベースシステムISEDSの開発と応用 (2007)
  • 著者名/発表者名: 堀江大輔,森本祥一,後藤祐一,程京徳
  • 雑誌名: 情報処理学会論文誌Vol. 48 8 ページ: 2684-2698
  • NAID: 110006386498
  • 査読あり
• [雑誌論文] 情報セキュリティ工学データベースシステムISEDS開発と応用 (2007)
  • 著者名/発表者名: 堀江 大輔
  • 雑誌名: 情報処理学会論文誌 48(8) ページ: 2684-2698
  • 査読あり
• [雑誌論文] ソフトウェア開発工程における支援研究と実用化への課題 (2007)
  • 著者名/発表者名: 森本 祥一
  • 雑誌名: 産業技術大学院大学紀要 1 ページ: 105-110
  • NAID: 110007614519
  • 査読あり
• [学会発表] FORVEST : A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408 (2009)
  • 著者名/発表者名: 矢島賢一, 森本祥一, Noor Shelia Azreen, 後藤祐一, 程京徳
  • 学会等名: The 4th International Conference on Availability, Reliability and Security (ARES 2009)
  • 発表場所: 福岡
  • 年月日: 2009-03-19
• [学会発表] An Educational Analysis of Consensus-Building Process in Business Domain Analysis with Conceptual Data Modeling (2009)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The IADIS International Conference on Information Systems 2009
  • 発表場所: バルセロナ
  • 年月日: 2009-02-26
• [学会発表] An Educational Analysis of Consensus?Building Process in Business Domain Analysis with Conceptual Data Modeling (2009)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The IADIS International Conference on Information Systems 2009
  • 発表場所: スペイン, バルセロナ
  • 年月日: 2009-02-26
• [学会発表] A Study of Value of Business Process Models from a Managerial Viewpoint (2008)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The International Conference on Innovation in Software Engineering (ISE 2008)
  • 発表場所: ウィーン
  • 年月日: 2008-12-10
• [学会発表] A Study of Value of Business Process Models from a Managerial Viewpoint (2008)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The International Conference on Innovation in Software Engineering (ISE 2008)
  • 発表場所: オーストリア, ウィーン
  • 年月日: 2008-12-10
• [学会発表] 複数人によるシステム検証を支援するWebアプリケーションの開発 (2008)
  • 著者名/発表者名: 森本祥一
  • 学会等名: 日本ソフトウェア科学会 ディペンダブルシステム研究会 第5回システム検証の科学技術シンポジウム
  • 発表場所: つくば
  • 年月日: 2008-11-19
• [学会発表] 複数人によるシステム検証を支援するWebアプリケーションの開発 (2008)
  • 著者名/発表者名: 森本祥一
  • 学会等名: 日本ソフトウェア科学会ディペンダブルシステム研究会第5回システム検証の科学技術シンポジウム
  • 発表場所: つくば
  • 年月日: 2008-11-19
• [学会発表] A Survey of Formal Verification for Business Process Modeling (2008)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The 8th International Conference on Computational Science (ICCS 2008)
  • 発表場所: クラクフ
  • 年月日: 2008-06-24
• [学会発表] A Survey of Formal Verification for Business Process Modeling (2008)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The 8th International Conference on Computational Science (ICCS 2008)
  • 発表場所: ポーランド, クラクフ
  • 年月日: 2008-06-24
• [学会発表] Documentation Components of Software Development and their Management Based on International Standards (2008)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The 10th Workshop on Learning Software Organizations (LSO 2008)
  • 発表場所: フラスカーティ
  • 年月日: 2008-06-23
• [学会発表] Documentation Components of Software Development and their Management Based on International Standards (2008)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The 10th Workshop on Learning Software Organizations (LSO 2008)
  • 発表場所: イタリア, フラスカーティ
  • 年月日: 2008-06-23
• [学会発表] ISEDS : An Information Security Engineering Database System Based on ISO Standards (2008)
  • 著者名/発表者名: 堀江大輔, 森本祥一, 後藤祐一, 程京徳
  • 学会等名: The 3rd International Conference on Availability, Reliability and Security (ARES 2008)
  • 発表場所: バルセロナ
  • 年月日: 2008-03-06
• [学会発表] JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築 (2008)
  • 著者名/発表者名: 長尾雄行, 土屋陽介, 森本祥一, 中鉢欣秀
  • 学会等名: 情報処理学会第67回プログラミング研究会
  • 発表場所: 仙台
  • 年月日: 2008-01-25
• [学会発表] Classification, Formalization and Verification of Security Functional Requirements (2008)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The 34th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2008)
  • 発表場所: スモコヴェッツ
  • 年月日: 2008-01-23
• [学会発表] Formalization and Verification of Security Functional Requirements (2008)
  • 著者名/発表者名: 森本 祥一
  • 学会等名: The 34th Conference on Current Trends in Theory and Practice of Computer Science
  • 発表場所: スモコヴェッツ
• [学会発表] JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築 (2008)
  • 著者名/発表者名: 長尾 雄行
  • 学会等名: 情報処理学会第67回プログラミンゲ研究会
  • 発表場所: 仙台
• [学会発表] ISEDS:An Information Secuity Engineering Database System Based on ISO Standards (2008)
  • 著者名/発表者名: 堀江 大輔
  • 学会等名: The 3rd International Conference on Availability, Reliability and Security
  • 発表場所: バルセロナ
• [学会発表] Formal Musical Composition Analysis Using Music Notation and Text Processing (2007)
  • 著者名/発表者名: 森本祥一
  • 学会等名: The inaugural International Conference on Music Communication Science (ICoMCS 2007)
  • 発表場所: シドニー
  • 年月日: 2007-12-05
• [学会発表] SBVA法によるビジネスプロセスモデリング (2007)
  • 著者名/発表者名: 森本祥一, 中鉢欣秀
  • 学会等名: 情報システム学会第3回研究発表大会
  • 発表場所: 新潟
  • 年月日: 2007-12-01
• [学会発表] 情報アーキテクト育成のためのPBL教育支援についての一考察 (2007)
  • 著者名/発表者名: 長尾雄行, 森本祥一, 土屋陽介, 清水將吾, 村尾俊幸, 川田誠一
  • 学会等名: 日本e-Learning学会 第2回IT専門職養成のためのPBL型教育シンポジウム
  • 発表場所: 熱海
  • 年月日: 2007-11-21
• [学会発表] 学生チームによる組込システムの開発〜10年間の教育から〜 (2007)
  • 著者名/発表者名: 河野善彌, 陳慧, 高野英樹, 森本祥一
  • 学会等名: 日本科学技術連盟 第26回ソフトウェア品質シンポジウム
  • 発表場所: 東京
  • 年月日: 2007-09-06
• [学会発表] A Security Specification Library with a Schemaless Database (2007)
  • 著者名/発表者名: 森本祥一, 程京徳
  • 学会等名: The 7th International Conference on Computational Science (ICCS 2007)
  • 発表場所: 北京
  • 年月日: 2007-05-29
• [学会発表] A Secuuity Spcification Library with a Schemaless Database (2007)
  • 著者名/発表者名: 森本 祥一
  • 学会等名: The 7th International Conference on Computational Science
  • 発表場所: 北京
• [学会発表] 学生チームによる組込システムの開発・10年間の教育から (2007)
  • 著者名/発表者名: 河野 善彌
  • 学会等名: 第26回ソフトウェ工品質シンポジウム
  • 発表場所: 東京
• [学会発表] 情報アーキテクト育成のためのPBL教育支援における一考察 (2007)
  • 著者名/発表者名: 長尾 雄行
  • 学会等名: 第2回IT専門職養成のためのPBL型教育シンポジウム
  • 発表場所: 熱海
• [学会発表] SBVA法によるピジネスプロセスモデリンゲ (2007)
  • 著者名/発表者名: 森本 祥一
  • 学会等名: 情報システム学会第3回研究発表大会
  • 発表場所: 新潟
• [学会発表] Formal Musical Composition Analysis Using Music Notation and Text Processing (2007)
  • 著者名/発表者名: 森本 祥一
  • 学会等名: The inaugural International Conference on Music Communication Sciece
  • 発表場所: シドニー
• [備考]
  • URL: http://www.aise.ics.saitama-u.ac.jp/~morimo/
• [備考]
  • URL: http://www.aise:ics.saitama-u.ac.jp/~morimo/
• [備考]
  • URL: http://www.aise.ics.saitama-u.ac.jp/~morimo/