文献检索课程报告

文献检索课程报告
班级：
学号：
姓名：
一、选题简介：
课题名称：基于UML的五子棋人机对弈
UML-based backgammon man-machine chess
课题分析：关键词：UML 五子棋人机对弈man-machine chess
二、文献检索过程
1、使用CNKI中国知网学术搜索平台中的中国期刊全文数据库
人机对弈的研究是一个比较热的课题，期刊上应该有大量的反应
检索策略：通过中国学术期刊网络出版总库文献检索的标准检索：
主题使用：“UML”或含“五子棋”或含“人机对弈”或含“man-machine chess”
检索结果列表：
2、使用万方数据平台的学位论文全文数据库
中国知网上找到了近万条与课题相关的文献，那么在万方数据平台的学位论文中也应该可以找到不少相关的论文。

检索策略：通过学位论文检索
在检索框中输入：title= UML or 五子棋or 人机对弈，并选择可以下载论文全文。

检索结果列表：格式是题录加上中文摘要格式。

[1] 李留英. UML测试技术的研究与实现[D]. 国防科学技术大学,2000
第一章为绪论。

首先介绍了课题研究背景、软件测试的发展历史、测试目的和测试覆盖准则。

然后．介绍了国内外一些著名大学和科研机构在面向对象软件测试领域内的研究现状、相应的技术、标准建模语言UML的特点和对测试技术的支持。

最后讨论了目前存在的主要问题，提出了课题的主要内容和实现目标。

第二章介绍了标准建模语言UML的语法和语义特点，分析现有软件开发模型的弱点，提出用UML开发面向对象软件的递增式模型，使开发和测试设计并行，并讨论了用UML进行面向对象系统建模的一般过程。

第三章分析了当前UMLl．1语义存在的问题，较全面地定义了描述对象状态机的UML statecI∞mls的形式化操作语义。

在定义语义的过程中，定义了伪状态、复合迁移、新迁移优先级．并引入事件队列．以完整地描述对象状态机的单个执行步STEP和由多个STEP组成的RTC-STEP。

第四章在分析现有面向对象状态机测试技术缺点之后，提出了依据U池statec]1a=Ttts的层次和并发结构生成测试用例的方法，讨论了测试集的故障检测能力以及如阿根据父类构造子类的测试用例。

第五章
介绍了D'ML交互式开发环境框架，着重介绍了测试模拟系统原型UMLTGen的系统结构和主要功能。

第走章总结了本课题的主要研究成果以及下一步工作重点。

本文在最后列出了参考文献和一些算法的实现。

[2] 陈栋.UML交互图的模型验证方法研究——UML交互图至Promela程序的转换[D].华东师范大学,2009
随着我国信息化建设的不断发展，软件系统的广泛应用，在国民经济的各行各业中发挥了越来越重要的作用。

特别在一些重要领域如航空航天、地铁调度，对软件的可靠性要求特别高，软件设计上的一点缺陷，都可能导致灾难性后果，造成重大损失。

如何确保这些系统的可靠性已经成为计算机科学与控制论领域共同关注的一个焦点问题。

本论文主要研究了针对UML交互图的模型检测(Model Checking)方法，利用成熟的Spin模型检测工具，对UML模型进行形式化验证，以确保软件设计模型的正确性。

论文首先介绍了模型检测理论，并着重分析了模型检验工具Spin功能和使用方法及其建模语言Promela的结构和语法。

重点研究了UML 顺序图的形式化表示方法，提出了UML顺序图到Promela语言转换规则和软件实现算法，
并介绍了模型转换验证工具的设计和实现方法。

将形式化验证结合到软件设计过程中，可以帮助设计人员尽早发现问题，提高模型的可靠性，减少由于设计错误带来的巨大损失。

模型转换验证工具可以将UML顺序图自动转换生成Promela程序，并调用Spin工具进行模拟和验证。

[3] 占学德.基于UML statecharts测试方法的研究[D].上海大学
统一建模语言(Unified Modeling Language，UML)是一种描述能力强大且涵义直观的可视化建模语言，它提供多种图元从不同角度和应用层次刻画系统特性以及复杂的运行环境。

基于UML的软件开发过程和建模环境已被工业界广泛接受，其中包括航天、国防、汽车等许多安全攸关领域。

如何保证和提高软件质量成为软件界最为关心的问题之一。

软件测试作为保证软件质量的关键技术之一，能够有效地发现软件中的故障。

