于庚 王海洋 张静 徐猛 史玉良 郑湃 尚宗敏 王伟

数据密集 跨组织工作流 云计算 抽象 数据依赖 协调性检测 版本协调模型 元图 流程 工作流建模 着色跨组织工作流 业务流程 多应用集成 Web服务 监控 异常处理 Pi演算 工作流 业务流程建模 组合 主动工作流视图 合理性 数据布局 着色Petri网 补偿业务生成图 正确性

山东大学计算机科学与技术学院 山东济南