抄録
B-016
UML/OCLアサーションのサーバサイド実装用ツールの開発
◎田中聖一・小林　洋（東海大）
本研究では，UMLクラス図にOCLで記述したアサーション(assertion)を，プログラミングの際にデータベース側でのSQLの制約条件に自動変換するためのツールの作成を行った．アサーションの実装は，クライアント側でプログラミング言語により実装するのが一般的であるが，分散システムの耐故障性の観点からは，サーバ側での実装も考慮する必要があると考えられる．その際，SQLでは，ASSERTION文が制定されているが未だ商用データベースではこれを用いることができないため，本研究では制約条件をtriggerにより実装した.