论文部分内容阅读
提出基于模型驱动架构的软件开发过程，利用可执行形式化规范，有效提高软件开发效率和可测试性，并通过基于可执行规范的运行时监控技术保证系统行为的可信性，降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。
基于MDA和可执行形式化的可信软件设计
【摘 要】
：
提出基于模型驱动架构的软件开发过程，利用可执行形式化规范，有效提高软件开发效率和可测试性，并通过基于可执行规范的运行时监控技术保证系统行为的可信性，降低由于软件测试阶段
【机 构】
：
山东科技大学信息科学与工程学院,中国科学院软件研究所计算机科学国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2009年19期
【基金项目】
：
国家自然科学基金资助项目（60773034）,国家“973”计划基金资助项目（2004CB318001-03）,中国科学院计算机科学国家重点实验室开放课题基金资助项目（SYSKF0804）,山东省“泰山学者”建设工程专项基金资助项目
其他文献
目的改进全脑大鼠缺血再灌注模型的制作方法。方法48只成年的SD大鼠，四血管闭塞法制作全脑缺血再灌注模型，术中氨基甲酸乙酯麻醉，1ml的0．5mm无茵注射器针头阻断双侧椎动脉，无创动
煤、石油、天然气等不可再生资源的消耗导致环境污染日益严重,开发和使用清洁的可再生能源迫在眉睫。利用太阳能光催化分解水制氢被认为是解决化石能源紧缺和环境污染问题的
针对分布式空间信息领域服务的特点,结合"国家科学数据共享工程"的开发实践,提出了改进空间服务质量的3种策略:针对组件纵向关系的设计,采用面向服务结构和中心元数据服务器对OGC服务框架的改进策略;针对组件横向关系的设计,引入面向方面编程的策略;针对空间信息的领域特点,采用地图服务和空间数据缓冲池的设计策略。给出了一个原型系统实现的拓扑结构和相应的测试数据,验证了3种策略优越性。
众所周知,国际的竞争,归根到底是人才的竞争,这使得教育处于相当重要的位置。目前,随着高等教育日益国际化,教学改革也势在必行。由于物理学在历史上的先导性及在学科间的渗
针对XML数据质量问题,通过引入贝叶斯学习方法与马尔可夫链概率转移策略建立XML数据清洗过程的元数据模型,根据综合清洗结构化数据中相似重复记录的思想,提出一种智能清洗XML
基于Shamir的秘密共享体制和RSA加密算法的安全性，提出一种动态的门限秘密共享方案。在该方案中可以动态添加或删除参与者以及更新多重秘密，无需重新分发子秘密，参与者的秘密份
Profiling技术能提供程序实际执行时的相关信息。在动态编译环境中,Profiling的运行时开销导致难以收集较为复杂的运行时信息。该文提出一种基于部分调用图的Profiling技术,