Implementation of a Finite State Machine with Active Libraries in C++
2008; Springer Science+Business Media; Linguagem: Inglês
10.1007/978-3-540-88643-3_14
ISSN1611-3349
AutoresZoltán Juhász, Ádám Sipos, Zoltán Porkoláb,
Tópico(s)Security and Verification in Computing
ResumoActive libraries are code parts playing an active role during compilation. In C++ active libraries are implemented with the help of template metaprogramming (TMP) techniques. In this paper we present an active library designed as an implementation tool for Finite state machines. With the help of various TMP constructs, our active library carries out compile-time actions like optimizations via state-minimalization, and more sophisticated error-detection steps. Our library provides extended functionality to the Boost::Statechart library, the popular FSM implementation of the Boost library. We describe the implementation and analyze the efficiency.
Referência(s)