| UML 顺序图的一种形式化描述方法 |
| |
| 引用本文： | 张姝,张广泉.UML 顺序图的一种形式化描述方法[J].重庆师范大学学报(自然科学版),2007,24(3):42-45. |
| |
| 作者姓名： | 张姝 张广泉 |
| |
| 作者单位： | 重庆师范大学,数学与计算机科学学院,重庆,400047 |
| |
| 基金项目： | 重庆市自然科学基金(No.CSTC2006BB2259)，重庆市教委科学技术研究项目(No.040803)，中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0303) |
| |
| 摘 要： | 统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。
|
| 关 键 词： | UML顺序图 形式化语法 形式化语义 线性时序逻辑 |
| 文章编号： | 1672-6693（2007）03-0042-04 |
| 收稿时间： | 2006-09-30 |
| 修稿时间： | 2006-09-302007-04-18 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《重庆师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《重庆师范大学学报(自然科学版)》下载免费的PDF全文 |
|
