The BP4PA project proposes a suitable approach to represent, assess and continuously improve Public Administration applied processes, according to domain requirements and exploiting formal verification techniques. The approach is implemented in the BP4PA tool.
BP4PA sourceforge web site is availables at link.
Advertisement
