Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"Conceptual Graph"”.
-
An Object Oriented Simulator for Conceptual Graphs
… of an object-oriented simulator for conceptual graphs. Conceptual graphs are a means of representing information and knowledge. In particular, they may be used to represent the behavior of mechanisms. Conceptual graph simulation provides the means for verifying that the conceptual …
-
Mapping conceptual graphs to primitive VHDL processes
This thesis discusses an algorithm for mapping conceptual graphs to primitive VHDL processes. The behavior of each primitive process is stored in the form of a schema. The algorithm identifies concepts in the input referring to MODAS (Modeler's Assistant) process primitives and maps their schemata …
-
Arís 2.1: Adapting Arís for Object Oriented Language
… add functions to existing Arís that will receive Conceptual Graphs representation of a program and write the specification to a file. Another companion system is also built from Java to generate the Conceptual Graphs in Conceptual Graph Interchange Format (CGIF) and transform the Spec# …
-
Semantic analysis for system level design automation
… know ledge representation for the work is the conceptual graph, developed by John Sowa. Conceptual graphs provide a sound theoretical base as well as enough versatility to model the information found in digital system specifications. The transformation from natural language to conceptual graphs …
-
Back annotation for conceptual structures
… the specifications is stored in an intermediate graphical notation called conceptual graphs. A preliminary tool called the Model Generator can produce a graphical display from conceptual graphs which helps the user visualize the model contained in the conceptual graph. The Back Annotator which is …
-
A requirements elicitation framework for agent-oriented software engineering.
The hypothesis of this research is as follows: "Conceptual modelling is a useful activity for the early part of gathering requirements for agent-based systems." This thesis examines the difficulties of gathering and expressing requirements for agent based systems, and describes the development of a …
-
Evaluate and Benchmark Aris
… Aris 2.0 that improve the construction of conceptual graph, reduce the occurrences of false variable and loop mapping, enable adjustment for transferring specifications between different iteration process of for loop, and support assert and assume specifications transfer. We also introduce …
-
Topos-like Properties in Two Categories of Graphs and Graph-like Features in an Abstract Category
In the study of the Category of Graphs, the usual notion of a graph is that of a simple graph with at most one loop on any vertex, and the usual notion of a graph homomorphism is a mapping of graphs that sends vertices to vertices, edges to edges, and preserves incidence of the mapped vertices and …
-
Topos-like Properties in Two Categories of Graphs and Graph-like Features in an Abstract Category
In the study of the Category of Graphs, the usual notion of a graph is that of a simple graph with at most one loop on any vertex, and the usual notion of a graph homomorphism is a mapping of graphs that sends vertices to vertices, edges to edges, and preserves incidence of the mapped vertices and …