| 大会名称 |
|---|
| 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) |