论文部分内容阅读
本文先分析了业务流程形式化分析与验证的主要研究现状，提出基于TLA的业务流程形式化分析的优势。探讨如何对TLA理论体系进行扩展，以BPEL为例研究如何对主流的业务流程的描述语言进行转换。
基于TLA的业务流程形式化分析
【摘 要】
：
本文先分析了业务流程形式化分析与验证的主要研究现状，提出基于TLA的业务流程形式化分析的优势。探讨如何对TLA理论体系进行扩展，以BPEL为例研究如何对主流的业务流程的描述语
【机 构】
：
贵州财经大学信息学院,贵阳,550025
【出 处】
：
计算机光盘软件与应用
【发表日期】
：
2013年7期
其他文献
Comparison of Morphological and Genetic Differentiations in Filial Generation of Cross Between Indic
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
科学的政府间转移支付制度通过中央—地方经济利益的再分配，在实现各地区财力均衡、优化资源配置、缩小区域经济发展差距、促进社会公平等方面具有重要作用。我国于1994年建立了政府间转移支付制度。自此，国内越来越多的研究致力于评估解释转移支付对均衡地区间财力差距，实现地区间基本公共服务能力的均等化和缩小地区间经济发展差距等方面的影响作用，然而结果不尽相同。本文旨在现有的研究基础上，考虑采用多种估计方法，对
本文在北方潮土区进行了夏玉米施磷效果试验研究 .设计 6个施磷 P2 O5 水平 ,即0、4 5、69、93、1 1 7、1 4 1 kg/ hm2 .试验结果表明 :施磷可促进夏玉米生长发育 ,增强其
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
期刊
改革开放之后，我国的经济实力不断上升,参与到经济全球化的程度也在不断加深,对外直接投资也在不断的上升中。在国际金融危机中，中国的对外直接投资也逆势增长，对外直接投资流量