|
发表于 2009-4-18 09:34:26
|
显示全部楼层
外行,不知道以下资料对楼主有无帮助?
| 来源:http://www.cnki.com.cn/Article/CJFDTotal-JSJY200502010.htm | | UML顺序图的结构化操作语义研究 | | [url=]黄陇,于洪敏,陈致明[/url] | | UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提。
【作者单位】:[url=]解放军军械工程学院 河北石家庄050003 (黄陇[/url];[url=]于洪敏)[/url];[url=]解放军军械工程学院 河北石家庄050003(陈致明)[/url]
【关键词】:[url=]UML[/url];[url=]顺序图[/url];[url=]结构化操作语义[/url]
【分类号】:TP311
【DOI】:cnki:ISSN:1001-9081.0.2005-02-010
【正文快照】:
0 引言面向对象软件的运行机制是通过对象以及对象之间的动态交互实现的。正如IvarJacobson所说:“只有在所有的用例为所有事件进程建立了交互模型之后,才可以确定已经发现系统所需的每个对象所扮演的角色,以及它们的责任 [1]。”因此,交互建模在面向对象软件开发中越来越重要 |
|
|