【摘 要】
:
定义构件的基调视图和行为视图,给出将构件行为转化为π演算进程表达的建模方法,并设计实现构件行为的π演算描述自动转换的算法。结合一个电子商务的实例,借助Ⅱ演算的操作语义
【基金项目】
:
江西省自然科学基金资助项目(2008GZS0017)
论文部分内容阅读
定义构件的基调视图和行为视图,给出将构件行为转化为π演算进程表达的建模方法,并设计实现构件行为的π演算描述自动转换的算法。结合一个电子商务的实例,借助Ⅱ演算的操作语义和形式化推理技术实现对软件构件组合时的兼容性进行检查。
其他文献
为获得超临界锅炉壁面热流密度,基于温差法原理设计了超细高温热流计,为系统研究热流计性能特性及优化热流计设计,对该热流计进行模拟研究以及实验测量.通过建立热流计一维非
本文研究了日粮能量和蛋白质来源对育肥猪生长性能、养分消化率、血清生化指标、胴体性状、肉质以及肌纤维的影响并探讨了小麦日粮在降低生产成本和改善猪肉品质方面的应用价
在介绍我国开展农超对接背景的基础上,阐述了当前国内山东家家悦超市及国际大型连锁超市家乐福、沃尔玛和乐购开展农超对接的现状,指出对接中面临的挑战,分析了农超对接模式
时代的发展要求我们党由领导革命转向领导社会建设和发展。随着我国经济体制和政治体制改革的进一步深化,各级党组织在面对社会多样化、党政进一步分开的局面下,如何为社会提
换挡机构是变速器中重要的零部件,随着消费市场的逐渐成熟,客户对换档机构性能的要求持续提升,使得换档机构性能的研究显得越来越重要。由于换档过程是在极短的时间内发生的过程
作业是巩固教学效果的有力手段,也是反馈教学效果的重要途径之一。因此,合理地布置一点课外作业是必要的。
目的 评价黄精多糖滴眼液的安全性。方法 依据改良Blach Well法确定初始剂量及最大剂量,评价其安全性。采用单次给药、一天多次给药、连续多次给药的方法,观察用药后生命体征
类胡萝卜素在植物体内具有重要的功能,一些有色的类胡萝卜素是许多植物花和果实颜色的主要来源。类胡萝卜素主要与植物黄色、橘色等相关。油菜花色通常为黄色,但不同颜色的油
新农村建设中,劳动力是各生产要素中最活跃,最重要的要素。所以,社会主义新农村建设的关键在人,即如何培育提升农民素质,正确树立广大农民的主体地位,发挥其主体作用是社会主
1.四川省气候变化既与全球、全国总体一致,又由于特殊的地理位置和地形地貌等原因而具有其独特性。1961—2007年,四川省年平均气温、年平均最高气温、年平均最低气温、高温日