| Presentation | 2013-09-12 Server-Side Implementation of UML/OCL Assertion Seiichi Tanaka, Hiromi Kobayashi, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | assertion / software development / UML/OCL / trigger / software safety / distributed systems |
| Paper # | KBSE2013-38 |
| Date of Issue |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2013/9/5(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Server-Side Implementation of UML/OCL Assertion |
| Sub Title (in English) | |
| Keyword(1) | assertion |
| Keyword(2) | software development |
| Keyword(3) | UML/OCL |
| Keyword(4) | trigger |
| Keyword(5) | software safety |
| Keyword(6) | distributed systems |
| 1st Author's Name | Seiichi Tanaka |
| 1st Author's Affiliation | Graduate School of Information and Telecommunicaiton Engineering, Tokai University() |
| 2nd Author's Name | Hiromi Kobayashi |
| 2nd Author's Affiliation | Graduate School of Information and Telecommunicaiton Engineering, Tokai University |
| Date | 2013-09-12 |
| Paper # | KBSE2013-38 |
| Volume (vol) | vol.113 |
| Number (no) | 215 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |