The purpose of this thesis was to design and implement a software engineering tool that supports the editing of Hierarchical Predicate Transition Nets (HPrTNets) in a graphical environment. This tool allowed the user to create a new HPrTNets structure or to load the data associated to a class diagram stored in Rational Rose files converting it to the HPrTNets notation.
This software engineering tool allowed the graphical representation of the static aspect of a system as defined by Unified Modeling Language (UML) class diagrams. The HPrTNets structure consisted of formalizing syntactic structures of UML class diagrams. This tool served as a benchmark in order to lead to a better understanding of UML, reveal potential problems in the current definition of UML, and formally analyze UML specifications and designs. The tool was implemented in Microsoft Visual J++ communicating with Rational Rose via a Component Object Model (COM). The userfriendly graphical interface was created in JBuilder.
