[发明专利]具有对异步程序流程建模的软件工具

摘要

一种使用具有少于用于程序中的模型异步转移建模的所有可能边的流程图来形成程序的中间表示的编译器。该流程图在多个阶段中形成。在一个阶段中，该流程图在不对异步转移建模的情况下形成。在稍后的阶段中，选择性地添加所述异步转移的效果的表示。作为稍后阶段的一部分，对可能的异步转移建模的边在受保护区域中对在受保护区域外部生存的变量的定义之后被添加到流程图。变量活性的修改的定义用于结合异步转移之后的任何区域，包括受保护区域中的变量的使用。如果定义的变量的唯一使用是在处理程序中，则从受保护区域出发的边也被添加到该模型。

主权项

1.一种处理具有多个区域以及至少一个处理程序的程序的方法，所述方法包括确定第一区域外部的变量的活性，包括当变量在所述处理程序的执行之后的任何区域中使用时，将所述变量分类为在所述第一区域外部生存，所述任何区域包括所述第一区域。