计算机工程2012，Vol.38Issue(7)：276-278,3.DOI:10.3969/j.issn.1000-3428.2012.07.090
Web服务编制的形式化模型研究
Research on Formalization Model for Web Service Compilation
摘要
Abstract
In order to support the formalization analysis and verification of Web Services-business Process Execution Language(BPEL), aformalization model for Web service compilation-μ-BPEL is designed in this paper. The specific studying process is as follows. The syntax rulesand operational semantics of u-BPEL language are introduced, and establishes the mapping from u-BPEL to extended timed automata, model checking technology is used to study the service correctness and the test of time-related problems. Research result shows this model can support Web service compilation process effectively, which can better meet the temporal logical properties which sets in the system.关键词
Web服务编制/形式化模型/时间自动机/映射Key words
Web service compilation/ formalization model/ timed automata/ mapping分类
信息技术与安全科学引用本文复制引用
杨晓波..Web服务编制的形式化模型研究[J].计算机工程,2012,38(7):276-278,3.基金项目
浙江省自然科学基金资助项目(Y1110023) （Y1110023）
