基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.     

一种UML2．0模型动态特性的一致性验证方法

近年来，UML已经被广泛应用于软件的分析和设计，然而，由于软件系统的复杂性，在UML模型中，难免会引入不同图表间特别是动态视图之间的不一致性。提出了一种用于验证UML2．0模型状态图和顺序图一致性的方法。首先，用XYZ／E来形式化描述状态图并将其转化为Promela输入语言；然后，用LTL来表示顺序图间的相互作用；最后利用模型检测工具Spin通过检查Promela描述的状态图是否满足LTL公式来达到检测模型一致性的目的。     

设计模式的一种形式化描述方法

设计模式是人们在实践过程中总结出来的成功设计范例,实现在设计模武应用过程中自动选择,有着重大的意义.而形式化描述设计模式是自动选择的基础,为此文中提出了基于时序逻辑语言XYZ/E来表示设计模式的静态和动态形式化语义的方法.通过对设计模式静态结构、动态行为及其特点的分析,找出形式化描述规则,利用转换法实现了设计模式XYZ/E的形式化描述.     

Web应用测试模型研究

本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．     

基于UML Profile的WEB布局建模

在WEB系统开发时可以使用UML对系统的结构和行为建模,但是却不能对界面布局建模,设计者只能用勾绘草图等方法来进行界面布局设计,这给UML设计者带来很大的不便。文中基于UML2．0的扩展机制并结合UML2．0的图交换规范建立的WEB布局元模型,很好地解决了这一问题,使得Web布局建模可以统一在UML语言和工具中,并为界面的自动化生成提供了基础。     

特定领域软件体系结构研究

在分析典型的软件体系结构概念之后，给出了一种新的、通用的软件体系结构定义。目前，大多数软件体系结构的研究主要集中在特定领域软件体系结构，其包括域工程和应用工程。通过分析域工程中域分析的几种不同的概念．提出了域分析和动态域模型的定义，建立了特定领域软件体系结构开发模型，并成功地应用于一复杂的软件系统开发。最后还指出了软件体系结构领域的发展方向。     

UML/ADL在软件监控系统建模中的应用研究

以特定行业的软件监控系统为研究背景,运用UML/ADL集成建模方法进行建模和分析.首先进行了领域的需求分析,然后运用UML建立了对象结构模型和对象行为模型.验证了UML和ADL两种建模工具相集成的建模方法在工程应用中的可行性.     

基于UML的软件规模估算服务模型研究

本文从流行的规模估算方法中,将最为优秀的FPA方法作原型,结合当前面向对象的设计开发环境的特点,选取分析了一种将UML类图与FPA结合起来使用的估算方法,并针对其不足做出了改进.本文还提出了从UML类图到功能点的自动估算模型,并在此基础上进行了设计与实现.最后,本文提出估算服务模型,将估算作为一种Web服务.     

统一建模语言在VPN中的应用研究

互连网的无处不在和企业的需求促进了虚拟专用网（VPN）技术的快速发展，也加快了VPN的开发进程。本文分析了VPN开发的特点，指出了利用统一建模语言（UML）描述VPN的优势，并采用UML对VPN系统进行了总体分析，对边界网关协议／多协议标记交换（BGP／MPLS）VPN进行了描述。     

基于反射的动态软件体系结构实现

文章结合元模型、反射等技术首先从宏观的角度提出了一个支持分布式应用环境的动态软件体系结构模型，并描述了如何对系统进行动态演化，然后从微观的角度给出了软件体系结构的形式化描述。基于此框架．作者在Web环境下实现的一个可动态演化的网上宠物商店系统证明了该方法的有效性。     

C2C电子商务平台设计与实现

主要从软件体系架构和系统实现角度对C2C电子商务平台进行了研究。基于UML建模语言进行系统建模,综合使用Web2.0相关技术,采用分层次、构件化思想,设计并实现了一个具有柔性、个性化特征的C2C电子商务平台,以快速响应环境及用户需求的变化。     

基于MDA的UML类模型转换XML Schema的方法

本文给出了统一建模语言(UML)类模型和XML Schema的转换方法,为模型驱动体系结构(MDA)的实现提供了基础.UML被MDA用来描述各种模型,成为建模语言事实上的标准;XML 以其结构性、标签性、可扩展性和可移植性成为数据交换方面的标准技术,广泛地应用于计算机软件.对用于实现MDA的UML类模型和XSD的转换进行了研究:分析了UML类图的关联、继承、组合和聚合关系,实现UML类模型和XML Schema的转换,最终生成XML文档.     

UML及其在图书馆购书模块信息建模中的应用

统一建模语言UML(Unified Modeling Language)是面向对象开发中一种通用的、图形化的模型语言，可用于对软件系统进行描述和构造软件的系统结构．是近代软件工程环境中对象分析和设计的重要工具。文章分析了建模机制及其特点，并运用UML作为OOSE的工具，对图书馆管理信息系统进行面向对象建模，给出了购书管理模块的应用实例。     

UML在管理信息系统设计与实现中的应用

统一建模语言（UML）已成为一种面向对象建模语言的标准,是一种通用的可视化建模语言,基于面向对象观点,对软件进行描述、可视化处理和构造等,它融入了软件工程领域的新思想、新方法和新技术。本文以销售管理信息系统的设计与实现为例,针对面向对象的建模方法,介绍了应用UML建模的方法和流程,探索了基于UML的管理信息系统建模及UML中多种模型图的使用方法和适用范围。     

基于UML的仓储管理系统的分析与设计

UML(统一建模语言)是以对象模型为基础的适用于编制软件蓝图的标准化语言,它提供了软件方法和过程的描述基础。UML可以对大型复杂系统的各种成分可视化,说明并构造系统模型,以及建立各种所需的文档。文中描述了仓储管理系统的需求要点,进而采用UML对仓储管理系统进行分析。     

基于软件体系结构的测试路径生成方法

在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。由此平衡开发成本、进度与质量需求之间的关系,最后以Server/Client结构为例说明该方法是适用的。     

建立C3I面向对象体系结构综合可执行模型

美国国防部已颁布了C^4ISR（Command,Control,Communications,Computers,Intelligence,Surveillance,and Reconnaissance）体系结构,以满足建立军队联合作战系统的需求。面向对象分析是构筑C^3I（Command,Control,Communications,Computers,Intelligence）系统体系结构的基本方法,对基于UML（Unified Modeling Language）面向对象体系结构的开发方法作了一般性的描述,它包括三个阶段：分析、综合和评价。指出了用UML产品在描述美国防部CAISR体系结构方面的一些限制,提出了从UML产品映射到可用于逻辑的、行为的和性能方面体系结构的评价的CPN（Colored Petri Nets）模型的方法,并详细阐述了此转换过程。最后应用实例表明了该方法的可行性和实用性。