UML模型向SOFL规范的转换

摘要

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