【摘 要】
：
随着Internet的发展,应用所依赖的框架结构也趋于复杂,新的多层次体系结构开发模式和基于组件模型的软件开发方法日臻成熟.基于Web的各项应用也正朝着分布式和多层次结构化方向发展.本文探讨基于J2EE框架下组件的设计方法和实现技术,着重讨论了有关的技术和设计方法,尤其是J2EE平台下的相关组件技术.为了满足软件系统适应扩充性和重用性的需求,本文结合应用案例,介绍了符合现行软件开发规范的组件设计方
【出 处】
：
2002全国软件与应用学术会议(NASAC)
论文部分内容阅读
随着Internet的发展,应用所依赖的框架结构也趋于复杂,新的多层次体系结构开发模式和基于组件模型的软件开发方法日臻成熟.基于Web的各项应用也正朝着分布式和多层次结构化方向发展.本文探讨基于J2EE框架下组件的设计方法和实现技术,着重讨论了有关的技术和设计方法,尤其是J2EE平台下的相关组件技术.为了满足软件系统适应扩充性和重用性的需求,本文结合应用案例,介绍了符合现行软件开发规范的组件设计方法和具有实用性的工艺开发过程.
其他文献
介绍了近年来某些桥梁及海洋工程项目在应用LWAC时的一些特色,有价格、结构中关键部位、特定场合以及额定密度混凝土等方面.它们都是成功的工程,可为有志于LWAC的工程人员借鉴.
随着我国墙材革新的深入发展,轻型墙材的比重正在逐年提高,特别是轻质大块机械条板具有其它新型墙板无法替代的优势.本文介绍目前生产轻质墙板的几种方法.
本文介绍了用上海申威陶粒制品有限公司研制的高强粉煤灰陶粒配制砼的增强途径、工艺措施及在工程实例中的应用.
本文介绍一种由聚苯乙烯球与粉煤灰为主要材料复合的免烧结粉煤灰轻骨料,并对其生产工艺,主要技术性能,以及用其配制轻砼,生产小型轻砼砌块进行了试验研究.
多态类型是函数式语言的基本特性,它使得算法形式简洁,提高了代码的可重用性.在C++中增加多态类型定义,将大大提高C++的描述能力.本文研究了函数式语言Haskell的多态类型系统和C++类之间的关系,提出了data定义的代数数据类型及其相关的模式匹配函数到C++模板的转换算法,并用Haskell语言本身实现了这个自动转换,实践证明本文所采用的方法是有效和实用的方法.
COTS构件当前软件市场的一个新趋势.在CAT(Computer Aided Testing)平台项目的证书生成工具的设计中,我们利用MS Excel构件,快速的实现了工具,不仅降低了开发成本,还大大增强了该工具的灵活性和可维护性.文中给出了基于Excel的实现,并演示了证书生成的实例.实践表明,基于COTS构件的开发是解决类似问题的较好方案.
保证要求是现代信息系统安全评估的重点之一,它是信息系统满足安全功能要求的可信依据.保证要求的核心是将安全软件工程思想和技术贯彻于安全信息系统的整个生命周期过程中,为各项活动提供连续的方法论指导和具体技术方法的辅助,为系统安全目标和安全要求的完成提供充分的保证.结合可信DBMS的特点和特殊性,描述了安全软件工程方法在其开发过程中的应用,分析了从需求分析、系统高层设计、系统详细设计到系统实现、测试等主
本文提出解码器通信协议的一种形式化方法(FSPD),以描述不同解码器的通信协议.解码器控制软件读入不同FSPD规格说明书就能控制不同型号的解码器,从而提高了解码器控制软件的可适应性和可重用性.FSPD精确、简单,用它书写的规格说明书可以利用公理语义进行验证.
本文将Petri网理论与面向对象技术紧密结合,根据面向对象思想的特点对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念,定义了一类高级Petri网即面向对象Petri网模型(Object-Oriented Petri Net,简称为OOPN),并对该模型进行了分析与行为验证,OOPN能够成为面向对象系统的一种一致的、形式化的建模工具.
构造类别代数是一种通信协议的形式化方法.本文针对基于构造类别代数的协议描述,引入变异分析方法,对协议进行一致性测试.本文针对构造类别代数设计了几类变异算子,并且给出了使用变异分析对基于构造类别代数描述的协议进行一致性测试的基本步骤.这种方法为基于构造类别代数的协议测试提出了一个新的方向.