因而，基于UML软件测试成为了软件工程的一个重要研究方向。

软件测试的关键是测试用例的产生。

本文对基于UML statecharts图的测试用例生成方法进行了研究和探讨。

直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的，本文提出了基于UML statecharts图的测试框架：先利用现有的UML工具(如ArgoUML等)画出UML statecharts图，并产生它的
XMI(XMLMetadataInterchange)格式的规格说明文件；然后根据UML statecharts图的语义，层次和并发结构被展平，UML statecharts图的规格说明XML文件转换成FREE(Flattened Regular Expression)模型的规格说明信息；最后根据FREE模型的规格说明信息，按照不同的充分性测试准则，分别产生测试用例集。

uML statecharts图是一种图形符号，描述了UML 框架的行为，它是UML语言的一个重要组成部分。

然而，UML statecharts图缺乏精确的语和语义。

本文用z语言定义了UML statecharts图的形式化语法和语义。

按照这个精确语义，UML stateeharts图被转换成了FREE模型。

这个FREE模型不仅有助于确定软件设计是否是一致的、无歧义的和完整的，而且也有利于软件测试。

测试充分性准则是整个软件测试的核心，它直接决定了测试用例的生成。

目前基于U／vlL状态图生成测试用例的充分性准则：状态覆盖准则、迁移覆盖准则、全谓词公式覆盖准则和迁移对覆盖准则，它们没有解决测试循环的问题。

在测试时，循环被执行一次是很不充分的，按照不完全归纳法的思想，本文提出了ZOT循环覆盖准则，也就是使循环分别执行0次、1次、2次；针对A，J．Offutt等人给出的覆盖准则“完全序列准则”(complete sequence level)，由于它的操作性极弱，无法在工具中实现，在此基础上结合ZOT循环覆盖准则，本文还提出了全ZOT路径覆盖准则。

并给出了状态覆盖、迁移覆盖、全谓词公式覆盖、迁移对覆盖、ZOT循环覆盖和全ZOT路径覆盖这6条覆盖准则的应用，还讨论了这些覆盖准则之间的包含关系。

A．J．Offutt给出的两条测试准则(全谓词公式覆盖和迁移对覆盖)产生测试用例的算法只适用于以下情况：一方面只对使能迁移产生
测试，另一方面它需要所有的变量都是布尔型的。

本文针对这两个方面的问题进行了扩充，不仅可以测试使能迁移，还能测试非法迁移，变量也不再要求它是布尔型的，而提出了由FREE 模型根据全谓词公式覆盖准则和迁移对覆盖准则分别产生有限的迁移序列的两个算法。

本文还提出了由FREE模型根据全ZOT路径覆盖准则分别产生有限的迁移序列的算法。

最后，给出了本文所提出的基于UML stateeharts图的测试用例生成方法的UMLSTG系统设计及实现技术。

这个系统，从读入UML statecharts图的规格说明XML文件，到最后按照不同的测试覆盖准则可以分别产生出相应的测试用例文件。

[4]张明亮.一种新的博弈树搜索算法及其应用研究[D]. 苏州大学,2007
机器博弈是人工智能研究领域的一大热点，博弈树搜索则是机器博弈的引擎。

本
文在博弈树搜索算法和博弈树优化技术等方面做了深入研究，将理论和实践紧密结
合，取得了以下的主要创新成果：
(1)提出并成功验证了一种新的博弈树搜索算法：基于广度优先的接力式空窗探测搜索算法。

实验证实该方法在实际应用中的平均搜索效率，高于目前公认搜索效率最高、也是最流行的PVS和MTD(f)搜索方法；在迭代深化搜索中，该方法也具有相对优势；并且该算法的最小搜索极限小于极小树。

因此，该方法具有广阔的应用前景。

(2)给出了一种新的博弈树优化技术一“子树复用"技术。

该技术在几乎不需要额外时间开销的情况下，就能使深层博弈树搜索的效率提高10％以上，并随着搜索深度的加大，效率提高得愈多。

“子树复用"技术在限定用时或必胜局面的对弈中还具有额外的实用价值，因而“子树复用"技术无疑具有极好的应用价值。

(3)给出了极小搜索树叶结点数定理的新的证明方法，指出了以前的有关证明：的缺陷。

针对很多人对极小树的不准确理解，以及对窗口搜索效率的有关误解，给出了正确的结论。

