Bachelorprojekt - Softwareteknologi
Projekt nr. 0109:  Extending the ePNK (a generic Petri net tool based on Eclipse and EMF)

Aktuelle

Tidligere

Beskrivelse:

The Petri Net Markup Language (PNML) is an XML based interchange format for all kinds of Petri nets, which is currently standardized as ISO/IEC 15909-2 (and some extensions in ISO/IEC 15909-3). Different kinds of Petri net types can be defined by providing a UML model with the type's specific features.

The ePNK (eclipse-based Petri Net Kernel) is a tool based on eclipse that is fully compliant with ISO/IEC-15909-2 and serves as a test-bed for the defintion of ISO/IEC-15909-3. It provides a generic graphical editor to which new Petri net types can be plugged-in - basically, by providing a UML model of its concepts. The ePNK was developped in a model-based way, using the Eclipse Modeling Framework (EMF), the Graphical Modeling Framework (GMF), and XText and some related technologies.

The current version of the ePNK, however, is still quite simple and many features that would be interesting for tool-developers or end-user are still missing. Some of these features could be implemented in BSc-projects (02125).

Below, there is a list of possible extensions. Each of them or a combination of them could be a project - depending on the number of students. The exact topic awill be defined together with the students, based on their experience and their interests.

Possible extension:

• Defining and implementing a mechanism for mapping the concepts of PNML-concepts to XML syntax by simple tabels
• Extending the graphical editor so that it supports importing and exporting all graphical features of PNML. Most features, like, line colour, label fonts are supported by the graphical editor of the ePNK already; they mainly need to be transferred to and from the PNML model.
• Plugin mechanism for providing graphical feedback on analysis results directly in the graphical editor

All projects require some basic knowledge of eclipse, EMF and GMF and model-based software engineering (such as provided in the course 02162, Software Engineering 2) and will help advancing the students' skills in modern software engineering technologies.

Forudsætninger:

02162 Software Engineering 2 (recommended)

Vejleder(e): Ekkart Kindler

Sidst opdateret: Nov 23, 2011 af Hans Henrik Løvengreen