自己説明性および進化容易性を有する電子自治体シミュレータに関する研究
| Project/Area Number | 04J54141 |
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
| Research Fellow |
早坂 良 北陸先端科学技術大学院大学, 情報科学研究科, 特別研究員(DC1)
|
|---|
| Project Period (FY) |
2004 – 2006
|
| Project Status |
Completed(Fiscal Year 2006)
|
| Budget Amount *help |
¥2,500,000 (Direct Cost : ¥2,500,000)
Fiscal Year 2006 : ¥800,000 (Direct Cost : ¥800,000)
Fiscal Year 2005 : ¥800,000 (Direct Cost : ¥800,000)
Fiscal Year 2004 : ¥900,000 (Direct Cost : ¥900,000)
|
|---|
| Keywords | ソフトウェアアカウンタビリティ / 自己説明性 / 進化容易性 / 電子自治体システム / 社会規制 / Law-Defined Information System / 履修管理システム / 履修規則 / アカウンタビリティ / オントロジ / 電子自治体 / Law-Definedシステム / アーキテクチャ / 原因結果グラフ / アスペクト指向プログラミング / サブジェクト指向プログラミング / ソフトウェアプロダクトライン / フィーチャ指向開発 |
|---|
| Research Abstract |
本年度は,以下の2点について研究を実施した.
(1)社会規則を論理表現し,規則の推論機構の実現
Law-Defined Information System (LDIS)は社会規則に則って構築されており,またその適用を支援するシステムである.したがって,システムは社会規則を扱う必要がある.自然言語で記述されている社会規則を一階述語論理により表現し,形式化を行った.例として本学の履修規則の論理表現を作成した.述語の選び方や規則文には明示的に現れない前提知識の扱い方に関する方法論が必要といった課題はあるが,これを基にした推論が可能であることを確かめた.推論機構を開発中である.また,MDAによる社会規則の論理表現からUMLモデル(クラス図)への自動変換にも取り組んでいる.
(2)LDISの例として,本学の履修規則に則った履修管理システムの開発
履修管理システムとは,学生の履修登録作業や修了要件の達成状況の確認を支援するシステムである.本システムをユースケース駆動オブジェクト指向ソフトウェア開発方法論に従って開発中である.本システムは,Java EEプラットフォームのウェブアプリケーションである.フレームワークとしてJBoss Seamを用いた.これに,前年度に定義したLDISにおけるアカウンタビリティを実現する参照アーキテクチャを基にして,アカウンタビリティサブシステムの設計・実装,およびインターセプタプロキシによるアカウンタビリティ機能の付加実験を行う.
今後,電子自治体システムへの適用実験として富山県条例への適用を行い,アカウンタビリティ機能の評価を行う予定である.また,規則の改定をサポートする規則のバージョン管理DBの開発を行い,進化容易性を実現する.
|
Report
(3results)
Research Products
(6results)
