Master of Science (MS)
First Advisor's Name
First Advisor's Committee Title
Second Advisor's Name
Third Advisor's Name
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.
Fernandez, Rigoberto, "Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation" (2001). FIU Electronic Theses and Dissertations. 3306.
In Copyright. URI: http://rightsstatements.org/vocab/InC/1.0/
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).