数据竞争和死锁检测论文

BPEL流程解释和验证技术研究
论文摘要为了快速高效地建立分布式协作开发环境,满足我国当前在军事和经济领域的迫切需要,集成现有工具和组件而不是开发全新的协作环境是切实有效的解决方案。业务流程执行语言（Busi...