自治体EAへの形式手法適用の試み
スポンサーリンク
概要
- 論文の詳細を見る
産総研では,独立行政法人化中期計画の最終成果として,総務省主導の自治体EAに基づき,業務およびイントラシステムの最適化を目指して次期情報システムの開発を3年前から行っている.このシステム開発の要件定義フェーズにおいて,我々は要となる業務フロー図に着目し,要件定義の質を高めるために形式手法を導入を試みた.現場の抵抗を避けて形式手法を導入するために,できるだけ現場で使われていた記法を変えないように留意した.本研究では,現場担当者(形式手法を専門としないSE)が使用しているツールに,形式仕様の記述機能と検証ツールを呼び出す機能を実装した.これを用いて,現場担当者が記述した仕様を元に,意味のある性質の検証に成功した.
- 社団法人電子情報通信学会の論文
- 2007-04-12
著者
-
和泉 憲明
独立行政法人 産業技術総合研究所
-
和泉 憲明
(独)産業技術総合研究所サービス工学研究センター
-
清野 貴博
産総研
-
和泉 憲明
産総研
-
高橋 孝一
独立行政法人産業技術総合研究所情報科学連携研究体
-
清野 貴博
独立行政法人産業技術総合研究所サービス工学研究センター
-
高木 理
独立行政法人産業技術総合研究所サービス工学研究センター
-
竹内 泉
独立行政法人 産業技術総合研究所 システム検証研究センター
-
清野 貴博
独立行政法人産業技術総合研究所 社会知能研究ラボ
-
高橋 孝一
独立行政法人 産業技術総合研究所 システム検証研究センター
関連論文
- 日本語Wikipediaからの大規模オントロジー学習
- 成果物・タスク・課題の依存関係に基づくソフトウェア開発プロジェクトのモデル化(ソフトウェア開発とオントロジー,プロジェクト管理とモニタリング,一般)
- 6 オントロジーに基づく知識の構造化と活用(情報の価値化・知識化技術の実現へ向けて)
- 情報システム開発支援のためのエンタープライズアプリケーションオントロジー(オントロジー,「Webインテリジェンス」及び一般)
- オントロジーを用いたHTMLからのRDFデータ抽出
- オントロジーに基づく業務モデリングとシステム開発(学生セッション,大学のAI・企業のAI)
- オントロジーに基づくサービスプロセスからの共通構造抽出法
- 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計
- モデル検査器を用いた自動検針システムの仕様検証
- 情報システムの構造化仕様のための業務オントロジーの試作 (知能ソフトウェア工学)
- オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察(要求工学・仕様化技術)
- 自治体EAへの形式手法適用の試み
- 自治体EAへの形式手法適用の試み
- アクティブRFIDを用いた展示館来場者の館内滞在傾向の分析(セッション3:実空間におけるモデル化とシミュレーション)
- アクティブRFIDを用いた展示館来場者の館内滞在傾向の分析(セッション3:実空間におけるモデル化とシミュレーション,社会システムと知能)
- 愛・地球博グローバル・ハウス統合情報支援システム : CONSORTSアーキテクチャによる情報提供・会場運営支援システム
- ユビキタス計算環境におけるコンテンツ流通のためのマルチエージェントアーキテクチャ : CONSORTS
- プランニングと空間の意味表現データの連携によるナビゲーション(位置・インタラクション(2))
- プランニングと空間の意味表現データの連携によるナビゲーション
- サービス連携のためのアーキテクチャCONSORTSにおけるWebSLIT(アーキテクチャ(2))
- セマンティックWebエージェントによる実世界指向のサービス連携機構(アーキテクチャ(2))
- Jena-セマンティックWebアプリケーション開発のためのJavaフレームワーク(研究のツールボックス(1))
- 位置情報メディア共有に基づくパーソナルアシストシステムの設計 (小特集 「次世代Web技術とデジタルエンタープライズ」および一般)
- OTS/CafeOBJ法に基づく並行システムの実装とテスト生成(コンカレントシステム,離散事象システム及び一般)
- 情報システム開発支援のためのエンタープライズアプリケーションオントロジー(オントロジー,「Webインテリジェンス」及び一般)
- 5446 知識労働オフィスの設計のための統合フレームワーク(設計支援システム,建築計画I)
- 知識循環と持続可能なサービスの設計
- 日常的な制約に基づいたマルチメディアコンテンツの管理と自然言語による操作(言語,テキストの知能情報処理)
- 管理情報の統合に基づくプロジェクトモニタリング環境の構築と運用(開発プロジェクト管理,プロジェクト管理とモニタリング,一般)
- CBTOに基づくスケジュール管理と連動したサービス連携機構(スケジューリング,「Webインテリジェンス」及び一般)
- CBTOに基づくスケジュール管理と連動したサービス連携機構(スケジューリング,「Webインテリジェンス」及び一般)
- オントロジーに基づく業務モデリングとシステム開発(学生セッション,大学のAI・企業のAI)
- 日常生活オントロジーに基づくコンテンツ管理のための自然言語インタフェース(言語理解とオントロジーシンポジウム)
- ビジネスオントロジーに基づくWebアプリケーション開発
- ビジネスオントロジーに基づくWebアプリケーション開発
- オントロジーに基づくエンタープライズソフトウェアの開発とその実践 : オントロジーとセマンティックWeb技術の情報システム構築への応用(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 既存情報資源を活用したオントロジー構築支援環境(学生セッション,大学のAI・企業のAI)
- 既存情報資源を活用したオントロジー構築支援環境(学生セッション,大学のAI・企業のAI)
- 情報システムの構造化仕様のための業務オントロジーの試作
- ユビキタス環境におけるコンテンツ流通のためのマルチエージェントアーキテクチャ : CONSORTS(システム・アーキテクチャ)
- F-032 オントロジーを利用したクラス図設計支援とモデル駆動開発への適用(F.人工知能)
- Webアプリ統合ソフトウェアのためのクラス設計支援
- ユビキタス環境における情報支援のための時空間推論とエージェントとしての実装
- ユビキタス環境における情報支援のための時空間推論とエージェントとしての実装
- F-040 連携品質を考慮したオントロジーに基づくWebサービスの自動連携(F.人工知能)
- オントロジーに基づくWebサービスの自動連携
- ビジネス指向のサービス関連オントロジー(開発されたオントロジー)
- ビジネスソフトウェアの知的開発環境
- 定性空間表現の二次元平面への埋め込みについて
- 定性空間表現の二次元平面への埋め込みについて
- 位置情報メディア共有に基づくパーソナルアシストシステムの設計(「次世代Web技術とディジタルエンタープライズ」及び一般)
- 時空間資源管理に基づく知的情報支援アーキテクチャ (小特集:「Semantic Webとインテリジェントコンテンツ」および一般) -- (インテリジェントコンテンツの構築(Semantic Web,オントロジー,知識コンテンツ))
- パイ計算による仕様を検証する論理体系
- AS-3-1 大規模なサービスプロセスの設計・検証手法(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)