使用基于进程代数的方法建立软件体系结构的安全模型

安全体系结构集成了软件体系结构与信息安全两大领域的研究,基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模,形成安全的软件体系结构。     

形式化与可视化相结合的软件体系结构描述方法研究

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。     

面向服务领域软件的参考模型

基于构件和面向服务体系结构（SOA）的软件工程被认为是提高大规模的分布式软件开发效率和质量的有效途径.但是,SOA目前还停留在抽象的高层概念模型层面上,还没有一个实用、具体的应用参考模型.介绍了一种基于Web服务软件体系结构的领域系统构造过程.在此基础上,提出了一种面向Web服务的领域软件体系结构参考模型（WS-DSARD）,对其主要元元素角色、操作、服务构件和服务构件类等进行了较为详细的描述,并从服务构件交互与集成的角度分析了服务构件的组合语义.该研究对于面向服务领域软件开发活动的成功实施具有一定的指导作用.     

一种建模软件体系结构非功能属性的方法

非功能属性的处理一直是困扰着研究人员和实践者的难题.针对体系结构设计阶段早期,提出一种建模非功能属性的方法.该方法利用面向方面软件开发中的关注点多维分离原理,提出建模软件体系结构的"1+X"模型,并在此基础上进一步划分体系结构非功能属性的维度,归纳各个维度上的关注点,利用XML对维度和关注点进行规约.该模型为后续设计面向方面的软件体系结构奠定了基础,为体系结构设计人员提供了方法支持,而且该成果可以直接用于不同领域内的软件体系结构设计.     

一种支持软件体系结构重用的元信息模型

软件体系结构元信息组织和管理是利用反射机制实现软件体系结构重用的一个重要问题.提出了一种体系结构元信息模型,以有效地组织和管理支持体系结构重用的元信息.同时,基于XML设计了一种体系结构元信息描述语言,以充分地描述这个模型中定义的各种元信息,达到体系结构设计人员可以在软件设计阶段通过操作这些元信息高效地重用软件体系结构的目的.     

基于Object-Z的ReflectiveArchitecture形式化研究

将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。     

基于组合连接器的动态软件体系结构规范方法

动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法.为了支持动态机制,还提出了动态角色的概念.通过实例说明,该方法能将动态体系结构的两种基本形态的描述统一起来,并能为动态软件体系结构设计提供一种增量式的开发方法.由于该方法基于组合的机制,从而适用于体系结构重用.     

一种支持设计时软件重用的反射式软件体系结构及其形式化研究

软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持软件体系结构重用的反射式软件体系结构。给出了基于反射式软件体系结构的软件体系结构重用过程。给出了反射式软件体系结构的具体化过程的基本原理和具体化操作的Object-Z形式化描述,即创建元组件、创建元连接器、创建元组合件操作的形式化描述。给出了基于反射式软件体系结构的软件体系结构重用的支撑工具的设计过程。     

基于模式的软件体系结构建模

文中给出了一种应用程序组件的领域建模方法,将组件静态方面的面向对象建模(类图)、组件行为或功能等动态方面的基于模式的建模(模式实例模型)与代码生成实现技术结合起来。并试图用模式描述组件体系结构风格,指导如何构造和组织一个系统。基于模式的软件体系结构设计方法可在很短的时间内创建各种组件,并通过改变模型中的抽象体系结构特性来满足应用程序中的体系结构要求,因而该方法是切实可行的。     

面向Web服务的ERP协同集成框架研究

面向服务体系结构作为新一代分布式计算范式而成为研究企业应用集成这一领域的最新热点。但现有的工作尚未明确界定基于Web服务的ERP集成框架模型和实现机制。文章从企业分布式计算和XML技术发展融合的角度提出了一个新的基于Web服务的ERP协同集成框架。在给出Web服务形式化定义的基础上,对6层核心协议栈规范进行了扩充,定义了特定领域服务协同标识语言的基本元素,使协议规范不仅适用于Web服务,而且适用于企业内部的应用程序和应用程序内部组件的描述、发现和集成。建立了基于Web服务集成框架的支撑平台,并将该平台用于企业的整个ERP集成过程中。     

Constraints for the design of variability-intensive service-oriented reference architectures – An industrial case study

ContextService-oriented architecture has become a widely used concept in software industry. However, we currently lack support for designing variability-intensive service-oriented systems. Such systems could be used in different environments, without the need to design them from scratch. To support the design of variability-intensive service-oriented systems, reference architectures that facilitate variability in instantiated service-oriented architectures can help.ObjectiveThe design of variability-intensive service-oriented reference architectures is subject to specific constraints. Architects need to know these constraints when designing such reference architectures. Our objective is to identify these constraints.MethodAn exploratory case study was performed in the context of local e-government in the Netherlands to study constraints from the perspective of (a) the users of a variability-intensive service-oriented system (municipalities that implement national laws), and (b) the implementing organizations (software vendors). We collected data through interviews with representatives from five organizations, document analyses and expert meetings.ResultsWe identified ten constraints (e.g., organizational constraints, integration-related constraints) which affect the process of designing reference architectures for variability-intensive service-oriented systems. Also, we identified how stakeholders are affected by these constraints, and how constraints are specific to the case study domain.ConclusionsOur results help design variability-intensive service-oriented reference architectures. Furthermore, our results can be used to define processes to design such reference architectures.     

