DocumentCode
2640230
Title
Formalizing UML class diagrams-a hierarchical predicate transition net approach
Author
He, Xudong
Author_Institution
Sch. of Comput. Sci., Florida Int. Univ., Miami, FL, USA
fYear
2000
fDate
2000
Firstpage
217
Lastpage
222
Abstract
Unified Modeling Language (UML) has been widely accepted as the standard object-oriented development methodology in the software industry. However, many graphical notations in UML only have informal English definitions and thus are error-prone and cannot be formally analyzed. We present our preliminary results on an approach to formally define UML class diagrams using hierarchical predicate transition nets (HPrTNs). We show how to define the main concepts related to class diagrams using HPrTN elements
Keywords
object-oriented languages; object-oriented methods; specification languages; HPrTNs; UML class diagrams; Unified Modeling Language; graphical notations; hierarchical predicate transition net approach; object-oriented development methodology; software industry; Computer errors; Computer industry; Computer science; Helium; Object oriented modeling; Petri nets; Programming; Software standards; Standards development; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International
Conference_Location
Taipei
ISSN
0730-3157
Print_ISBN
0-7695-0792-1
Type
conf
DOI
10.1109/CMPSAC.2000.884721
Filename
884721
Link To Document