Modeling control in rule-based systems

The Comex modeling tool (control knowledge modeling and execution tool) focuses on modeling a problem-solving strategy and representing control knowledge, the knowledge of how to select among several problem-solving actions. In addition, Comex has facilities that let you execute early versions of the model to simulate the intended system´s behavior and continuously execute the evolving model, until it becomes the real system. Comex addresses the rule-based paradigm´s biggest shortcoming by adding control structures to executable models. Beginning with the specification phase, you can simulate a system´s behavior, then map tasks to a rule base. The result is a structured, rule-based system built according to accepted software-engineering principles.<>