论文部分内容阅读
CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述。提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Petri网模型不仅能够清楚描述对象的静态行为,同时也能较好地模拟对象分布性和动态行为。
CORBA规范的形式化描述及分析
【摘 要】
：
CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述。提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Petri网模型不仅能够清楚描述对象的静态行为,同时也能较好地模拟对象分布性和动态行为。
【机 构】
：
华东理工大学计算机科学与工程系,中山大学计算机科学系
【出 处】
：
电子与信息学报
【发表日期】
：
2004年11期
【基金项目】
：
国家自然科学基金委员会-香港研究资助局联合科研项目，教育部科学技术研究项目，教育部青年基金
其他文献
随着《国务院关于促进农业机械化和农机工业又好又快发展的意见》的颁布实施、改革开放政策的不断深入以及国家惠农政策的逐步加大,农民购机的积极性普遍高涨,农业机械拥有量
2002年9月中旬，对东北三省玉米丝黑穗病进行了实地调查，结果发现，黑龙江省发生玉米丝黑穗病面积约44万hm^2，主要感病品种有白单31号、龙单19号，平均发病率分别为70％、57％；吉林省发生
一、＂村财乡管＂模式存在问题主要症结分析1.村级账务核算内容不全面村级核算,应当全面反映村级经济活动的全部经济内容,包括村集体收入、＂一事一议资金＂、国家财政转移支付的农村
以没食子酸为原料。经烷基化、肼解得3,4，5-三甲氧基苯甲酰肼(2)，2与芳香醛进行缩合反应合成了9个新的酰腙化合物。其结构经元素分析。IR,1H NMR和MS表征。
蓖麻是世界十大油料作物之一，它具有用途广泛，经济价值高等特点。随着中国加入WTO，蓖麻油及其系列产品需求数量增加，国内、国际市场前景广阔。为了加强蓖麻生产．提高栽培管理水平，
以3个大豆品系为材料，研究了不同播种期对各品系脂肪含量的影响。结果表明：3个品系不同播种期的脂肪含量、籽粒产量不同，品系与播期互作对脂肪含量影响差异不显著。不同年际间对
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的探讨非小细胞肺癌患者放疗前后血清血管内皮生长因子(VEGF)水平变化以及与近期疗效之间的关系。方法选择2015年1月-2016年1月在本院接受放疗的非小细胞肺癌患者64例(肺癌
专业化重组、人力资源优化、带领地方企业共同环保……齐鲁石化直面改革难题,以图齐鲁石化的百年发展大计。不求轰动一时,但求有利长远。以凌逸群为带头人的齐鲁石化领导班子