DocumentCode
2709548
Title
Statechart-based Verification of Object-Oriented Design Models
Author
Aoki, Toshiaki ; Katayama, Takuya
Author_Institution
Japan Adv. Inst. of Sci. & Technol., Ishikawa
fYear
2007
fDate
4-7 Dec. 2007
Firstpage
278
Lastpage
285
Abstract
Recently, design models that precise behavior of objects is specified are proposed. Though, currently, they are mainly used for their execution and automatic source code generation, they also have potential to allow us to verify them in the design phase. In this paper, we propose a method to verify such design models in the design phase. In addition, we adopt theorem proving systems to rigorously and efficiently verify it.
Keywords
object-oriented programming; program verification; theorem proving; automatic source code generation; object-oriented design model; statechart-based program verification; theorem proving system; Graphics; Logic; Object oriented modeling; Power system modeling; Software engineering; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific
Conference_Location
Aichi
ISSN
1530-1362
Print_ISBN
0-7695-3057-5
Type
conf
DOI
10.1109/ASPEC.2007.14
Filename
4425865
Link To Document