基于超图文法的软件体系结构动态演化

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.     

卫生监督领域正交软件体系结构的设计

软件体系结构是大型软件系统开发的一项关键技术。正交软件体系结构结合了传统横向设计的抽象层与面向方面纵向设计的线索,依据特征模型把系统架构设计成包含正交的组织层和线索的构件。讨论了设计正交化功能特征模型及正交软件体系结构的关键技术,并应用于一个研究案例。     

基于UML描述的软件体系结构研究

软件体系结构是软件开发过程中的关键制品,体现了软件设计的早期决策,决定了软件的质量属性,也制约了软件开发项目的组织结构。本文分析了软件体系结构的关键概念、组成及其描述方面的研究工作,根据统一建模语言（UML）的扩展机制,将软件体系结构与当前主流的面向对象软件开发方法相结合,并根据软件体系结构的核心模型,形式化的描述了软件体系机构。     

软件体系结构动态特征建模与验证

针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr/T网和线性时序逻辑的优点,为进一步开展软件体系结构动态行为的分析、验证奠定了基础.     

用例驱动的软件体系结构构建

软件体系结构是有效实现大粒度软件复用的重要方法，但如何具体实现软件体系结构一直没有得到有效的解决．文中在分析用例和软件体系结构之间关系的基础上，提出一种用例驱动、迭代增量方式，构建软件体系结构的方法及其模型．同时，分析增量迭代的过程和相关问题．     

软件体系结构的建模

软件体系结构研究是软件工程中一个正在兴起的基础研究领域,尤其是模型的构造和建立是其中一个研究的热点.本文在说明软件体系结构的概念的基础上,介绍了现有的软件体系建模的方法及设计模式的种类.     

软件体系结构与软件组织管理

文章探讨了软件体系结构与软件组织之间相互作用的关系,介绍了VRAPS模型,强调必须要有良好的软件组织管理来保证软件体系结构的成功实现.     

XDL——基于XML的软件体系结构描述元语言

软件体系结构是指导基于体系结构的软件开发过程的系统蓝图,而软件体系结构是由软件体系结构描述语言(ADL)来描述的.提出1种基于XML的软件体系结构描述元语言XDL作为ADL的元语言.通过XDL构造出的ADL具备大多数基于XML的ADL描述高层软件体系结构的能力,支持系统的扩展与演化,支持系统的验证,保证与其他ADL的互操作性,在软件生命周期中保证体系结构模型的可追溯性.     

RBAC96模型在C/S风格软件体系结构中的设计

软件体系结构是软件系统设计的高层抽象,体现了系统设计的基本思想和系统开发中的早期决策。在系统开发中,很少在设计系统的软件体系结构时就考虑其安全问题。本文提出了一种在设计C/S风格系统的软件体系结构时,采用RBAC96模型来实现系统安全中的访问控制问题的解决方法。     

通用连接器模型及其形式化推导研究

基于构件的软件体系结构（SA）由构件与连接器组成，连接器作为构件间的交巨实体在SA中扮演着重要角色．现有的连接器模型只能支持特定软件体系结构风格的组装，缺乏统一的连接器模型的支持．提出一种通用连接器模型用以对不同连接器模型进行描述，并在此基础上对连接器模型进行了扩展，以支持不同体系结构风格的构件组装．同时，基于Wright的软件体系结构描述语言（ADL）和通信顺序进程（CSP）中对于进程的描述方法，给出了通用连接器模型的形式化推导、验证，从而为分析连接器行为，支持连接器自动生成奠定了基础．     

基于SOAP消息的WEB服务模型及其应用研究

Web服务架构是当前最有价值的分布式应用集成方式。阐述Web服务的需要性,对比了Web服务的两种体系结构,以旅行预订系统为例,给出了系统的总体框架和设计目标,软件需求和数据库设计,讨论了开发并集成各旅行社的旅行Web服务的实现过程,最后给出了总结和展望。     

基于Web Services的工商局流通领域商品监管系统的研究与开发

