论文部分内容阅读
<正>~~
计算机学报第30卷总目次
【摘 要】
：
<正>~~
【出 处】
：
计算机学报
【发表日期】
：
2007年12期
其他文献
提出了一种新的可扩展分布式数据结构LinkNet来支持大规模P2P系统中的数据查找.在LinkNet中,所有的元素存储在一个有序的双向链表中,该链表中的每个结点都可以存储多个元素.L
定义了一种基于有色Petri网的Web服务组合模型，这一模型能清晰表达服务组合中各组成部分之间的逻辑关系，并可模拟组合服务的执行，分析其动态性质．给出了服务、服务组合运算的定义
根据Web服务中消息和行为的关系，Web服务被描述为面向消息的基于行为Petri网模型（Moap）．该模型包括消息域和服务过程，前者是服务协同以及和用户通信的通道，后者是基于Petri网的Web