使用扩展区间时序逻辑为并发工作流建模

针对集中式体系结构并发工作流的两种运行方式(活动并发执行和活动以任意顺序执行),对区间时序逻辑进行扩展,提出两个新操作符"交错"和"限制性交错".根据工作流状态的偏序关系以及逻辑公式连接前后其模型的长度关系,证明用新操作符连接的区间时序逻辑公式适于表示并发工作流.结合一个并发工作流实例,说明如何用扩展区间时序逻辑表示活动及由活动组建的并发工作流,从而得到并发工作流的区间时序逻辑模型.利用并发工作流的区间时序逻辑模型验证并发工作流的活性和安全性,可大大提高并发工作流设计的可靠性.

基于并发工作流的财务监管数据汇聚模型

企业集团的财务数据通过Internet跨越多个大行政区,集团内的财务软件和数据系统具有异构特性。为有效汇集集团的财务监管数据,以并发工作流为基础,提出财务监管数据汇集模型。利用基本财务数据,构造树形工作流,使用财务数据汇总服务器树,构建多级数据汇集机制,通过树形工作流和多级数据汇集机制实现该模型。分析和实验结果表明,该模型具有良好汇集效率和近线性的可扩展性,满足了企业集团的信息化建设需要。