UML活动图的操作语义-中国学术期刊网络出版总库

中国学术期刊网络出版总库

UML活动图的操作语义

推荐 CAJ下载

【英文篇名】	An Operational Semantics for UML Activity Diagrams
【下载频次】	★★★★★
【作者】	王聪; 王智学;
【英文作者】	Wang Cong1 and Wang Zhixue21(Institute of Communications Engineering; PLA University of Science and Technology; Nanjing 210007)2(Institute of Command Automation; Nanjing 210007);
【作者单位】	解放军理工大学通信工程学院; 解放军理工大学指挥自动化学院南京;
【文献出处】	计算机研究与发展 , Journal of Computer Research and Development, 编辑部邮箱 2007年 10期期刊荣誉：中文核心期刊要目总览 ASPT来源刊中国期刊方阵 CJFD收录刊
【中文关键词】	UML活动图; 操作语义; 格局; 变迁; 加标记的变迁系统;
【英文关键词】	UML activity diagram; operational semantics; configuration; transition; LTS;
【摘要】	越来越多的系统采用UML(unified model language,统一建模语言)作为建模语言来进行系统分析和设计.UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是:引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础.
【英文摘要】	More and more large systems are taking UML(unified model language) as requirements description language for system analysis and design,especially in those safety-critical systems.One of the most important dynamic behaviors specifying the mechanism of UML is the UML activity diagram,which is widely used for modeling of business.The UML activity diagram lacks strictly defined formal dynamic semantics.It is difficult using the UML activity diagram to make formal analysis,verification and assertation.An operati...
【更新日期】	2007-11-07
【分类号】	TP311.52
【正文快照】	UML(unified modeling language,统一建模语言)是对象管理组织OMG第3代面向对象建模语言[1].它定义了多种图元,从不同视角和层次描述了系统的静态结构和动态特性.它是一种定义良好、易于表达、功能强大且普遍适用的建模语言.它融入了软件工程领域的新思想、新方法和新技术,采用

xxx

【读者推荐文章】

中国期刊全文数据库中国博士学位论文全文数据库中国优秀硕士学位论文全文数据库中国重要会议论文全文数据库

【相似文献】

中国期刊全文数据库

中国优秀硕士学位论文全文数据库

中国博士学位论文全文数据库

中国重要会议论文全文数据库

中国重要报纸全文数据库

中国学术期刊网络出版总库

点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。

【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。

工业技术
　

自动化技术、计算机技术
　　

计算技术、计算机技术
　　　

计算机软件
　　　　

程序设计、软件工程
　　　　　

软件工程
　　　　　　


	CNKI系列数据库编辑出版及版权所有：中国学术期刊(光盘版)电子杂志社中国知网技术服务及网站系统软件版权所有：清华同方知网(北京)技术有限公司其它数据库版权所有：各数据库编辑出版单位（见各库版权信息）京ICP证040431号互联网出版许可证新出网证（京）字008号

文献分类导航