|
|
|
|
| Bachelorprojekt - Softwareteknologi | Project No. 0044: PNML Tools |
| Aktuelle | Tidligere |
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 ISO/IEC 15909-3). Different kinds of Petri net types can be defined by providing a UML model with the type's specific features. In a recently finished masters project, a generic editor for PNML was implemented, which can serve as a platform for integrating different tools on different versions of Petri nets. This tool is based on the Eclipse Modeling Framework (EMF) and makes use of UML/EMF models. The current version of that tool supports the basic features of PNML, but still lacks some functionality.
Some of this missing functionality can be implemented in different bachelor projects. Some features concern the graphical appearence and the usability of the editor. Others also require some conceptual work. All bachelor projects require some knowledge in EMF and GMF and in model-based software engineering and will help advancing the students' skills in modern software engineering technologies. The experience gained with that tool and the concepts for realising it, will be valuable input for ISO/IEC 15909-3.
| Prerequisites: | 02162 Software Engineering 2 (or similar knowledge of EMF/GMF) |
Supervisor(s) Ekkart Kindler
| Sidst opdateret: Oct 31, 2011 af Hans Henrik Løvengreen |