论文部分内容阅读
定义了一种基于有色Petri网的Web服务组合模型，这一模型能清晰表达服务组合中各组成部分之间的逻辑关系，并可模拟组合服务的执行，分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法．
Web服务组合的有色网模型及运算性质
【摘 要】
：
定义了一种基于有色Petri网的Web服务组合模型，这一模型能清晰表达服务组合中各组成部分之间的逻辑关系，并可模拟组合服务的执行，分析其动态性质．给出了服务、服务组合运算的定义
【机 构】
：
华南理工大学计算机科学与工程学院,山东科技大学信息科学与工程学院
【出 处】
：
计算机学报
【发表日期】
：
2006年7期
其他文献
提出了一种两级扫描测试结构：根据电路结构信息对时序单元进行分组,同组的时序单元在测试生成电路中共享同一个伪输入;将时序单元划分到不同的时钟域,在测试向量的置入过程中
提出了一种新的可扩展分布式数据结构LinkNet来支持大规模P2P系统中的数据查找.在LinkNet中,所有的元素存储在一个有序的双向链表中,该链表中的每个结点都可以存储多个元素.L