(4)开发了高水平的五子棋人机对弈系统，该系统在估值函数设计上，探索了不同颗粒度估值函数的应用效果，证实粗颗粒度估值函数在深度搜索中可以具有更好的综合效果；部分局面下的估值函数延伸评估技巧，同样可以替代搜索，来减少地平线效应；这些为同行提供了很好的借鉴。

证实借助棋类知识的走法生成函数，在五子棋对弈系统中具有很好的效果。

在博弈树优化方面，挖掘出极小极大值搜索算法的优势，应用收到了良好的效果。

3、使用万方数据平台的会议论文全文数据库
关于用UML实现五子棋人机对弈的话题在某些会议中应该也有讨论到。

检索策略：通过会议论文检索
在检索框中输入：title= UML or 五子棋or 人机对弈，并选择可以下载论文全文。

检索结果列表：格式是题录加上中文摘要格式。

[1]陶砂等.人机对弈智能五子棋机器人的制作初探[A].第四届全国先进制造装备与机器人技术论文集[C]，2010
制作人机对弈智能五子棋的机器人，具体要求是设计一个有机玻璃五子棋盘，棋盘上有纵横十条黑直线，形成五子棋的棋盘为lO(行)x 10(列)t100个交叉点的棋盘，每个交叉点下有一个干簧管，用于检测棋子的位置，当用磁性的棋子压在任意的交叉点上时，对应的交叉点下的绿色矩阵发光二极管亮，同时，机器人将在相应的交差点上自动点亮红色矩阵发光二极管，形成人机对弈的局面。

硬件使用飞思卡尔(FREESCALE)单片机为主机，每个棋子电路用89C2051单片机，共用去了101个CPU，软件编程思路为机器人走子是。

封二．堵三、抢四、
五赢”的策略。

其目的就是一个具有众人观赏，人与机器人自动对弈，可以脱离网络与普通计算机的智能多机器人．
[2]邹胜荣等.形式化方法B和UIIL的结合研究[A].南京大学计算机科学与技术系[C]，2003
形式化方法B用抽象机器符号来描述软件的规格说明．因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用．呲是面向对象的建模技术．它的半形式化的分析结果可被B方法所引用，此文通过从U睫类图到8抽象机器的转换给出了一个呲和B结合的方法。

[3] 邵维忠,蒋严冰,麻志毅. UML 现存的问题和发展道路[A].计算机研究与发展[C]，2003
自从1997 年OMG 采纳UML 作为其标准建模语言以来，UML 受到计算机各界人士的普遍关注，得到了广泛的应用，并在世界范围内形成了其事实上的建模规范的地位. 但也无时无刻不受到来自用户、工具开发商、学者和教学者从不同角度的批评. UML 先后进行了3 次修订（1 . 3，1 . 4 和2 . 0），目前计算机各界人士对UML 提出了各种意见，并将重
点放在目前公认的几个问题上：精简、定义核心、扩展机制以及形式化语义等。

4、使用万方数据平台的学术论文全文数据库
作为学术研究，用UML实现的人机对弈也是个很好的话题。

检索策略：通过会议论文检索
在检索框中输入：title= UML or 五子棋or 人机对弈，并选择可以下载论文全文。

检索结果列表：格式是题录加上中文摘要格式。

[1]罗丽，基于Brew平台的人机对弈系统设计与实现[D].北京工业大学.2008
人们追求交流和自由的脚步从未停止过，互联网技术的出现，打破了时空交流上的限制，成为人类追求并获得自由的一个重要里程碑；而移动终端则让人们摆脱线的约束，能随时随地进行沟通。

应用于移动终端的开发技术除了WAP和I-Mode外，还有Brew与J2ME技术。

目前，市场上存在很多手机应用开发平台，其中高通公司的Brew是最有影响力的平台之一。

Brew 由于其主要基于C／C++语言，有速度快，节省内存空间等优势，所以得到广大的推广应用。

Brew平台的广泛应用应该能伴随3G时代的到来而不可避免。

所以我们现在进行基于Brew平台的研究和开发是相当具有现实意义的。

比如将人工智能应用到基于Brew平台的手机上，目前这就是一个比较新的研究方向。

人工智能是探索和模拟人(人类)的感觉和思维过程的规律的学科。

同时经过近些年的研究，人工智能的研究取得了很大的发展，也细化出很多不同的方向。

其中人机对弈就是其中之一。

