Formalizing Inheritance Detection of Class Diagram in UML
作者: Alireza Souri Mohammad esmaeel Akbari Mohammad ali Sharifloo
刊名: Academia Arena, 2018, Vol.10 (6)
来源数据库: Marsland Press
DOI: 10.7537/marsaaj100618.05
关键词: Formal methodUMLClass diagramModelingInheritanceRelationships
原始语种摘要: One of the important relationships between classes in UML is inheritance relationships. Since there are few techniques for modeling and analyzing UML, by formalizing class diagram – as important section of UML – in this paper, after converting one system to class structure in UML, we present a solution for Establishment of inheritance relationships in UML. Also we can reduce complexity of each class in the system. Then by modeling this structure by this solution it will be prepare for some goals such as verifying and validating. By using an example we show procedure of formalizing the system. After all, we come to a conclusion that formal method improves ability of analyzing and implementing a system. By improving these factors, we can get better results in other techniques such as formal...
全文获取路径: PDF下载  马斯兰德出版社  (合作)

  • Class B类放大器、 C类放大器
  • analyzing 检测
  • class 
  • software 软件
  • formal 形式的
  • modeling 制祝型
  • validation 证实
  • procedure 手续
  • verifying 检孔
  • improving 改进