【摘 要】
：
面向监控编程技术将软件实现与监控需求规约相结合,实现对软件的运行时监控,可以有效提高软件的安全性和可靠性,但是,其监控需求的表达和监控能力的实现都比较复杂。本文提出一种基于Java注释的监控编程语言,充分利用Java5.0的注释机制,设计了面向软件监控的监控注释,将监控需求以监控注释的形式添加到程序源代码中,有效降低了监控需求表达的复杂度。同时,本文设计了监控编程预处理模型对监控注释进行处理,实现
【机 构】
：
国防科技大学计算机学院,湖南长沙 410073 装备指挥技术学院,北京 101400
【出 处】
：
全国第20届计算机技术与应用(CACIS)学术会议
论文部分内容阅读
面向监控编程技术将软件实现与监控需求规约相结合,实现对软件的运行时监控,可以有效提高软件的安全性和可靠性,但是,其监控需求的表达和监控能力的实现都比较复杂。本文提出一种基于Java注释的监控编程语言,充分利用Java5.0的注释机制,设计了面向软件监控的监控注释,将监控需求以监控注释的形式添加到程序源代码中,有效降低了监控需求表达的复杂度。同时,本文设计了监控编程预处理模型对监控注释进行处理,实现了监控能力的自动化注入。最后通过一个实例验证了该监控编程语言的有效性。
其他文献
本文在安全工程教育的蓬勃发展前提下。结合应用型大学人才教育体系和工程实践教育创新改革思路，就我院安全工程专业实验室建设的历史以及实践教育的发展研究，提出了实践教学师资培养要求、发展有特色的实习基地，实验环节方法的构建、创新。根据学生的毕业环节安排，统筹企业和学校、教师和技术人员在培养安全工程实践环节中的地位与角色等观点。总结了我院安全工程实践教学的探索思路以及办学社会评价，供安全工程实践教育工作者
“产学研结合、校企联合”办学是安全工程专业实践能力培养的必由之路。本文结合我校安全工程专业办学现状，探讨了安全工程专业走联合办学之路的人才培养模式和联合办学实现“双赢”的运行机制。
宣钢的加速发展,造成电力系统也日趋扩大,对电力调度系统提出更高要求.为此,决定采用iES500 Extreme系统,承担所有变电站全部实现综合自动化的任务.这样方便了用户,加强了全面管理,对供电的稳定性和安全性有明显改善.
介绍唐钢一钢轧厂RH精炼炉炼钢的工艺流程,ControlLogix系统的特点及该系统的硬件组成和软件功能,并对主要控制功能的设计思路进行了较详细的叙述.
在分析了数据挖掘、分布式数据挖掘、NET Remoting的概念和技术特点的基础上,提出了一种基于.NET Remoting技术的分布式数据挖掘系统模型,并描述了系统各部分功能及实现方法。
Web服务组合通过重用已有的Web服务以满足用户高质量的应用需求,是面向服务架构研究领域的热点问题。为了解决Web服务组合的可靠性和一致性问题,给出了Web服务事务性描述及组合模型,并根据Qos及用户的喜好提出了两级风险度的服务选择算法,在满足事务性组合的基础上达到优化组合的目的。
目前面向切面编程的研究侧重于语言本身的实现和应用,而对AOP程序的检查和验证的相关研究十分缺乏。针对目前的需求,本文提出一种基于运行时验证的框架来验证AOP程序,使得AOP程序中横切关注点的验证得以实现。在这种框架中,程序的性质由线性时序逻辑公式描述,并在程序执行时使用运行时验证技术来验证。通过对日志记录程序验证和分析证明该框架是可行的。
缓冲区溢出攻击是一种被广泛利角并危害严重的攻击方式。本文主要分析了缓冲区溢出攻击原理,总结了Windows缓冲区溢出攻击的关键步骤,研究了Windows Vista的内存保护关键技术,最后对Windows Vista的内存保护机制进行了分析。
对垂直管理行业进行信息化改造的过程中,流程再造是非常重要的一个环节。本文引入IC卡、有限状态自动机、工作流等技术,对现有旅客列车交接控制工作流程进行了重构,设计了一个旅客列车交接工作流模型,系统以IC智能卡刷卡签字确认方式来驱动整个流程的有序运行。已实现的软件系统的运行结果表明,该模式较好地起到了责任到人、分工明确、互相监督的作用。
Web2.0相关理念和技术在网络领域的应用日益扩大,新华文轩数字课程教材服务系统是一个基于Web2.0设计的使资源按需增长的服务系统。针对该系统在数字版权管理中遇到的问题,本文提出了数字课程教材资源权利描述模型,并设计了数字课程教材教与学服务系统的信息安全结构框架,最后描述了在该系统中用户使用数字课程教材资源的具体过程。