如何将人机对弈应用到Brew平台上，这正是这篇论文要探讨的问题。

因为Brew平台有别于PC，所以我们对基于Brew平台的人机对弈的研究不是对PC 上人机对弈的简单重复和照搬。

我们必须充分考虑到手机内存小、运算速度没有PC快这两个先天不足，对基于Brew平台的人机对弈的算法进行有针对性的精简和优化。

比如代码的精简、代码设计如何使Brew的内存利用率最高等多方面考虑。

本论文首先介绍了什么是Brew，因为对人机对弈算法而言，内存消耗和需要的运算速度是两个很重要需要考虑的指标，所以其中重点介绍了Brew的内存管理机制、堆栈的用法、优化内存。

接下来介绍了人工智能和人机对弈目前的研究情况。

在第五章里，以象棋为例，从棋盘表示、走法产生、基本搜索技术、估值基础四个方面阐述了基于Brew平台的人机对弈。

为了追求人机对弈具有更好的性能，同时充分考虑到Brew平台本身的特点，文章继续讨论了搜索算法的改进和估值核心的优化问题。

[2] 闫海艇. 基于UML的五子棋的分析与设计[D]. 安徽理工大学,2007
以五子棋为例，用UML开发人机博弈程序。

五子棋博弈算法采用了博弈树的方法，应
用了剪枝和极大极小值原理进行搜索寻找最优的下予位置。

用面向对象的思想并结合UML 建模工具，对程序进行分析、设计。

此外，程序可以通过增加机器学习，对棋局进行记忆、总结学习，可以进一步提高系统的智能。

[3] 李鑫. 具有成长性的人机对弈系统的研究[D]. 上海交通大学,2009
人机对弈是目前计算机领域的重要课题之一，对于学术研究和工程应用都具有重要意义。

与传统人机对弈方法相比，本文以成长性为亮点，令机器棋手象人类一样可以通过学习获得规律，提高棋力。

通过对比常用的机器学习方法，本文选择基于解释的学习（Explanation-Based Learning，简称EBL）作为基本理论。

随后，经过对于人机对弈系统进行深入研究后，本文分析并确定了人机对弈系统的基本组成及各部分的功能。

具有成长性的人机对弈系统由四个子系统组成，即人机交互子系统、学习子系统、对弈子系统、持久化存储子系统。

其中，学习子系统和对弈子系统是关键所在。

接着，本文以对于围棋领域的深刻认识为基础，以基于解释的学习方法为指导，设计了对应这两个子系统的基本方案：围棋学习方法（I-Go Learning Method，简称IGLM）和围棋对弈方法（I-GoPlaying Method，简称IGPM）。

围棋学习方法以解决机器棋手如何学习对弈为目标，以领域知识树和棋块树为基础，通过对每个训练样例的逐一分析，学到规则及其学习期评价（Learning-Time Evaluation，简称LTE），更新到规则库中。

围棋对弈方法以解决机器棋手如何对弈为目标，以规则库、棋块树和棋盘-规则映射表为基础，根据棋盘局面选择合适的规则，并通过对学习期评价和对弈期评价（Playing-Time Evaluation，简称PTE）的综合计算，确定最佳棋着，完成对弈决策。

与传统方式相比，这两个方法均具有逐步提高对弈水平、较高的运行效率和正确性、新式的棋着评价方法等优点，它们的有机结合有助于人机对弈水平的提高。

最后，本文讨论了系统的设计和实现方案。

本文通过对围棋学习方法和围棋对弈方法的研究，为人机对弈系统技术提供了新思路和新方法，有利于改善系统性能，有利于技术的发展进步。

[4] 付茂沼. 可视化UML模型验证环境研究[D]. 电子科技大学,2010
针对非形式化的描述可能导致的不明确和不一致问题，提出并设计实现了一种基于OCL 的、能对I舢模型中类之间的关联及约束进行分析与验证的OUVE，使得在编写代码之前就能很好地验证类之间的关联关系，以及约束条件是否与实际的要求相符合，降低了由于不明确和不一致导致的设计、缟程的错误以及所要付出的修改代价。

[5] 孙圣. 人机对弈分布式方案[D]. 桂林理工大学信息科学与工程学,2010
人机对弈分布式方案通过分布于棋子内部的简单程序进行计算剪枝并提出汇报，利用棋子间的通信技术以及竞争手段使得同一阵营棋子达成一致。

该方案赋予棋子适当的参数设置并使其对信息进行综合计算并产生决策。

