[发明专利]纯状态的触发动作编程范式到事件驱动系统的转换方法

摘要

本发明提出一种纯状态的触发动作编程范式到事件驱动系统的转换方法，包括：步骤1：解析用户输入的SS(状态‑状态)规则集合并将解析结果传给动作序列信息生成模块；步骤2：动作序列信息生成模块将同一动作实体的SS规则序列按照期望状态组分类，计算实体要到达X指定状态时所有可能的动作序列和每种动作序列的执行前提Cj，得到二元组集合PairsX，求出与规则组不兼容的条件ΨX；步骤3：事件筛选模块根据实体能力抽象W对ΨX做关键值分析，生成候选事件并筛选；步骤4：EE(事件‑事件)中间表示生成模块接受筛选后的事件集与PairsX作为输入，对PairsX中的每个元组产生动作序列为的EE规则集；步骤5：经规则合并和可读性化简后由EE规则集生成器汇总输出，实现从SS规则得到对应的EE规则。