Modular Finite State Machines Implemented As Event-Condition-Action Systems
| Authors: | Almeida Emanuel, University of Michigan, United States
Luntz Jonathan, University of Michigan, United States
Tilbury Dawn, University of Michigan, United States |
|---|
| Topic: | 1.3 Discrete Event and Hybrid Systems |
|---|
| Session: | Discrete Event and Hybrid Systems |
|---|
| Keywords: | Rule-based systems, Discrete-event systems, Database systems, Logical control, Finite state machines |
|---|
Abstract
This paper presents a method to design a logic controller as an Event-Condition-Action (ECA) system, where the Modular Finite State Machine (MFSM) framework has been used to build the model for the controller. The resulting model, called an ECA MFSM, is in essence a MFSM model with a special structure that enables the processing of logic to follow the ECA paradigm. The ECA rule based method has a solid theoretical root and has been the paradigm followed to design active database systems.
