随笔分类 -  综述阅读

Models and Verification of BPEL
摘要：F Van Breugel, M Koshkina - Unpublished Draft, September, 2006 - Citeseer看完后Google才知道这篇文章是没发表的，我说怎么看起来不怎么样，不过也算他的参考文献够多，以后可以借鉴。surveyBPEL模型和验证综述(S1) Petri NetsBPEL流程向Petri网映射的形式化方法随着Petri的形式化语义定义的完成而出... 阅读全文
posted @ 2010-05-13 16:59 帮主 阅读(599) 评论(1) 推荐(1)