论文部分内容阅读
BPEL是实现SOA组合服务和服务编制的重要技术。重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和验证。
基于π演算的BPEL组合服务的形式化描述及验证
【摘 要】
：
BPEL是实现SOA组合服务和服务编制的重要技术。重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和
【机 构】
：
江苏靖江教师进修学校
【出 处】
：
微型机与应用
【发表日期】
：
2010年22期
其他文献
【正】 近日拜读《文献》第十四、十五期连载的栾星同志的《牛金星事迹考辨》一文(以下简称栾文),对栾星同志着意搜寻史料,细心整理排比,旁引博征,用力之勤十分感佩。对于栾
《计算机组装与维护》是计算机相关专业开设的一门专业课,该课程在实际教学中存在实践环节跟不上、教材内容滞后、考核方式单一等问题,这些都影响着该课程的教学效果。因此,
简论我国信托业的规范经营与管理纪敏金融体制改革以来，我国信托业有了较快发展，但也存在不少问题，在一定程度上影响了信托作用的充分发挥。加强信托研究，完善信托管理刻不容缓。
<正> 乡镇船舶管理一直是困扰着航运管理部门的难题。安徽和县长江水域的黄砂资源近年来大量开发,乡镇船舶相应增多,并且向大吨位发展,船户大部分以船为家,长年不回港,给管理
【正】 白带山在北京西南七十五公里处,又名石经山。是北京的游览胜地。在历史文献中,记述最为详细者,莫过于《白带山志》,北京图书馆编印的《北京地方志文献索引》和首都图
近年来,国家加大了对养殖业生产资金投入,使农民的养猪积极性大大提高,特别是母猪饲养比以前增加二倍,由此出现了一些养殖户对母猪饲养经验不足,在产仔后盲目添加饲料,导致母
介绍了以LPC2210为核心处理器，以μC／OS-Ⅱ为实时操作系统的中央空调机组控制器。给出了控制系统的总体硬件结构，论述了实时操作系统μC／OS-Ⅱ的移植以及基于此的软件设计。
依法治档──长航局系统档案工作现状与展望长江航务管理局档案处长航局的档案工作，１９８４年以来，６次受到湖北省、交通部的表彰。但全系统的档案工作发展不平衡，企业单位比事业单位好，沿
高速成长的兴奋期过后，民营企业集体走向了相对缓慢的成长中后期，一些曾经风光的热点企业，因为有机会就抓、有项目就敢做的战略漂移本性，导致了企业陷入发展泥潭，二次创业的成功率