论文部分内容阅读
BPEL是实现SOA组合服务和服务编制的重要技术。重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和验证。
基于π演算的BPEL组合服务的形式化描述及验证
【摘 要】
：
BPEL是实现SOA组合服务和服务编制的重要技术。重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和
【机 构】
：
江苏靖江教师进修学校
【出 处】
：
微型机与应用
【发表日期】
：
2010年22期
其他文献
《计算机组装与维护》是计算机相关专业开设的一门专业课,该课程在实际教学中存在实践环节跟不上、教材内容滞后、考核方式单一等问题,这些都影响着该课程的教学效果。因此,
近年来,国家加大了对养殖业生产资金投入,使农民的养猪积极性大大提高,特别是母猪饲养比以前增加二倍,由此出现了一些养殖户对母猪饲养经验不足,在产仔后盲目添加饲料,导致母
介绍了以LPC2210为核心处理器，以μC／OS-Ⅱ为实时操作系统的中央空调机组控制器。给出了控制系统的总体硬件结构，论述了实时操作系统μC／OS-Ⅱ的移植以及基于此的软件设计。