In: Proc. 24th Annual Int. Computer Software and Applications Conf. (COMPSAC-2000), 25-27 October 2000, Taipei, Taiwan, pages 217-222. 2000.
Abstract: Unified Modeling Language (UML) has been widely accepted as the standard object-oriented development methodology in software industry. However, many graphical notations in UML only have informal English definitions and thus are error-prone and cannot be formally analyzed. This paper presents preliminary results on an approach to formally define UML class diagrams using hierarchical predicate-transition nets (HPrTNs). It shows how to define the main concepts related to class diagrams using HPrTN elements.
Keywords: UML class diagrams, hierarchical predicate-transition nets, object-oriented design.