An easy-to-use and flexible Object-Oriented Framework for Extended Finite State Machines
Finite state machines (FSMs) are widely used as a mean to model the behavior of systems and/or processes, but they are not supported by general purpose programming languages. To avoid implementations that are difficult to develop, and mostly maintain, frameworks have been developed for the FSM domain. Ideally, frameworks should be easy to learn and use, and provide as much support as possible. They should also enforce design rules, while keeping flexibility. However, there are tradeoffs between these aspects, and thus a balance must be found. Object-oriented frameworks that we have found in the literature do not meet this set of characteristics, but one stands out. We discuss its use to develop an example application (electric lock control), demonstrating important limitations. Based on that analysis, we propose a new framework that is small, efficient, and provides a powerful set of features for implementing FSMs. The framework is easy to learn and use, fully supports both Mealy and Moore machines, enables semantically correct state minimization, and offers conditional transitions.
framework design finite state machines objectoriented programming
Sérgio F. Lopes Sérgio Silva Jo(a)o L. Monteiro
Algoritmi Research CenterUniversity of MinhoGuimar(a)es, Portugal Algoritmi Research Center University of Minho Guimar(a)es, Portugal
国际会议
IEEE 10th International Conference on Industrial Informatics(第十届IEEE工业信息学国际学术会议 INDIN2012)
北京
英文
35-40
2012-07-25（万方平台首次上网日期，不代表论文的发表时间）