软件构架描述语言ADL的研究进展

软件构架是对子系统、软件系统构件以及它们之间相互关系的描述,已逐渐成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一.构架描述语言(ADLs)是具有构架结构的规范及其操作语义的形式化体系,采用形式化手段表达和推理软件构架,它提供了建模软件系统概念构架的特征.与编程语言、需求语言、建模语言、模块互连语言(MILs)等不同,ADLs形式化地描述了整个系统的构件、连接器、配置及其约束关系,除了识别系统的构件和连接器之外,还专门表达了构件的行为规范、协议规范和连接器规范.目前ADLs的研究逐步转移到移动及可视化集成框架的研究、ADLs支持工具的研究、提高支持工具的有效性等方面.融合ADL与UML进行系统建模与分析也是一个重要的研究内容.     

基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例．     

高风险语言测试负面后效产生的原因及对策——以大学英语四级考试为例

高风险语言测试负面后效产生的主要原因是测试目的不明确、测试目标和教学目标不一致、测试内容与实际语言运用不一致。测试开发者应通过准确定位高风险测试目的和使用范围,开发更多语言测试,提供多种选择等措施改善测试方法,减少高风险语言测试负面后效。同时,社会、政府、学校都应对测试后效的复杂性有充分认识,科学利用测试对教学的调控作用。     

分布式模型访问决策支持系统的UML静态建模

统一建模语言UML(Unifled Modeling Language)是面向对象软件开发方法的重要技术．在介绍UML的基础上,以基于C／S模式下的分布式DSS模型库管理系统系统的建模作为实际例子,描述了通过UML来进行静态建模的详细过程．     

气体自动检测系统上位机软件的Java实现

介绍了基于GSM短消息模块设计和开发的气体自动检测系统中上位机管理软件的设计与实现.软件采用Java语言开发,随时接受各观测点通过GSM短消息发送的最新气体体积分数数据,存储在数据库中,并及时更新上位机显示的数据,当数据越限发出报警信号,同时以折线显示观测点每日从零时到当前时间的数据情况.     

网络环境下数据交换方案的设计与实现

通过研究网络环境下数据交换的过程和特点,分析比较了现有数据交换方案的局限性,提出一种基于XML和Web服务的动态数据交换方案.构建符合UDDI2.0规范的UDDI中心;基于该中心注册数据服务,使交互数据在网络环境下易于被发现;服务提供方部署和发布Web服务,实现交互数据的动态提供.为提高数据交换效率,扩展了Web服务的发布方式:将交互数据的模式相关信息连同Web服务描述一并发布至注册中心;服务请求方动态设定查询条件,实现数据的动态获取;通过XSLT和数据语义匹配技术,实现异构数据模式映射和数据的转换.采用Java技术实现了原型系统,对所提出的方案进行了验证.     

高职院校英语教学中素质教育问题探究

基于在素质教育的宗旨是培养创新精神这一基本观点,分析了英语教学在我国教育体系中的作用和地位,指出当前英语教学中存着重应试教学轻应用能力培养的倾向,提出了英语能力训练、英美文化知识传授和受教育者人文精神培养三位一体的深化英语教学改革的建议,并结合实践论证了可行性。     

CORBA与Web服务集成技术

为了解决企业内部的遗留系统如何通过标准的Web服务技术实现互访的问题,通过对基于Web服务的典型应用集成场景的分析,参考Object Management Group(OMG)的相关规范,提出了更为全面的集成模型.其中新加入了基于Servant的SOAP-CORBA网关,对规范进行了必要的补充,并克服了其他同类系统未能解决的性能瓶颈和单点失效问题,而且本模型更易于灵活的分发部署,有利于整个系统的负载平衡.通过实验验证和分析,证明了模型的可行性,同时具有 良好的性能.     

语言交际与不同受话者形态下的取效行为

本文旨从奥斯汀的言语行为理论中“取效行为”出发，着眼于日常语言现象，针对三种不同形态的受话者对言语行为产生的积极和消极的影响，重点分析了较常见的第一种受话者形态，而提出语言是人的第二形象。说话者应根据不同的受话者这个角度来提高自己的语言交际能力，通过语言来传达说话者的思想，情感，修养以及学识等，以完善自己的言语行为，顺利实现人与人之间的交际与沟通。     

面向复杂产品协同设计的元模式设计

分布式制造应用之间的互操作是计算机辅助协同设计需要解决的核心问题.该文从一个航天复杂产品的协同设计实例出发,研究了支持多领域应用协同设计的To-Be模型.结合当前元语言、元框架等技术特点,提出了一种元模式协同设计方法.该方法具有将产品的工程特征信息描述与实现技术(程序语言、计算机辅助工具)隔离;应用可扩展标记语言描述产品元数据;应用元框架实现产品共享信息的交互等特点.设计了航天复杂产品协同设计知识大纲,实现了多领域应用的协同设计.