基于SDL模式的通信协议开发

研究了设计模式和形式化描述语言SDL相结合的SDL模式技术,分析了通信协议开发中存在的两类SDL模式:结构模式和行为模式,提出了一种基于SDL模式开发通信协议软件的方法,并通过PPP协议的开发实践验证了该方法的可行性.该方法可以有效的重用已有成功的软件开发成果,减少通信协议软件开发难度,缩短系统开发周期,提高软件质量.     

基于J2EE设计模式的小城镇电子政务系统研究应用

在软件的开发过程中,通常侧重于系统的开发与实现,而忽略了体系结构的质量和组件的可复用性。设计模式使开发人员可以更简单方便地复用成功的设计和体系结构,将设计模式与小城镇电子政务相结合构建一个基于设计模式的电子政务系统。研究结果对于设计模式的应用和解决设计电子政务所遇到的问题都有很强的现实意义。     

SEIS++:一个油气勘探领域软件建造和集成的模式语言

工业化的软件复用从通用类库进化到了面向领域的应用框架和设计模式,与框架相比,设计模式更集中于软件体系结构中重复出现的设计韵律,它主要由可复用的抽象设计结构组成,特定领域内一组相关的设计模式构成了该领域的模式语言,它们可在领域内重复使用以完成某类特定系统的体系结构设计。     

On the secure software development process: CLASP,SDL and Touchpoints compared

Development processes for software construction are common knowledge and mainstream practice in most development organizations. Unfortunately, these processes offer little support in order to meet security requirements. Over the years, research efforts have been invested in specific methodologies and techniques for secure software engineering, yet dedicated processes have been proposed only recently.In this paper, three high-profile processes for the development of secure software, namely OWASP’s CLASP, Microsoft’s SDL and McGraw’s Touchpoints, are evaluated and compared in detail. The paper identifies the commonalities, discusses the specificity of each approach, and proposes suggestions for improvement.     

From the EIC: Building and verifying hardware at a higher level of abstraction

To manage design complexity and cost, the next-generation design methodology must enable the highest possible level of abstraction; hide, insofar as possible, implementation details from designers; allow efficient design reuse, including the reuse of IP blocks, underlying architectures, and a large portion of embedded software across multiple generations; and provide flexibility in the system architecture of computation, communications, and storage elements. High-level synthesis is necessary and critical in such a solution. Consequently, this issue of IEEE Design & Test presents nine articles to review the progress of high-level synthesis research and which examine various aspects of this up-and-coming methodology.     

基于SDL语言的VxWorks嵌入式操作系统的具体实现

随着嵌入式系统通信协议的复杂性急剧提高,迫使工程师们去寻找一种效率更高的设计工具来完成工作,而SDL作为一种图形化的设计满足了这种需要,因此RTOS-SDL相结合的思路应运而生。主要说明了把SDL应用在VxWorks中的步骤和具体实现中遇到的问题,以及编程中的一些技巧。而且经试验表明,采用这种方法不但可以完成原先的需求,而且还可以在有限的时间内完成程序的编写,提高工作效率,对于SDL和嵌入式系统的结合具有很好的参考价值。     

UML与SDL结合使用的研究

在本文中我们探索如何将统一建模语言(UML)与由国际电信联盟(ITU)标准化了的规格与描述语言(SDL)结合在一起使用．在研究中，我们发现SDL用户可以从UML中获得益处，同样UML用户也可以利用SDL的优点．特别是对于实时系统的开发，我们应当用UML进行系统的需求分析，使用SDL进行系统设计．     

基于构件的框架式开发方法及其重用库系统

传统软件开发方法因难以支持需求的早期验证而易导致项目失控。基于此,该文提出了ＦＣＤＭ开发方法,通过大粒度软件重用技术来实现软件系统的快速高层构造。论文简要介绍了 ＦＣＤＭ方法并对其重用库系统的体系结构、构件的分类、检索、组装等方面进行了详细论述。     

基于决策的软件体系结构设计方法

软件体系结构是软件系统的高层抽象,对提高软件系统质量、支持软件开发、复用和控制软件复杂性都有着很重要的作用。但是决策类的软件就是要以决策主题为中心,运用相关的规则的主题和知识库来为决策软件提供一些知识服务和决策支持。我们应该从决策类软件中的复杂度、生成方案类型多、概率性高、软件运算模型的数量大的特点来进行分析,研究软件体系中应该注意的问题和策略,并对基于决策的软件体系结构设计做出较好的方法。     

