BP4PA Tool

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.

Main pubblications

  • Andrea Polini, Alberto Polzonetti, Barbara Re. Formal methods to improve public administration business processes. Journal Theoretical Informatics and Applications. Accepted June 2011. To appear.

  • Flavio Corradini, Andrea Polini, Alberto Polzonetti, Barbara Re. Business Processes Verification for e-Gov Service Delivery. Information Systems Management journal, Volume 27, Issue 4 September 2010, pages 293 - 308.

  • F.Corradini, A. Polini, A. Polzonetti, B. Re. An User friendly Approach for Business Process Formal Verification. ICTCS 2010, 12th Italian Conference on Theoretical Computer Science, Camerino, Italy, September 15-17.

  • F.Corradini, D. Falcioni, A. Polini, A. Polzonetti, B. Re. Designing Quality Business Processes for e-Government Digital Services. IFIP EGOV 2010 conference, Lausanne (Swizzerland), LNCS of Springer, pp 424 - 435, September 2010.