JUCS - Journal of Universal Computer Science 13(13): 2002-2034, doi: 10.3217/jucs-013-13-2002
Self-Evolving Petri Nets
expand article infoLorenzo Capra, Walter Cazzola
‡ Università degli Studi di Milano, Milano, Italy
Open Access
Abstract
Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-coding all the foreseeable evolutions in the application design and code. Neglecting the obvious difficulties in pursuing this approach, we also get the application code and design polluted with details that do not regard the current system functionality, and that hamper design analysis, code reuse and application maintenance in general. Petri Nets (PN), as a formalism for modeling and designing distributed/concurrent software systems, are not exempt from this issue. The goal of this work is to propose a PN based reflective framework that lets everyone model a system able to evolve, keeping separated functional aspects from evolutionary ones and applying evolution to the model only if necessary. Such an approach tries to keep system's model as simple as possible, preserving (and exploiting) ability of formally verifying system properties typical of PN, granting at the same time adaptability.
Keywords
Petri Nets, reflection, software evolution