关于UML顺序图的结构化操作语义描述的研究  

作　　者：杨洋[1] 金暐[1] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006

出　　处：《福建电脑》2007年第11期51-52,共2页Journal of Fujian Computer

摘　　要：UML规范本身因为描述语言的限制,所以在语义方面有其模糊和难以把握的地方。本文使用结构化操作语义,对其顺序图做了形式化的描述。

关 键 词：UML 状态机图 形式化 结构化操作语义 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]