福建省重大科技项目(2010N5008)
- 作品数：2 被引量：0H指数：0
- 相关作者：李海波李鹏飞郭春丽喻小光更多>>
- 相关机构：华侨大学更多>>
- 发文基金：福建省重大科技项目国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 服务工作流中基于资源约束的服务选取方法
- 2012年
- 在面向服务的工作流管理系统中,目前多采用难以准确获取的服务质量信息来选取服务,忽略了基于业务去选取符合需求的服务。通过对资源约束间的相关性、约束满足的时效性等性质进行分析,提出基于资源约束满足性的服务选取方法,并给出了具体算法。该方法将工作流模型中描述的约束条件分离出来,并在运行时和服务选取之前判定其满足性,从而可以选取满足业务需求的服务。实例分析表明该方法具有很强的通用性和实用性。
- 李海波李鹏飞喻小光
- 关键词：服务工作流资源约束服务质量
- 基于数据流分析的工作流模型局部性研究
- 2011年
- 由于模型化简的方法存在着通用性的限制,工作流模型中控制流和数据流相结合的冲突检测通常要在整个模型范围内进行,模型维护的复杂性高。首先通过分析工作流模型中存在的时序依赖和数据依赖关系,以及二者应该满足的一致性,揭示出工作流模型的拓扑结构中存在着局部性。基于工作流模型的局部性原理提出活动的稳定子图,以及工作流模型重构后的局部区域求解方法,并对方法给予证明。最后的对比分析表明,工作流模型的拓扑结构发生变化时,控制流和数据流的一致性完全可以在局部范围内验证和维护,进而提高了模型维护的效率。
- 郭春丽李海波
- 关键词：工作流模型
