资 源 简 介
This software is the result of a master thesis at the university of Duisburg-Essen in germany.
With this software it is possible to specify path expressions for objects in a special configuration language (Xtext). The software is able to create aspects(AspectJ) with Xpand that intercept method executions of the mentioned methods inside the path expression. A scheduler will then validate the method execution towards this path expression. For that, it transforms the path expression to a labeled petri net that maps the execution paths on runtime. The labeled petrinet maps, off course, only those path executions that fit to the path expression specification.
If a method is invoked, the scheduler tries to fire a transition inside the petri net. If this is not possible, the scheduler will stop the thread until the petri net has an active labeled transition that allows the method execution. This means there is an active transition with the same label as the name of the meth
