基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

GPD模型对永泰县夏季极端气温的研究

GPD模型是一个研究极值现象和极值随机变量的非常有效的工具.利用研究极值现象,有效掌握其规律并积极采取相应的措施,可以帮助人们在遇到突发事件时降低风险减少损失.利用GPD模型计算福建省永泰县某年内夏季可能出现的极端最高气温,为农作物品种的引进及农作物栽培时防高温抗干旱提供了参考依据.     

死路删除语义下的WS-BPEL流程的建模

提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPEL流程的基本控制流,包括基本活动和各种结构化活动,而且描述了WS-BPEL流程的死路删除语义和较完整的link语义,包括join condition和transition condition。最后,通过一个实例说明了使用DPE网建模WS-BPEL流程,有助于得到更为准确的分析结果。     

ZA27合金淬火时效早期阶段的研究

利用本实验设计的热效应装置研究了ＺＡ２７合金淬火时效早期过程，结果发现：ＺＡ２７合金时效早期阶段出现了大小不等的温度峰，与对应条件下硬度曲线比较表明，淬火时效温度不同，脱溶机理不尽相同，Ｔｃ以上温度时效，发生了Ｓｐｉｎｏｄａｌ分解。