【摘 要】
：
随着大量的软件演化过程模型被软件演化过程元模型建模产生，如何验证过程模型的正确性，是摆在人们面前的一个重要任务．针对软件演化过程元模型，引入进程代数ACP（algebraofcommunic
【机 构】
：
云南大学软件学院,云南省软件工程重点实验室（云南大学）
【基金项目】
：
国家自然科学基金(60963007);云南省软件工程重点实验室开放基金(2010KS01,2011SE04)
论文部分内容阅读
随着大量的软件演化过程模型被软件演化过程元模型建模产生，如何验证过程模型的正确性，是摆在人们面前的一个重要任务．针对软件演化过程元模型，引入进程代数ACP（algebraofcommunicatingprocesses）对其扩展，提出软件演化过程元模型代数，使用进程项指定软件演化过程模型的代数语义，在进程代数的统一框架下，基于等式推理验证软件演化过程模型的行为，使行为验证方式从模型推导变为代数推导．这种方法充分结合了Petri网和ACP的长处．可以有效地支持软件演化过程的形式验证．
其他文献
黄瓜是信阳市主要蔬菜，近年来随着日光温室、塑料大棚、地膜覆盖等保护措施的改进，黄瓜种植面积不断扩大，给菜农创造了可观的经济效益。保护地黄瓜的周年生产，随着茬次增多，为黄瓜
通过问卷调查,在了解小学生课后作业完成情况的基础上,设计了一个游戏化学习课后作业管理平台。介绍和总结了该平台的基本功能,试图通过游戏环节中的生命值、激励机制等因素,
损检测技术可以有效运用到锚杆支护质量评价中,可以对锚杆支护系统的稳定性进行定量评价。通过对锚杆无损检测技术理论的分析,把锚杆无损检测技术运用到中能煤业回采巷道质量
电影《鸿门宴传奇》完成了对历史故事的一次成功改编,紧紧围绕有着明显象征意义的围棋讲述了一个复杂的设局的故事,再以电影特有技法逐一解局,阐述现代语境下的历史。
为了定量分析土壤重金属含量的影响因素,以长沙城郊农田土壤 Pb、Cd 为例,采用传统回归模型（ordinary least squares, OLS）和地理加权回归模型（geographically weighted regress
俗话说得好:"良好的开端是成功的一半".新课引入的作用是集中学生的注意力,激发兴趣,唤起求知欲,启迪学生积极思维,为取得好的教学效果打下基础.笔者多年来从事初中物理教学,
应用模块化设计思路,加快了新产品的研制速度,缩短了新产品的制造周期,产品更快适应用户需要.模块化设计在小规模产品研制中占有重要地位,是产品适应市场,争取用户的物质基础
高校纪委应组织、协调校内党政管理部门,建立完善思想教育、制度规范、监督制约、廉政责任、查案惩处等机制,形成教育导廉、管理护廉、纪检促廉、班子带廉、执法固廉的综合治
小学阶段的学生天性好玩,且思维非常活跃,对于一些新鲜事物有着很强的好奇心。不过因为年龄限制,他们注意力难以长时间集中,这一问题的存在严重影响到小学数学教学质量。而合
在IC电路设计中，功耗问题越来越受到重视。因此提出一种工作在亚阈值电压范围内的低功耗CMOS两级运放的设计方法，并对电路的参数和性能做深入分析是很必要的。对电路进行仿真的