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 17 of 17 for “"conceptual graphs"”.
-
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 …
-
Generation of VHDL from conceptual graphs of informal specifications
… interface between the two systems and interprets conceptual graphs generated from English sentences describing the behavior of a device, and produces a Process Model Graph and the associated VHDL code for use by the Modeler's Assistant. The ASPIN (Automated SPecification INterpreter) system …
-
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 …
-
Visualization feedback from informal specifications
… into a common knowledge representation, called conceptual graphs, by first parsing and then semantically analyzing them. The Model Generator then uses the conceptual graphs to generate a graphical model representing the meaning of the English specification sentence. This is done in two stages. …
-
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# …
-
Back annotation for conceptual structures
… 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 described in this thesis …
-
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 …
-
Source Code Matching for Reuse of Formal Specifications
… two source code files we represent them using Conceptual Graphs that allow us to explore the semantic content of the code while also analysing its structural properties using graph-based techniques. For comparing two conceptual graphs, we propose to use an incremental matching algorithm based …
-
Teoria Básica das Estruturas Conceptuais
… algumas propostas informais de outros autores. [Conceptual Structures is a knowledge representation formalism based on graphs, the so called conceptual graphs. The theory was initially developed by John Sowa 10 years ago. Since then, it has been used by a growing scientific community in many …
-
Detection of Coreferences in Automatic Specifications Analysis
… natural language statements are translated into conceptual graphs (semantic nets). Then, these graphs are scanned by a rule-based system to determine whether each concept that is encountered is the definition of a new concept or a reference to a previously defined concept. Tests performed on the …
-
Source Code Retrieval using Case Based Reasoning
… used as semantic anchors and characteristics of conceptual graphs are used to express the structure of implementations. Finally, we transfer the knowledge (i.e. formal specification) between the input implementation and the retrieved code artefacts to produce a specification for a given …
-
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 …
-
The Categories of Graphs
<p>In traditional studies of graph theory, the graphs allow only one edge to be incident to any two vertices, not necessarily distinct, and the graph morphisms must map edges to edges and vertices to vertices while preserving incidence. We refer to these restricted morphisms as <i>strict …
-
The Categories of Graphs
<p>In traditional studies of graph theory, the graphs allow only one edge to be incident to any two vertices, not necessarily distinct, and the graph morphisms must map edges to edges and vertices to vertices while preserving incidence. We refer to these restricted morphisms as <i>strict …
-
(Multilingual) Knowledge representation for epistemological access
… modeled into entities and relations, using the conceptual graphs formalism. While the labels for the entities were in English, the links between the entities were provided in both English and in the variety of Afrikaans called Kaaps. A knowledge-based application, using Jupyter notebook and a …