UML的形式化及其应用

来源 :计算机科学 | 被引量 : 0次 | 上传用户：xjtuzhanglei

【摘要】

：

本文介绍一个面向度量的UML的代数表达框架.这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基

【作者】

：

周瑾马应龙李巍吴志林

【机构】

：

中国科学院软件研究所软件工程中心,中国科学院软件研究所计算机科学重点实验室

【出处】

：

计算机科学

【发表日期】

：

2005年3期

【关键词】

：

形式化软件工程 UML类图序列图状态图 UML Formal framework

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文介绍一个面向度量的UML的代数表达框架.这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础.本文给出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的.

其他文献

医源性婴儿高血糖1例

1 临床资料患儿男性,出生45天.因咳嗽、发热于1998年5月19日入院.5天前无明显诱因单声咳嗽,无痰,无声嘶及喘憋.2天前,患儿渐起发热,呈间歇性,体温

期刊

医源性高血糖婴儿发热药物疗法不良反应

白内障术后并发眼内炎1例

眼内炎是白内障术后最严重、最可怕、破坏性最大的并发症 [1],其发生率约为0.02%～0.5%[2].若处置不当,常致失明,甚至摘除眼球,是眼科医生最棘手的难题之一[3].本文报告白内障

期刊

白内障摘除术并发症眼内炎病例报告

重型颅脑损伤的综合救治

重型颅脑损伤是严重危害生命的损伤，死亡率较高。总结１９９７年４２例重型颅脑损伤病人的救治体会。报告如下。１临床资料４２例病人ＧＣＳ评分３～８分。年龄４～７２岁，其１０岁以下２人，６０岁以上５人，１８～５９岁占８４％。车祸２６例，摔伤８例，打伤或

期刊