论文部分内容阅读
针对SOA实施过程中Web服务协商的需要，提出了一种Web服务协商协议．定义了通信原语，在服务提供者和服务消费者之间动态地协商服务信息，并采用Pe讲网模型对该协议进行了形式化描述，对Web服务组合进行建模及元素映射，给出了Petri网模型生成算法．
SOA架构下基于Petri网的Web服务协商模型
【摘 要】
：
针对SOA实施过程中Web服务协商的需要，提出了一种Web服务协商协议．定义了通信原语，在服务提供者和服务消费者之间动态地协商服务信息，并采用Pe讲网模型对该协议进行了形式化描述，
【机 构】
：
北京工业大学计算机学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2009年8期
其他文献
提出了一种在离散小波域中采用基于三段低频小波系数之间能量关系的音频水印算法．算法将音频四层小波变换的第四层低频小波系数分割成互不重叠的段，计算以及调整各段小波系数的
通过研究基于主从模式的并行计算模型和Krylov子空间Gmres（m）算法的基本理论，提出了一种Krylov子空间上带预校型的并行GMRES（m）新算法，给出了求解线性方程组的算例．与并行GMRES（m）算法
在报表系统中,报表展示引擎具有举足轻重的地位,它控制各种格式的报表的产生与输出.但现有报表展示引擎存在着诸如运行效率低、输出格式不规范等缺陷.为了克服这些不足,按照
随着应用服务提供商（ASP）模式的发展,为解决集成了越来越多应用服务的ASP平台与用户之间复杂的管理需求,提出了一种ASP模式下用户授权代理机制的角色访问控制（UD_RBAC）模型.文中
本文根据成本控制的工作贯穿施工项目的全过程的特点，论述从施工前、施工中、施工后三个阶段做好工程项目成本控制，以期望保障成本控制的有效可行，并通过对施工的全过程进行成本
提出了一种针对特定多线程应用程序的异构多核结构设计方案.此方案通过进行指令集扩展,可以方便的构建异构多核结构,而且还兼有同构多核结构的特点.还给出了该结构在Tensilic
中职教育的目标是培养具有较高社会适应能力和岗位工作能力的人才，对中职计算机教学，其主要目标就是培养具备较高计算机操作技能、能够熟练操作计算机的技术型人才。但是目前，由
BLACS是一个基于MPI或PVM用于分布存储并行线性代数计算的通信库．无标志通信是BLACS主要特点之一．无标志通信意味着在通信过程中，传送的消息不带消息标志．这对提高BLACS可编程性，