• Aug 25, 2016 News!Vol.4, No.3 has been published with online version. 15 peer reviewed articles from 3 specific areas are published in this issue.   [Click]
  • May 03, 2016 News!Vol. 3, No. 3 has been indexed by EI (Inspec).   [Click]
  • May 03, 2016 News!Vol. 3, No. 2 has been indexed by EI (Inspec).   [Click]
General Information
    • ISSN: 2301-3559
    • Frequency: Quarterly
    • DOI: 10.18178/LNSE
    • Editor-in-Chief: Prof. Jemal Antidze
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET), DOAJ, Electronic Journals Library, Engineering & Technology Digital Library, Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest and Google Scholar.
    • E-mail: lnse@ejournal.net
Editor-in-chief
Prof. Jemal Antidze
I. Vekua Scientific Institute of Applied Mathematics
Tbilisi State University, Georgia
I'm happy to take on the position of editor in chief of LNSE. We encourage authors to submit papers concerning any branch of Software Engineering.

LNSE 2015 Vol.3(2): 73-77 IS4SN: 2301-3559
DOI: 10.7763/LNSE.2015.V3.169

Trigger Based Assertion Tool in Software Development

Sei Tanaka and Hiromi Kobayashi
Abstract—Assertions are attracting attention recently for preventing programs from incorrect behavior. OCL is a logical description language included in UML. Assertions, although not usually implemented in a database, are implemented in the application program and executed in the test phase. They are commented out in the operation phase for performance. However, faulty data are possible to receive in open distributed systems such as Web application systems. Therefore, assertions must be implemented in the database as well as in the application program and executed in the operation phase. When using assertions in commercial databases, an assertion statement must be expressed generally as triggers in SQL, now. In an earlier study, a transformation tool from OCL assertions to triggers was developed for the standpoint of database management. However, it seems not to totally consider an application development because only invariant constraint and basic logical expressions are dealt with. To overcome these problems of design by contract in software development, we developed a new transformation tool that is easy to use from GUI. This tool generates the trigger of PostgreSQL from an OCL assertion.

Index Terms—Assertion, OCL, safety, software development, trigger.

S. Tanaka was with the Graduate School of Information and Telecommunication Engineering, Tokai University. He is now with Information System Engineering Co., Ltd, Konan, Minato-ku, Tokyo 108-8223 Japan (e-mail: koba@tokai.u.jp).
H. Kobayashi is with the Department of Information Media Technology, Tokai University, 2-3-23, Takanawa, Minato-ku, Tokyo, 108-8619 Japan (e-mail: koba@tokai.ac.jp).

[PDF]

Cite: Sei Tanaka and Hiromi Kobayashi, "Trigger Based Assertion Tool in Software Development," Lecture Notes on Software Engineering vol. 3, no. 2, pp. 73-77, 2015.

Copyright © 2008-2015. Lecture Notes on Software Engineering. All rights reserved.
E-mail: lnse@ejournal.net