OCL与Object-Z作为UML约束语言的分析比较
OCL여Object-Z작위UML약속어언적분석비교
Comparison and Analysis of OCL and Object-Z as UML Constraint Language
  • 万方数据
    计算机科学 계산궤과학
    COMPUTER SCIENCE
    2004年 12期 182-185 ,共4页

    陈怡海%缪淮扣

    진이해%무회구

    UML%OCL%Object-Z%分析比较 UML%OCL%Object-Z%分析比較
    UML%OCL%Object-Z%분석비교
    UML是目前广泛使用的标准的面向对象建模语言.为了提高建模的精确性,UML模型可以用对象约束语言OCL或者是用Object-Z规格说明语言加以补充说明.本文从多个方面分析比较了这两种语言的特点,并提出建模人员应充分利用这两种语言的特点,对系统进行精确的建模.
    UML시목전엄범사용적표준적면향대상건모어언.위료제고건모적정학성,UML모형가이용대상약속어언OCL혹자시용Object-Z규격설명어언가이보충설명.본문종다개방면분석비교료저량충어언적특점,병제출건모인원응충분이용저량충어언적특점,대계통진행정학적건모.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문