一种面向服务的体系结构参考模型

在对当前的面向服务体系结构研究的基础上,提出了一种用于设计面向服务体系结构的参考模型,深入地阐述了有关概念,详述了参考模型的结构以及其中的服务总线和服务合约的元模型,并提出了一个用于评价面向服务体系结构的成熟度模型．该参考模型为进一步设计面向服务的体系结构奠定了基础．     

A service-oriented architecture for financial business processes

Recent years have witnessed a tremendous growth in information and communication technologies that facilitate the design and implementation of complex inter-enterprise business processes. One of the major innovations is the concept of service-oriented architectures which considers software systems as being made up with autonomous, dynamic, loosely coupled and service-based components. This paper describes an attempt to automate financial business processes by utilizing a number of basic and composite services. As a case study, the paper describes the implementation of a realistic business process that is related to simulating a trading strategy in capital markets. An evaluation of the appropriateness of service-oriented architectures is conducted taking into account a number of factors such as flexibility, performance and development costs.     

Migrating to SOAs by Way of Hybrid Systems

A progressive-evolution strategy for migrating systems to service-oriented architectures should minimize the risk to investments in existing software systems while letting businesses exploit the benefits of services. In principle, hybrid systems combine services with nonservice elements. SOAs present a compelling vision for businesses. Conceptually, services bring together a layer of business functionality and a layer of technological implementation.     

C／S遗留系统到SOA系统移植框架研究

遗留系统在组织中起着重要的作用。随着商业环境的快速变化，应该不断用新技术对其进行进化。Web Service和面向服务的体系结构（SOA）使我们能在面向服务的计算环境中进化遗留系统。用web Service技术集成遗留系统的传统方法是将遗留系统包装成“黑盒子”。本文提出了一种再工程方法，该方法将遗留系统的包装和理解相结合。该方法不仅能对服务进行识别和包装，还可以将遗留系统移植到SOA的体系结构中。     

基于服务的移动用户界面软件架构研究*

为了解决传统的用户界面软件架构在移动应用中的种种缺陷,提出了一种基于服务的移动用户界面软件架构IMA(interface-manager-application),使移动设备受益于面向服务范型。IMA通过提供简单且个性化的服务版本使后台服务适应移动能力,从而集成化地解决了移动设备的资源受限性、间歇性连接和个性化问题。通过AndroidIDB的原型开发验证了该架构的可行性和有效性。     

Experiences using Tedeso: an extensible and interoperable model-based testing platform

The integration of novel software quality assurance tools into existing development environments must be performed in ways that leverage the benefits of the tools while minimizing their impact on existing software processes. This supports the adoption of new methodologies with minimal interference into core business practices. This paper discusses the design of Tedeso, an extensible and interoperable model-based testing platform developed to facilitate the automatic generation of tests, while supporting the needs of different stakeholders in a diverse and broad organization. We discuss Tedeso key design characteristics, in particular its extensibility and interoperability, provided through the use of a workflow-driven service-oriented architecture, and show how it has enabled and facilitated the adoption of model-based testing techniques in different business units in different sectors within SIEMENS. We also discuss some issues that come from the adoption of service-oriented architectures, showing how they have been managed in our platform.     

基于SOA的设备智能维护系统架构设计及实现

结合面向服务架构(SOA)的技术特点及设备智能维护系统的应用需求,提出基于面向服务的设备智能维护系统的体系结构,该架构与传统软件架构相比具有松耦合、可扩展、服务的柔性组合等诸多优点。在.NET平台用面向服务的分布式编程模型WCF(Windows Communication Foundation)进行系统开发,用实际项目验证了该体系的有效性,指出SOA在开发设备智能维护系统的开发与应用中的重要价值。     

面向服务的自适应云资源信息集成软件架构

面向服务体系架构是实现云资源信息集成的软件开发关键技术。目前,常见的SOA平台云服务效率比较低,尤其是不能支持自适应云资源信息集成软件的动态变化。为改善和提高软件的云资源信息集成效果和扩展度,首先对软件资源集成的云模型表示方法、云资源信息集成软件架构的行为规约及服务组合调度算法等方面展开研究;然后基于此改进相应算法,提出一种面向服务的自适应云资源信息集成软件架构;最后进行了应用实验。实验结果表明,所提模型比传统架构更具有良好的云资源信息集成效果和实用价值。