该方案可以扩展成为更大棋盘更多子力分布的其他对战模拟。

[6] 卓明敏. 五子棋级数算法[D]. 赣南教育学院,2012
给出了一种人机对弈5--3-棋算法。

在人机对弈五子棋棋局中，计算机根据这种算法，给五子棋的每个格子计算分值，然后，计算机在棋盘分值最高的格子中选择一个落子。

这种算法是算术级数和几何级数思想在五子棋中的应用。

[7]张涛. 一种UML状态图模型检测方法[D]. 哈尔滨工程大学,2011
为在开发过程早期发现系统设计的各种错误与不一致，提出一种UML状态图模型检测方法，用于验证设计模型与需求规约间的一致性．该方法通过元组定义UML状态图的主要元素，
给出状态图的中间表示形式SC．基于sc上定义的操作语义，该方法将状态图转换为具KRIPKE 语义结构的状态迁移系统，并将系统需满足的性质表示为线性时序逻辑公式，用模型检测技术验证状态迁移系统对线性时序逻辑公式的满足性．该方法可以转换更多的状态图元素，缩减状态图迁移系统的状态空间及提高模型检测效率。

[8] 柳毅. 一种从UML模型到可靠性分析模型的转换方法 [D] .北京大学，2010
以构件化的软件开发方法为背景提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法．该方法基于构件化的软件体系结构，从UML的用况图、顺序图、活动图和构件图出发，对其进行扩展，在模型中标注了可靠性分析所需的信息．在此基础上，通过构造一个称为构件转移图的中间模型，将标注了可靠性信息的UML模型转换为Markov链．该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入，从而使可靠性分析工作变得更加方便，高效。

5、使用万方数据平台的外文文献数据库
关于用UML实现五子棋人机对弈的话题在外文中的体现。

检索策略：通过外文文献检索
在检索框中输入：title= UML or man-machine chess，并选择可以下载论文全文。

检索结果列表：格式是题录加上英文摘要格式。