基于构件的软件复用在商品订单管理系统中的应用

软件体系结构设计是近几年来流行的软件设计模式,而基于构件的软件复用技术也逐步应用到整个系统的开发过程中。文章简单阐述了软件复用的基本概念及构件在软件复用中的重要地位,并利用软件复用技术设计开发了一个基于J2EE架构的商品订单管理系统。重点介绍了系统的总体设计思想和模块组成,体现了软件复用在系统设计和快速实现时所具有的突出优势和强大的生命力。     

设计模式在HTML解析器中的应用

作为一种高级软件重用技术,设计模式可以更加简便地重用成功的设计和体系结构。该文分析了HTML语言(vcrsion4)规范的特点,将HTML语言中的每一个标签抽象成为标签类,设计过程中使用了合成模式和简单工厂模式,避免解析器设计过程中复杂关键字栈的使用,清晰了系统的设计,提高了系统的灵活性和可扩展性。     

Software testing based on SDL specifications with save

The signal save construct is one of the features distinguishing SDL from traditional high-level specification and programming languages. However, this feature increases the difficulties of testing SDL-specified software. We present a testing approach consisting of the following three phases: SDL specifications are first abstracted into finite state machines with save constructs, called SDL-machines; the resulting SDL-machines are then transformed into equivalent finite state machines without save constructs if this is possible; and, finally, test cases are selected from the resulting finite state machines. Since there are many existing methods for the first and third phases, we mainly concentrate upon the second phase and come up with a method of transforming SDL-machines into equivalent finite state machines, which preserve the same input/output relationship as in the original SDL-machines. The transformation method is useful not only for testing but also for verifying SDL-specified software     

气象软件设计模式的研究与实现

介绍现有气象软件系统设计模式,分析国内气象业务特点和功能需求,提出一种新的设计模式。给出该模式下的数据转换和质量控制模型、组件封装模型、专业模块插件模型、总体框架模型。阐述在数据存储、组件开发、接口设计中实现技术共享、业务变化和技术更新的方式,解决系统低层和高层间的资源与技术复用问题,实现资源共享、集约化的系统设计。     

将UML模型转换成SDL模型的方法

提出了一种将UML模型转换成SDL模型的方法.UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便.但是,UML缺乏形式化语义,因此不能满足协议精确性的要求.SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它.在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点.通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换.     

基于构件和模式的多层次软件复用技术

代码构件、设计模式和分析模式是不同层次的软件复用技术,提供了软件开发从分析、设计到编码各阶段的复用手段。探讨了三者实现复用的机制,并对三者的关系和区别进行了分析比较。     

基于软件体系结构的构件组装工具ABC-Tool

软件朝着越来越复杂和庞大的趋势发展,因此对更有效的软件开发技术的需求十分迫切,近年来,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用,成为软件工程领域研究的热点,在基于构件复用的开发方法中,构件组装技术是关键,而且一直以来也是难点所在,ABC(architecture-based component composition)是一种基于软件体系结构、面向构件的软件开发方法,介绍了为ABC方法提供有效支持的工具ABC-Tool,ABC-Tool以软件体系结构为设计蓝图,以构件为基本开发单元,在不修改构件源代码的前提下,通过可视化的图形建模方式,从体系结构的高层设计逐层映射到底层实现,将可运行或可部署的构件组装为最终的可正确运行的系统。     

ABC:基于体系结构、面向构件的软件开发方法

基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径,并在分布式系统中得到了广泛的应用.但是,目前的软件构件技术主要还是着眼于构件实现模型和运行时互操作,缺乏一套系统的方法以指导整个开发过程.近年来,以构件为基本单元的软件体系结构研究取得了较大的发展.它通过对软件系统整体结构和特性的描述,为面向构件的软件开发提供了一个自顶向下的途径.介绍了一种以软件体系结构为指导,面向构件的软件开发方法,试图为基于构件的软件复用提供一种有效的解决方案.这种方法主要是将软件体系结构引入到软件开发的各个阶段,作为系统开发的蓝图,利用工具支持的自动转换机制缩小从高层设计到实现的距离,而后在构件平台的运行支持下实现自动的系统组装生成.