封面
声明
中文摘要
英文摘要
目录
第一章 绪论
1.1 研究背景及意义
1.2 国内外现状
1.3 论文主要研究内容
1.4 论文章节安排
第二章 相关理论与技术
2.1 UML基础知识
2.2 形式化方法简介
2.3 软件能耗
2.4 本章小结
第三章 UML顺序图和能耗自动机
3.1 顺序图及其扩展
3.2 有限自动机和能耗自动机
3.3 本章小结
第四章 UML顺序图到能耗自动机的转换
4.1 转换规则
4.2 顺序图到能耗自动机的转换方法
4.3 顺序图到能耗自动机的转换实例
4.4 本章小结
第五章 基于能耗自动机的系统能耗分析
5.1 能耗自动机的状态可达性分析
5.2 系统能耗的分析
5.3 系统能耗的实例
5.4 本章小结
第六章 总结与展望
6.1 总结
6.2 展望
致谢
参考文献
附录