复杂CRM逻辑中java的非确定性有限状态机

Question

正在考虑在Java中实现非确定性有限状态机。 检查了easyflow和许多其他类似的库，但它们提供的是确定性有限状态机。

例如 用例。 用户处于暂停状态并且账单到期为100美元现在他可以用钱包补充他的账户。如果他补充金额使他的用户余额低于100，那么他将继续处于暂停状态，如果他的账户余额达到或等于或超过一百美元，则用户将被发送到活动状态。

所以事件是相同的“重新填充”，但用户非常注意他的用户平衡。所以FSM不是确定性的。

对于如何照顾案件有什么想法吗？

相反，在第二个想法中，我可以使用drools等规则引擎来实现这种不确定的FSM（或FSM）。

Oracle BRM似乎正在使用某种状态机。关于如何在crm系统中实现ND-FSM的任何想法。什么是最常用的库（java）。

Answer 1

您的状态机不是“非确定性的”，但在某些转换上只需要guards，这会减少处理程序中的额外转换。我不知道您正在使用的图书馆，并且没有文档，所以我不知道它是否支持警卫，所以相反，当收到的笔记本被收到时＃39;状态你的处理程序可以检查结果余额立即触发转换到“暂停”和＃39;或者＆＃39;活跃＆＃39;