基于TLA的业务流程形式化分析

摘要

本文先分析了业务流程形式化分析与验证的主要研究现状，提出基于TLA的业务流程形式化分析的优势。探讨如何对TLA理论体系进行扩展，以BPEL为例研究如何对主流的业务流程的描述语言进行转换。