逻辑模型向物理模型的自动转换问题是面向Artifact的BPMS(Business Process Management System)面临的一个关键问题.本文选取ArtiFlow作为逻辑模型,BPEL作为物理模型,重点研究ArtiFlow到BEPL转换过程中库与Services间的匹配问题.给...
详细信息
逻辑模型向物理模型的自动转换问题是面向Artifact的BPMS(Business Process Management System)面临的一个关键问题.本文选取ArtiFlow作为逻辑模型,BPEL作为物理模型,重点研究ArtiFlow到BEPL转换过程中库与Services间的匹配问题.给出了ArtiFlow的形式化定义和库的逻辑模型,扩展了物理模型中的操作模型,将库与Services间的匹配问题转化为XML数据的匹配问题,提出了两层匹配算法.
暂无评论