排序方式: 共有3条查询结果,搜索用时 93 毫秒
1
1.
对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念,规范流网的有关定义,然后在此基础上定义规范流网关于OR-join任务新的语义;最后提出一种判定规范流网OR-join任务使能的算法,并举例说明算法的正确性和有效性。 相似文献
2.
3.
针对不包含循环的web服务,提出了一种自动组合的形式化方法。由于web服务行为具有异步性的特点,而状态迁移系统能够恰当地描述这种异步通信,因此利用状态迁移系统来完成对非循环Web服务的自动组合过程。文章中阐述了这一自动组合算法,并通过具体的实例进行了详细解释。该自动组合算法能够解决手动组合非循环Web服务时出现的复杂性,易错性和耗时性等问题。 相似文献
1