大会名称 |
---|
2009年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2009 |
発行日 |
2009/8/20 |
セッション番号 |
1E |
セッション名 |
先進的データベース |
講演日 |
2009/09/02 |
講演場所(会議室等) |
E会場(9号館1F 915教室) |
講演番号 |
D-038 |
タイトル |
表明のUML/OCLからSQL/Triggerへの変換 |
著者名 |
黒澤 慎太郎, 小林 洋, |
キーワード |
UML/OCL, 表明, SQL, トリガ |
抄録 |
最近の情報システム設計では,安全性の観点から表明(assertion)の記述が重視されるようになって来ている.情報システム設計においては,図式仕様のUMLが広く用いられており,表明を正確に記述するための論理仕様記述としてはOCL(Object Constraint Language)が制定されている.本研究では,データベースを用いた部分の表明について設計におけるOCLでの記述から,実装時にトリガに変換するための方式についての研究を行った. |
本文pdf |
PDF download (318.6KB) |