首页> 中文期刊> 《电脑开发与应用》 >UML状态图的形式化描述

UML状态图的形式化描述

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模的语言,它适合对系统的状态变化进行动态的描述.利用和改进原有的CHAM建模语言,使其能够对UML状态图进行形式化描述.

著录项

来源
《电脑开发与应用》 |2011年第5期|58-60|共3页
作者
崔冬华; 崔光霁;
展开▼
作者单位

太原理工大学计算机科学与技术学院,太原,030024;

太原理工大学计算机科学与技术学院,太原,030024;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
统一建模语言; 化学抽象机; 状态图; CHAM;

相似文献

中文文献
外文文献
专利

1. 基于UML状态图测试用例生成的策略研究 [J] . 栾家伟 ,吴陈 . 计算机与数字工程 . 2020,第002期
2. 基于WFStateMachine的UML状态图动态构建与测试 [J] . 孔令东 . 软件工程师 . 2018,第006期
3. 基于WF StateMachine的UML状态图动态构建与测试 [J] . 孔令东 . 软件工程 . 2018,第06)期
4. UML状态图的检测算法生成 [J] . 王佳婧 ,冯长宝 ,佟鑫 . 电子技术与软件工程 . 2017,第019期
5. UML状态图到B形式化规范的转换实现 [J] . 滕飞 ,杨静 . 软件导刊 . 2017,第001期
6. 基于UML状态图的MM路径形式化表示及生成 [C] . 林羚 ,中国科学院 ,卢江 . 第四届中国测试学术会议 . 2006
7. 基于UML状态图的软件系统测试用例生成方法 [A] . 栾家伟 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号