Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation

Document Type



Master of Science (MS)


Computer Science

First Advisor's Name

Xudong He

First Advisor's Committee Title

Committee Chair

Second Advisor's Name

Naphtali Rishe

Third Advisor's Name

Shu-Ching Chen

Date of Defense



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.



This document is currently not available here.



Rights Statement

Rights Statement

In Copyright. URI:
This Item is protected by copyright and/or related rights. You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s).