Softwareteknologi DTU - Projekt nr. 0124:  Extending the ePNK (a generic Petri net tool)
Danmarks Tekniske Universitet DTU
Bachelorprojekt - Softwareteknologi
Projekt nr. 0124:  Extending the ePNK (a generic Petri net tool)
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. The exact topic and focus will be defined together with the students, based on their experience and their interests.

Possible extension:

In the BSc-projects, the exact needs for these mechanism should be analysed - based on some examples, which exists already; then the mechanism should be designed and implemented.

All projects require some basic knowledge of Eclipse, EMF 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 27, 2012 af Hans Henrik Løvengreen