山东理工大学学报（自然科学版）2008，Vol.22Issue(2)：66-71,6.
Web服务语言BPEL到接口自动机的转换
Transition from web service language BPEL to interface automata
吉春山 1刘晓燕 1吕苏环1
作者信息
- 1. 昆明理工大学,信息工程与自动化学院,云南,昆明,650011
- 折叠
摘要
关键词
服务组合/业务流程执行语言/形式化工具/接口自动机分类
信息技术与安全科学引用本文复制引用
吉春山,刘晓燕,吕苏环..Web服务语言BPEL到接口自动机的转换[J].山东理工大学学报（自然科学版）,2008,22(2):66-71,6.
