论文部分内容阅读
描述了Web服务业务流程执行语言（BPEL4WS）的Petri网模型，并提出了模型的化简规则，用于验证模型中的死锁和乏同步两种结构冲突。最后结合一个业务过程实例，进行建模和化简。
基于Petri网的BPEL4WS模型的分析
【摘 要】
：
描述了Web服务业务流程执行语言（BPEL4WS）的Petri网模型，并提出了模型的化简规则，用于验证模型中的死锁和乏同步两种结构冲突。最后结合一个业务过程实例，进行建模和化简。
【机 构】
：
电子科技大学计算机学院
【出 处】
：
成都信息工程学院学报
【发表日期】
：
2006年4期
其他文献
多用户检测中的串行干扰检测器,因其结构简单、计算复杂度低而倍受关注,但由于其自身结构特点,容易引起误差传播。在串行干扰检测器中加入自适应滤波算法,使自适应消除器的权
介绍了一种新型网络体系结构SUNA,并将它的数据包与其它两种层次型网络体系结构中的数据包进行了组成和效率上的比较分析.说明了在这方面,SUNA的数据处理效率的优势.
介绍了一种基于Delta-Sigma调制小数分频技术和YTO的宽带、高分辨率频率合成器的设计方案。对环路的数学模型进行了详细的分析,给出了计算机辅助设计结果。实测表明,方案可实
探讨虚拟局域网技术。基于端口的VLAN（虚拟局域网）技术在保证rVLAN本身灵活性的同时，又为网络的安全管理提供了有效的技术手段。利用Cisco交换机，按端口组网的方法建设校园网。
Linux正大步进入实时控制领域,但是Linux并没有提供对周期性实时任务的直接支持.如何在Linux下进行周期性实时任务的开发是一个难题.分析了周期性实时任务的开发内容,从实时
介绍了基于替换的组合电路的等价性检验算法，利用待检验的两个电路的结构相似性来逐步约简电路，从而加速了验证过程。
分布式互斥是分布式系统中的重要问题之一。通过对分布式锁的使用,提出一种基于读写请求作不同加锁处理的主副本锁。同时给出了执行方案,对其性能进行了分析。最后,与传统主
对Diameter做了简要的介绍，分析Diameter协议中存在的安全隐患，例举了CMS协议在Diameter中的应用，对应用作了安全性分析，并在分析基础上对该协议作了一定的改进。
网络上最危险的攻击手段莫过于缓冲区溢出攻击.从时间上看,缓冲区溢出这种攻击手法已经出现了20年,但是,从Windows到Linux,从操作系统、数据库服务器到工具软件,仍有新的缓冲