Automatic Generation of Implementations for Object-oriented Abstractions
Author | : |
Publisher | : |
Total Pages | : 10 |
Release | : 2009 |
ISBN-10 | : OCLC:461037862 |
ISBN-13 | : |
Rating | : 4/5 (62 Downloads) |
Download or read book Automatic Generation of Implementations for Object-oriented Abstractions written by and published by . This book was released on 2009 with total page 10 pages. Available in PDF, EPUB and Kindle. Book excerpt: We present a general-purpose code transformation system, the POET system, for the purpose of automatic code generation from high-level behavior specifications of object-oriented abstractions to low-level efficient implementations in C++ and Java. In particular, we have developed an extended finite-state-machine-based language, iFSM, which models the behavior logic together with implementation details of arbitrary OO abstractions. We then use the POET system to automatically translate the behavior specifications to type-safe OO implementations in Java or C++. Finally, we use the POET system to automatically translate the behavior specifications to the input language of a model-checker (NuSMV) and apply model checking to validate the correctness of the specification. If the iFSM specification is correct, our approach can always generate a correct and type-safe implementation.