[1] Teng Hongfei, Yu Zhicheng, Gao Xuan, Ge Wehai. The engineering application of the Chinese chess manual of go in the packing problems[J]. 18th International Conference on Computers & Industrial Engineering (ICC&IE'95), vol.2
A new method that is concerned about packing problems, such as the blank layout, is presented in this paper. On account of the laws of design by which an engineer carries on the design as well as calculation and modification with he help of the reference master drawing. according to the idea of man-machine synergy, the new CAD (Computer Aided Design) method about packing problems (MMPP), and the idea of employment of chess manual of go (a game played with black and white pieces on a board of 361 crosses), and working drawing as the master drawing are put forward. The aim of this paper is trying to solve the packing layout problems that concerned about layout of the irregular shape objects.
[2] Mark Levene ,Judit paring Typical Opening Move Choices Made by Humans and Chess Engines[J]. The Computer journal2009
The opening book is an important component of a chess engine, and thus computer chess programmers have been developing automated methods to improve the quality of their books. For
chess, which has a very rich opening theory, large databases of high-quality games can be used as the basis of an opening book, from which statistics relating to move choices from given positions can be collected. In order to find out whether the opening books used by modern chess engines in machine versus machine competitions are 'comparable' to those used by chess players in human versus human competitions, we carried out analysis on 26 test positions using statistics from two opening books: one compiled from humans' games and the other from machines' games. Our analysis using several nonparametric measures shows that, overall, there is a strong association between humans' and machines' choices of opening moves when using a book to guide their choices.
[3] Nell Boyce.Chips vs. the chess masters[J]. U.S. news & world report2002, 133(13)
When IBM's Deep Blue supercomputer beat chess champion Garry Kasparov five years ago, the case seemed closed: The wetware of the human brain was simply no longer a match for the hardware of a chess-playing machine. So what, exactly, is the point of Man vs. Machine, Round Ⅱ- two upcoming contests that pit today's best chess programs against Kasparov and the current world champion, Vladimir Kramnik? Deep Blue's 1997 victory over Kasparov felt hollow to computer chess experts. They had dreamed for decades about beating the world's best human, but in the event, Kasparov fell apart psychologically. He later said he felt "ashamed" of the w ay he'd played, having made an obvious blunder in the final, deciding game. "I should have been exulting, but I was feeling empty inside," writes Deep Blue team member Feng-Hsiung Hsu in Behind Deep Blue, a memoir published this fall. "The game felt too easy."
[4] Steven Levy.Machine vs. Man: Checkmate[J]. Newsweek2003, CXLII(3)
Garry kasparov's head is bowed, buried in his hands. Is he in despair, or just stealing a minute of rest in his relentless quest to regain the world championship, promote chess and represent humanity in the epic conflict between man and machine? He professes the latter. But no one could blame the greatest grandmaster in history if he did succumb to bleakness. His own experiences indicate the end of the line for human mastery of the chessboard. In the sport of brains, silicon rules.
[5] Steven Levy.Man, Machine And the Myth[J]. Newsweek2003, CXLI(5)
The world's greatest chess player (human v ariety) is famously aggressive, but also knows
how to spin. At a press conference before taking on the current computer champion this week, Garry Kasparov described his loss to IBM's Deep Blue supercomputer five years ago as "the end of the mythological era" of man-vs.-machine matches. The new era, he promised, beginning with his contest against new opponent Deep Junior, will be ruled by more serious ideals, like sport and science. His argument was a gambit worthy of a grandmaster.
[6] Donald Michie.Slaughter on Seventh Avenue[J]. New Scientist1997, 154(2085)
"I'm not afraid to say that I'm afraid," said Garry Kasparov last month after his fifth game against Deep Blue 2. The match between man and machine was all square as Kasparov spoke to the watching chess aficionados and world press assembled at the Equitable Center on New Y ork's Seventh A venue. It was a chilling moment for all of us, raising to an extraordinary pitch the tension surrounding the final game next day. Then it came.
[7] Bryan Walsh.Pennies for Y our Thoughts[J]. Time2011, 177(4)
Long before ibm booted up deep blue, there was a chess-playing automaton that toured Europe in the 18th century, beating such luminaries as Benjamin Franklin and Napoleon. The joke was that the mechanical man, called the Turk, wasn't a robot at all. A person was actually hiding inside the contraption, directing moves that seemed to observers to be made by a fully functioning machine. So it is with Amazon's Mechanical Turk, or mTurk, service. Companies can take a task that a computer could almost do by it- self but that still requires a bit of human finessing-like transcribing audio into coherent phrases or clicking on photos that contain a particular object-and farm it out to mTurk's hordes of online freelancers, who are eager for the work, however menial.
6、使用SPRING_LINK电子期刊数据库
检索策略：选择高级检索，选中Title & Abstract：在检索框输入“UML or man-machine chess ”并加上“class*”
检索结果列表：格式是题目加英文摘要的格式
[1]From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis.
The Unified Modeling Language was formed by integrating several diagramming techniques for the purpose of software specification, design, construction and maintenance. It would be advantageous to use the same modeling method throughout the development process of an information system, namely, to extend the use of UML to conceptual modeling. This would require assigning well-defined, real-world meaning to UML constructs.
In order to model the real-world, we need to specify what might exist in the world, namely, an ontology. We suggest that by mapping UML constructs to well-defined ontological concepts, we can form clear semantics for UML diagrams. Furthermore, based on the mapping we can suggest ontologically-based intra- and inter-diagram integrity rules to guide the construction of conceptual models.
In this paper we describe the results we obtained by mapping UML constructs to a specific
well-formalized ontological model. In particular, we discuss the ontological meaning of objects, classes, and of interactions.
[2] Architectural Aspects in UML
Architecture descriptions are important for reasoning about system properties in order to make the right architectural decisions for building systems with adequate quality. Modularising concerns at the architecture description level may ease system configurability and cater for variations in architectural requirements. We devise a technique for modularising and composing complex architectural connectors described in UML using structured classes. We define a binding language with lexical and graphical syntax to support the composition. Finally, we discuss the relationship with standard UML constructs
[3] Strengthening UML Collaboration Diagrams by State Transformations
Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying, in addition, pre/postconditions and state transformations of operations and scenarios. This conceptual idea is formalized by means of graph transformation systems and graph process, thereby integrating the state transformation with the structural and the interaction aspect
[4] XML-OGL: UML-Based Graphical Web Query Language for XML Documents
The widespread use of XML for standard semi-structured documents on the Web opens up challenging opportunities for Web query language. The UML is a graphical language which represents the result of an object-oriented analysis and design. In this paper, we introduce the UML-based graphical web query language for XML documents. The use of a visual formalism represents the syntax and semantics of queries which enables an intuitive expression of queries,。