講演抄録/キーワード |
講演名 |
2013-09-12 12:45
UML/OCLアサーションのサーバサイドでの実装 ○田中聖一・小林 洋(東海大) KBSE2013-38 |
抄録 |
(和) |
最近のソフトウェア開発においては,ソフトウェアの振る舞いの安全性の観点から表明(assertion)が重視されている.表明を厳密に記述するためには論理仕様が適しており,UMLでも,OCL(Object Constraint Language)が制定されている.これを業務系アプリケーションに実装する場合,クライアント側での実装が一般的である.しかしながら,分散システムの安全性の観点からは,サーバ側での実装も考慮する必要があると考えられる.現状,データベースの操作に対する表明の実装は,一般的にはSQLのトリガ(Trigger)を用いる必要がある.そこで我々は,OCLからトリガへの変換についての研究を行っている.現在,OCLからトリガへの変換ツールの開発を行い,基本部分を完成した.トリガは製品によって多少異なるが,本研究ではPostgreSQLを用いた. |
(英) |
Nowadays, the description of assertion is focused of attention from the viewpoint of safety behavior in a software development. OCL(Object Constraint Language) is a logical description language and included in the notations of UML which is widely used in the description of specification. However, we cannot help using a trigger when implementing complex assertions in software application using database systems, now. Therefore, we study a method of transformation from OCL to trigger. Moreover, we are developing a transformation tool from OCL to trigger that of PostgreSQL. |
キーワード |
(和) |
表明 / ソフトウェア開発 / UML/OCL / トリガ / ソフトウェアの安全性 / 分散システム / / |
(英) |
assertion / software development / UML/OCL / trigger / software safety / distributed systems / / |
文献情報 |
信学技報, vol. 113, no. 215, KBSE2013-38, pp. 13-18, 2013年9月. |
資料番号 |
KBSE2013-38 |
発行日 |
2013-09-05 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2013-38 |