基于可执行 UML的信息系统建模研究

摘要

可执行UML是UML的一个扩展，通过在UML中加入动作语言语法，使得建立的模型是可验证的。利用可执行UML与动作语言OAL，对高级运营管理系统进行建模，使得建立的模型是可执行的，可转换为任何语言。