工作流产品中的一个重要组成部分是业务流程的设计和验证。由于WSBPEL是半形式化的描述方法,不易检测与验证,难以保证Web服务组合的正确性,也无法在较抽象的层次上跟踪其业务流程。针对此问题,该文提出了业务流程建模与验证的三层体系结构,并实现了业务流程到π演算描述的转换算法。
科研之友
微信
新浪微博
Facebook
分享链接
