排序方式: 共有8条查询结果,搜索用时 0 毫秒
1
1.
Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。 相似文献
2.
本文讨论了一个预测RNA二级结构的回溯算法。该算法根据极大基配对的原则按字典顺序产生所有可能的二级结构。它的时间复杂性是O(n~2),空间复杂性是O(n)。 相似文献
3.
4.
5.
提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPEL流程的基本控制流,包括基本活动和各种结构化活动,而且描述了WS-BPEL流程的死路删除语义和较完整的link语义,包括join condition和transition condition。最后,通过一个实例说明了使用DPE网建模WS-BPEL流程,有助于得到更为准确的分析结果。 相似文献
6.
7.
8.
屈婉玲 《北京大学学报(自然科学版)》1988,(5)
在这篇论文里,一个超图的着色问题被推广成一个子集的“复盖”问题。文中给出了复盖数P(n,m,K)的几个上、下界和某些特殊情况下的精确值。 相似文献
1