公开(公告)号：US20080263524A1

公开(公告)日：2008-10-23

申请号：US12065105

申请日：2005-09-09

申请人： Gregory D. Adams ,  Jonathan David Bennett ,  Perry Randolph Giffen ,  Axel Martens ,  William Gerald O'Farrell

发明人： Gregory D. Adams ,  Jonathan David Bennett ,  Perry Randolph Giffen ,  Axel Martens ,  William Gerald O'Farrell

IPC分类号： G06F9/45 ,  G06F11/34

CPC分类号： G06F8/00

摘要： A state machine program is generated from a state machine. The state machine has states, transitions and events. A basic structure for the state machine program is generated. The basic structure has therein a structure that operates in non-final states. A statement is generated within the structure for detecting an event. A statement is generated within the structure for evaluating the detected event based on a current state to identify if the current state is valid for the detected event. A statement is generated within the structure for determining a next state if the current state is valid. A statement is generated within the structure for transitioning the current state to the next state.

摘要翻译： 状态机程序是从状态机生成的。 状态机具有状态，转换和事件。 生成状态机程序的基本结构。 其基本结构具有在非最终状态下运行的结构。 在用于检测事件的结构内生成语句。 在结构内生成一个语句，用于基于当前状态来评估检测到的事件，以识别当前状态是否对检测到的事件有效。 如果当前状态有效，则在该结构内生成用于确定下一状态的语句。 在结构内生成一条语句，用于将当前状态转换到下一状态。

公开(公告)号：US08495593B2

公开(公告)日：2013-07-23

申请号：US12065105

申请日：2005-09-09

申请人： Gregory D Adams ,  Jonathan David Bennett ,  Perry Randolph Giffen ,  Axel Martens ,  William Gerald O'Farrell

发明人： Gregory D Adams ,  Jonathan David Bennett ,  Perry Randolph Giffen ,  Axel Martens ,  William Gerald O'Farrell

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F8/00

摘要： A state machine program is generated from a state machine. The state machine has states, transitions and events. A basic structure for the state machine program is generated. The basic structure has therein a structure that operates in non-final states. A statement is generated within the structure for detecting an event. A statement is generated within the structure for evaluating the detected event based on a current state to identify if the current state is valid for the detected event. A statement is generated within the structure for determining a next state if the current state is valid. A statement is generated within the structure for transitioning the current state to the next state.

摘要翻译： 状态机程序是从状态机生成的。 状态机具有状态，转换和事件。 生成状态机程序的基本结构。 其基本结构具有在非最终状态下运行的结构。 在用于检测事件的结构内生成语句。 在结构内生成一个语句，用于基于当前状态来评估检测到的事件，以识别当前状态是否对检测到的事件有效。 如果当前状态有效，则在该结构内生成用于确定下一状态的语句。 在结构内生成一条语句，用于将当前状态转换到下一状态。

公开(公告)号：US07472378B2

公开(公告)日：2008-12-30

申请号：US10906505

申请日：2005-02-23

申请人： Jonathan David Bennett ,  Jane Chi-Yan Fung ,  Grace Hai-Yan Lo ,  William Gerald O'Farrell

发明人： Jonathan David Bennett ,  Jane Chi-Yan Fung ,  Grace Hai-Yan Lo ,  William Gerald O'Farrell

IPC分类号： G06F9/44

CPC分类号： G06F11/3664

摘要： A method, system and computer-readable storage for breakpoint management and reconciliation for business integration language specified programs is disclosed. The system includes a business integration language development environment including BPEL development environment cooperatively coupled to a BPEL engine; debug tooling accessible through the environment; and breakpoint management and reconciliation processor coupled to the debug tooling. The debug tooling comprises script display for displaying textual portions of script embedded in source code of a business integration language specified program, and at least one other display selected from a graphical process flow display, a debug display and a breakpoint module display. The breakpoint management and reconciliation processor manages establishing of symbolic breakpoints in the source code and reconciling corresponding breakpoints in an operable form of the source code. The script module display visually demarcates a location in the source code on reconciling its corresponding breakpoint to an encountered breakpoint.

摘要翻译： 公开了一种用于业务集成语言指定程序的断点管理和调和的方法，系统和计算机可读存储。 该系统包括业务集成语言开发环境，包括与BPEL引擎协作耦合的BPEL开发环境; 调试工具可通过环境访问; 和断点管理和协调处理器耦合到调试工具。 调试工具包括用于显示嵌入在业务集成语言指定程序的源代码中的脚本的文本部分的脚本显示，以及从图形过程流显示，调试显示和断点模块显示中选择的至少一个其他显示。 断点管理和协调处理器管理在源代码中建立符号断点，并以源代码的可操作形式协调相应的断点。 脚本模块显示可视地划分源代码中的一个位置，以便将其相应的断点与其遇到的断点进行协调。

公开(公告)号：US20140173012A1

公开(公告)日：2014-06-19

申请号：US14236489

申请日：2012-08-06

申请人： James Michael Ciancio-Bunch ,  Tom Waltz ,  Jonathan David Bennett

发明人： James Michael Ciancio-Bunch ,  Tom Waltz ,  Jonathan David Bennett

IPC分类号： G06Q10/10

CPC分类号： G06Q10/107

摘要： A method and system for managing email send jobs. Managing email send jobs includes constructing and building a plurality of emails based upon an executable process, wherein each of the plurality of emails comprises an activity data and at least one email recipients. Managing email send jobs also includes routing each of the plurality of emails to a queue at a location, wherein the location is determined based in part upon proximity to at least one of the at least one email recipients, processing each of the plurality of emails within each queue, injecting each of the plurality of emails into a mail transfer agent at the location, and sending each of the plurality of emails to the at least one email recipients.

摘要翻译： 用于管理电子邮件发送作业的方法和系统。 管理电子邮件发送作业包括基于可执行过程构建和构建多个电子邮件，其中所述多个电子邮件中的每一个包括活动数据和至少一个电子邮件接收者。 管理电子邮件发送作业还包括将多个电子邮件中的每一个路由到位置处的队列，其中基于与至少一个电子邮件接收者中的至少一个的接近度来部分地确定位置，处理该位置，处理多个电子邮件内的每个电子邮件 每个队列，将所述多个电子邮件中的每一个注入到所述位置处的邮件传送代理，并将所述多个电子邮件中的每一个发送到所述至少一个电子邮件接收者。