基于语义层行为结构的变换对形式化格局识别技术的再探究*

程序的语义层是程序的词法层和语法层的抽象表达,而蕴涵在软件中的语义层构成了人脑思维与机器思维交互过程的中间变换,从程序的语义层出发,利用行为结构的高层表达进行软件理解,进而抽取设计决策,成为了软件逆向工程理论研究的热门课题,形式化格局识别技术在不同程度上表达了上述思想。基于以上分析,对格局识别技术作进一步探究,并在原有基础上提出了新的改进算法与实施技术。     

基于QoS延时参数的服务接纳控制算法

为给并发访问的多个请求提供QoS保证,Web Service必须借助某些算法对请求加以控制。该文分析QoS延时参数的构成,提出基于QoS延时参数的服务接纳控制算法。该算法可在满足既有服务的QoS延时要求的条件下,控制接纳新进入的服务。否则即让其在队列中等待直到被服务器接纳,或服务器直接抛弃这个请求,由客户端在超时后自动重发请求。     

一种基于新型事件驱动机制的Java构件交互方法

提出了一种基于新型事件驱动机制的构件交互方法。这种方法使用统一的事件模型，以一致的方式处理各类事件，包括自动触发的自动事件，显式地调用事件服务API生成的手动事件以及反映事件路由器工作状态的路由事件。这种方法不要求修改构件源代码，且能够以灵活的事件路由器网络作为构件交互的核心，为Java构件交互问题给出了一个新的解决途径。     

基于SOFL规范的语义分析

传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景,使其举步维艰.于是作为形式化方法与面向对象的联姻的SOFL(Structured Object-Oriented Fomal Language)便应运而生.在给出语义分析的整体算法后,逐步分析各个阶段遇到的关键问题并给出解决方法,同时在参考其他语言的基础上,定义了SOFL中一些语义规则.     

基于语义层行为结构的变换对形式化格局识别技术的再探究

程序的语义层是程序的词法层和语法层的抽象表达,而蕴涵在软件中的语义层构成了人脑思维与机器思维交互过程的中间变换,从程序的语义层出发,利用行为结构的高层表达进行软件理解,进而抽取设计决策,成为了软件逆向工程理论研究的热门课题,形式化格局识别技术在不同程度上表达了上述思想。基于以上分析,对格局识别技术作进一步探究,并在原有基础上提出了新的改进算法与实施技术。     

基于无线网络的城市天燃气管控一体化系统设计

应用PLC技术、GPRS无线网络技术、MODBUS现场总线集成控制技术、传感器检测技术、远程调度控制技术、监控平台及工控软件实现城市天燃气管网的数据采集、远程遥控、监控管理一体化.     

面向方面编程在EJB中的应用

介绍了AOP的基本思想,通过AOP在EJB安全授权、事务处理中的应用阐明TAOP的优点。     

智能仪表实时控制软件的设计与实现

介绍了一种智能仪表的实时控制软件的设计与实现,针对其中的中断机制、实时措施、可靠性措施和数字显示等关键技术进行了阐述。这些技术应用于某型高空无线电高度表,使其测高达到15000m（填补国内空白）,误差为低空1％、高空2％,并首次使用模拟、数字两种显示方式,从而从预研转为工程阶段。     

提高“软件架构”课程教学质量的几项措施

本文针对当前"软件架构"课程教学质量不尽如人意的现状,系统地分析了产生这一问题的根源,并介绍了上海交通大学软件学院在此问题上所采取的几点措施。教学实践表明,这些措施确实可以提高"软件架构"课程的教学质量。     

基于语义层软件理解的形式化格局识别技术

目前国内外学者在软件理解的研究上多注重于程序的词法层和语法层技术的探索，相应的有程序切片、程序类跟随踪、程序依赖性分析、反汇编与反编译等。但对程序的语义层理解方法进行研究的甚少。该文正是基于上述分析研究了一种软件理解新认识水平——形式化格局识别技术，以行为层状结构的变换来表述程序的语义，进而采用近人类的思维方式来理解并抽取软件的设计决策与体系结构。