论文部分内容阅读
结合目前企业信息系统在工作流建模时对数据及资源管理上存在的实际需求，对各种常用的工作流建模语言在数据和人力资源管理上的优缺点进行了研究分析，并基于JPDL扩展出一种支持数据及资源绑定的业务过程建模语言EJPDL，该语言通过引入业务对象组、任务到业务对象组绑定等扩展标记，使得传统JPDL语言在数据流调度控制精度、数据建模能力以及对外部数据和资源绑定能力上得到了加强，同时给出了一种基于WFD-NET的EJPDL正确性验证方法。