%0 Journal Article
%T UML顺序图的形式化描述
%A 李景峰
%A 李琰
%A 陈平
%J 计算机科学
%D 2002
%I 
%X 1 引言统一建模语言UML(Unified Modeling Language)是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模。然而,UML却是半形式化的——其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的。由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性。
%K UML语言
%K 统一建模语言
%K 顺序图
%K 形式化描述
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C549E6DD3BFF047A&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=B31275AF3241DB2D&sid=2922B27A3177030F&eid=856C2E13D1000DB7&journal_id=1002-137X&journal_name=计算机科学&referenced_num=5&reference_num=6