论文部分内容阅读
针对面向数据的业务流程管理（BPM）系统中逻辑模型向物理模型的自动转换问题,提出一种服务垂直匹配解决方法。利用XML描述artifact类型的实例,在此基础上,给出以artifact为中心的业务流程模型ArtiFlow的形式化描述及逻辑服务的定义,进而从流程描述中提取逻辑服务,基于XML文档树的嵌入方法,提出逻辑服务到物理服务的匹配算法。