基于设计模式的EJB体系结构模型

文章提出了一种基于设计模式描述EJB体系结构的模型,详细地说明了EJBProxy模式和EJBFactory模式在其中的应用。通过使用这个模型,EJB组件及其重用过程变得更加易于理解,基于EJB组件的Web应用程序也变得更加易于开发和维护。     

VERTAF: an application framework for the design and verification of embedded real-time software

The growing complexity of embedded real-time software requirements calls for the design of reusable software components, the synthesis and generation of software code, and the automatic guarantee of nonfunctional properties such as performance, time constraints, reliability, and security. Available application frameworks targeted at the automatic design of embedded real-time software are poor in integrating functional and nonfunctional requirements. To bridge this gap, we reveal the design flow and the internal architecture of a newly proposed framework called verifiable embedded real-time application framework (VERTAF), which integrates software component-based reuse, formal synthesis, and formal verification. A formal UML-based embedded real-time object model is proposed for component reuse. Formal synthesis employs quasistatic and quasidynamic scheduling with automatic generation of multilayer portable efficient code. Formal verification integrates a model checker kernel from SGM, by adapting it for embedded software. The proposed architecture for VERTAF is component-based and allows plug-and-play for the scheduler and the verifier. Using VERTAF to develop application examples significantly reduced design effort and illustrated how high-level reuse of software components combined with automatic synthesis and verification can increase design productivity.     

基于软件体系结构的可复用构件制作和组装

软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势,可复用构件的制作和集成组装是其中涉及的两个重要活动.首先分析了现有的构件集成方式所存在的不足,引出了基于体系结构的构件集成;接着对几种不同的体系结构类型进行比较,阐述了它们对构件集成的影响;然后提出了支持接口连接式和插头插座式体系结构类型的构件模型以及基于体系结构的构件集成组装框架,并给出了构件的制作和组装过程;最后对工作进行总结,并指出了进一步的研究方向.     

PCCM：具有性能约束的构件模型

构件模型是构件复用的基础。本文根据3C和REBOOT模型提出一种具有性能约束的构件模型，实现具有性能约束的构件复用。首先简要分析了构件模型的研究现状以及复用现状，引出了在特殊领域的具有性能要求的构件复用；然后提出具有性能约束的构件模型及描述；接着给出实现关键技术的路线，并对模型进行了优点分析；最后指出了进一步的研究方向。     

可互用E-learning系统三层结构及内容共享

互用性是E-learning系统与其他应用相集成以实现数据共享和重用的关键因素。为了充分利用互联网上大量的信息资源,发掘和进一步创建出可重用的和自适应的学习内容,需要设计出新的E-learning系统结构来支持以上功能。文章提出了一种开放式的E-learning三层结构,其中包括一个协作式的教学环境和与其他应用软件的接口。系统的设计和开发基于极有可能成为国际标准的IMS规范。文中记述了开发过程以及采用的方法,重点阐述了由组件构成的系统架构和内容共享的实现。     

基于构件的多层体系结构的研究与应用

为了使构件复用技术更好的应用于实际的企业生产环境,分析了构件复用技术的应用现状,研究了体系结构的概念以及与基于构件的软件开发的关系,结合分层体系结构的理论,设计了基于构件的多层体系结构模型,并使用该模型实现了物流综合管理信息系统的建设.实验结果表明,基于该模型开发的系统具有很高的灵活性、可扩展性和可维护性,并从中提取了物流领域的相关构件.     

Implied Scenario Detection in the Presence of Behaviour Constraints

Scenario-based specifications describe how independent components interact to provide system level behaviour. The specified system decomposition and system behaviour can give rise to implied scenarios, which are the result of specifying the global behaviour of a system that will be implemented component-wise. The existence of implied scenarios is an indication that further validation with stakeholders must be done. An implied scenario can be accepted or rejected by stakeholders indicating that the implied scenario is acceptable system behaviour or a situation that should be avoided. In consequence, implied scenarios can be used to iteratively drive requirement elicitation. However, in order to do so, we must be capable of detecting implied scenarios in the presence of rejected implied scenarios, in other words in the presence of behaviour constraints. The contribution of this paper is a technique for detecting implied scenarios in message sequence chart (MSC) specifications that can be used in conjunction with behaviour constraints. The technique is based on building a Coordinator component that forces system components to follow the same sequence of basic MSCs as they go through a high-level MSC. The result is a model that behaves as specified in the MSC but does not comply with the MSC architecture. The resulting model is not a proposed implementation, rather a precise model of specified behaviour that can be used in combination with constrained implementation models to detect further implied scenarios.     

基于组件技术的教学信息发布系统的设计

介绍了基于组件的软件复用的基本概念及四种组件技术,着重阐述了B/S模式下的.NET组件开发的一般方法,并在此基础上完成了教学信息发布与管理系统的功能描述、设计与实现。     

Systems Development Strategy: A Component Based Approach, The Architecture

An architecture for building laboratory automation systems was developed using the component-based framework. The requirements to build a flexible and adaptable automation system were exemplified through the architectural design process. Existing tools and technologies facilitated the development of this scalable architecture. Several design patterns were used to model this architecture. The influence of these patterns on systems design and the impact of Unified Modeling Language on component and interface design was explored. Integration of the system components with the peripheral components to build an automated system is discussed with emphasis on run-time configuration and component reuse.     

教学信息发布与管理系统的设计与实现--基于.NET组件技术

基于组件技术的软件技术开发模式是实现大规模的代码复用的一条切实可行的途径,是面向对象技术的发展,该文介绍了基于组件的软件复用的基本概念及4种组件技术,着重阐述了B/S模式下的.NET组件开发的一般方法,并在此基础上完成了教学信息发布与管理系统的功能描述、设计与实现。     

基于.NET组件技术的教学信息发布与管理系统的设计与实现

基于组件技术的软件技术开发模式是实现大规模的代码复用的一条切实可行的途径,是面向对象技术的发展,本文介绍了基于组件的软件复用的基本概念及4种组件技术,着重阐述了B/S模式下的.NET组件开发的一般方法,并在此基础上完成了教学信息发布与管理系统的功能描述、设计与实现。     

Generating CAM aspect-oriented architectures using Model-Driven Development

Aspect-Oriented Software Development promotes the separation of those concerns that cut across several components and/or are tangled with the base functionality of a component, through all phases of the software lifecycle. The benefit of identifying these crosscutting concerns (aspects) at the architectural level in particular is to improve the architecture design and its subsequent evolution, before moving onto detailed design and implementation. However, software architects are not usually experts on using specific AO architecture notations. Therefore, the aim of this paper is to provide support to define and specify aspect-oriented (AO) architectures using non-AO ones as the source. We will use the Model-Driven Development approach to transform a component-based architecture model into an AO architecture model. The CAM (component and aspect model) model and the DAOP–ADL language are the proposals used for modelling and specifying AO architectures. We will show how we automated part of the process and the tool support.     

基于构件/构架复用技术的工控软件设计研究

该文介绍了软件工程领域中崭新的构件/构架复用技术,通过分析工控软件设计的现状与发展趋势,阐明了作为特定应用领域,采用构件/构架复用技术对工控软件设计的巨大推动作用。文章对采用构件/构架复用技术进行工控软件设计的可行性和设计方法进行了分析和讨论。     

支持模型驱动开发的软构件形式化描述方法

针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效果分析和正确性验证提供依据。应用研究表明,该方法使得构件模型的语义描述能力显著增强,可作为已有软件建模方法的一个有效补充。