基于Web Services的应用是SOA(service-oriented architecture)体系架构的一个重要方面,也是当前Internet应用的一个发展方向。本文以温州市工商行政管理局的流通领域商品监管系统的开发为背景,从Web Services的原理与实现方法、基于Web Services软件开发的体系架构、网络架构、开发步骤等方面展开研究,并提出了切实可行的方案,最终给出系统的实现。     

基于Spring MVC框架的Web研究与应用

MVC是软件工程中的一种经典软件架构模式。文章在分析MVC架构基本组成和原理的基础上,详细介绍了Spring MVC架构的组成原理、应用配置;最后,以一个应用案例,详细说明了Web请求在SpringMVC框架中的流转生命周期。     

一种基于Java 2平台的分布式测量模型

针对基于Web的分布式测量应用的需求，提出了一种新的分布式测量软件模型。该模型充分利用Java2平台和其他Web工具的优势，在实现客户服务器间便捷有效的网络通信方面具有显著特色．使用Java2平台下的分布式对象技术简化了繁琐的底层协议处理，使用Java本机接口解决了跨语言调用底层硬件驱动的问题．用此模型成功开发了一个应用实例，基于Internet的远程机器人实时测试系统，验证了模型的可行性和有效性．     

基于MVC模式的WebGIS架构设计

网络地理信息系统(WebGIS)是结合了地理信息系统与网络技术的一种新兴技术.WebGIS的架构设计是 其工业化应用的重要研究内容.从软件设计模式角度出发,介绍了WebGIS与相应的软件设计方法,提出了基于 MVC(模型视图控制器)模式的WebGIS架构设计.实际应用证明该架构是一种高效的设计方案.     

基于Web服务的电子商务供应链管理(英文)

s:Increased global competition and demand for greater product variety resuit in the emergence of dynamic supply chain,which need to be co-operated without sacrificing their flexibility.Traditional application systems such as ERP,lack the autonomy and flexibility required by dynamic network.EDI is costly and EDI interfaces miss the decision values and logistic control required for supply chain management.Giyen the limitations of EDI application and traditional application system,this Paper is aimed at exploring a new adaptable software architecture to realize enterprise application integration across organizational network.The functional structure and service platform of a software component architecture in the supply chain management is presented.Due to the simple and low-cost method provided for information communication and sharing by Web Services,we select Wleb Services as our implementation technology of the software component architecture.Finally,a case of implementation process of procurement based on Wleb service is illustrated.     

基于SVG技术的电力监控管理系统的研究与实现

SVG是Internet中基于XML面向网络应用、采用文本描述的二维矢量图形图像标准格式.本文总结SVG的特点,设计了SVG应用软件体系结构,在此基础上提出一种基于SVG技术的电力监控管理系统的解决方案,实现WEB用户对电力系统设备的图形化远程访问和控制,该系统可以推广到许多应用领域.     

分布式MIS体系结构及其应用

介绍企业信息化建设中的2种分布式MIS软件体系结构,即多层式C／S结构与基于Web的分布式MIS结构,并利用该体系结构综合建立内部网络,开发企业管理信息系统,完成管理与控制网络的集成,企业Web信息发布等的开发范例,该企业内部网的建立由此取得了较好的效果。     

数字化校园软件架构研究与实现

数字化校园是推动教育信息化的重要系统工程.这里分析了数字化校园建设对软件平台的要求和WebServices的原理,根据数字化校园系统组成的特点,阐述了数字化校园的软件架构的选型.并提出了基于Sun ONE架构的数字化校园解决方案以及其实现过程.     

基于语义Web的多Agent系统研究

语义Web服务是在分布式环境下构建复杂系统的一种新兴技术。该文阐述了语义Web的核心概念和多Agent系统的主要特点,在此基础上,提出了基于语义Web的多Agent系统的体系模型,并探讨了该结构对于构建开放的、动态的、异构的多Agent系统所具有的优越性。