题目：BPEL工作流建模与调试机制的研究

业务流程管理，是一套达成企业各种业务环节整合的全面管理模式，其中流程建模系统与工作流引擎是业务流程管理的重要组成部分。为了保证业务流程在工作流引擎中正确执行，需要在流程实际运行前进行验证，而调试是最有效也是最便捷的验证手段。 然而，目前对于工作流调试机制的研究存在不足。传统调试多采用在流程代码中手工设立超时限制的方法来中止引擎查看流程执行状况，无法提供给调试人员一个图形化的流程执行路径展示与单步调试跟踪功能，也就很难准确定位流程出错位置而进行纠错；同时，建模系统与工作流引擎运行地点的分离也要求提供一种远程调试的方法去验证流程的正确性。 针对以上问题，本文设计了一种远程图形化调试流程的机制，调试用户可以在流程的图形开发界面上，对活动图元设置断点，使用单步、恢复、暂停执行等界面操作，通过与工作流引擎交互的远程调试通讯机制，方便、直观的查看图形化流程的执行过程，跟踪流程执行并获取执行过程中的变量信息，准确进行错误定位及流程纠错。 本文的主要贡献如下： 1. 设计实现BPEL远程调试通讯机制、调试界面响应机制两套核心机制。 2. 设计实现BPEL图形化断点ID标识、中断活动列表两个关键技术。 3. 设计实现BPEL工作流调试机制的两个核心算法，包括图形断点发布算法与调试事件响应算法。 4. 设计实现BPEL建模系统的几个重要算法，包括BPEL视图与文本的序列化与反序列化算法及三个布局算法。