Introducing the Quick Fix for the Petri Net Modeling Tool Renew

ed Abstract Many modern integrated development environments (IDEs) such as Eclipse [2] support developers by providing a quick fix feature. If the application detects syntax errors in the source code, it can propose fixes addressing the error by providing context-sensitive alternatives the developer can choose from interactively. Considering Petri net modeling tools, similar functionality can be useful for inscriptions for high-level nets. We want to transfer the functionality to Renew [1], where the Java-based inscriptions may be treated analogously to source code in IDEs. This includes a mechanism for detecting and highlighting errors for developer on the one hand and algorithms for suggesting possible fixes to these errors on the other hand. Furthermore, the feature shall apply these fixes automatically, so that the developer has to adjust as little as possible source code manually. The first category of suggestions consists of Java fields: The choices consist of the declared ...

• Type: Journal
• Year: 2015
• Where: APN
• Authors: Jan Hicken, Lawrence Cabac, Michael Haustermann
• Keywords: APN 2015, Artificial Intelligence