UML模型向SOFL规范的转换

摘要：

UML建模方法是应用一系列的图形直观的表示系统对象及其行为关系。而SOFL关注的是如何规范地描述系统功能的实现，尽可能准确的满足客户需求。本文研究的是，应用UML模型来描述系统功能及结构，而后应用SOFL规范语言进行形式化描述。并配以一个实例进行说明。

关键词： 形式化方法 UML模型 SOFL规范

作者: 刘明明

作者单位: 西安工程大学,陕西西安 710048

会议类型: 国内会议

会议名称: 第一届研究生IT创新学术论坛

会议地点: 杭州

会议语种:中文

页码: 339-343

在线出版日期: 2008-11-09（万方平台首次上网日期，不代表论文的发表时间）