For the most recent entries see the Petri Nets Newsletter.

Formalizing UML class diagrams - a hierarchical predicate transition net approach.

He, X.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography