(Towards an) Implementation of a Graphical Editor for Diagrammatic Predicate Logic in the Eclipse Platform

Abstract

The primary goal of this master's thesis is to explore how the Eclipse Platform can be beneficial for the Generic Diagrammatic Software Specification project, and how a graphical editor in the Eclipse Platform can be put together. The Eclipse Platform is designed for building integrated development environments, with all its functionality based on various plug-ins. The objective is to explore the plug-ins that are made especially for modeling software and graphical editing and find out how to utilize them in the DPL framework.