Applying Process Analysis to the Italian eGovernment Enterprise Architecture

  • Roberto Bruni
  • Andrea Corradini
  • Gianluigi Ferrari
  • Tito Flagella
  • Roberto Guanciale
  • Giorgio Spagnolo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7176)


We report our experiences gained when integrating process analysis activities into a regional gateway of the Italian eGov platform to promote real-time process monitoring within a Service Oriented Architecture. We exploit ProM, a state-of-the-art suite providing several analysis algorithms for business processes. First, we outline our technological integration efforts, focusing on the architectural changes and implementation strategies to make ProM tools available at runtime for monitoring the gateway. Next we improve an existing performance algorithm with a new approach to deal with invisible transitions when evaluating the synchronization times of complex nets. Finally, we introduce a methodology to transform high level process notations, like BPMN, to Petri Nets in order to enact the analysis techniques and convey back their results.


Business Process Synchronization Time Service Orient Architecture Enterprise Architecture Business Process Management 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information and Software Technology, 639–650 (1999)Google Scholar
  3. 3.
    van der Aalst, W.M.P., van Dongen, B.F.: Discovering Workflow Performance Models from Timed Logs. In: Han, Y., Tai, S., Wikarski, D. (eds.) EDCIS 2002. LNCS, vol. 2480, pp. 45–63. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    van der Aalst, W.M.P., de Medeiros, A.K.A., Weijters, A.J.M.M.: Genetic Process Mining. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 48–69. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Baldoni, R., Fuligni, S., Mecella, M., Tortorelli, F.: The Italian e-Government Enterprise Architecture: A Comprehensive Introduction with Focus on the SLA Issue. In: Nanya, T., Maruyama, F., Pataricza, A., Malek, M. (eds.) ISAS 2008. LNCS, vol. 5017, pp. 1–12. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Börger, E., Thalheim, B.: Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. In: Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 24–38. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Corradini, A., Flagella, T.: OpenSPCoop: un Progetto Open Source per la Cooperazione Applicativa nella Pubblica Amministrazione. In: AICA 2007 (2007)Google Scholar
  8. 8.
    Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models (2007),
  9. 9.
    Eindhoven Univ. of Technology: ProM,
  10. 10. OpenSPCoop,
  11. 11.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I. Inf. Comput. 100(1), 1–40 (1992)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Muñoz-Gama, J., Carmona, J.: A Fresh Look at Precision in Process Conformance. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 211–226. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  13. 13.
    Oasis: Web Services Business Process Execution Language Version 2.0 (2007),
  14. 14.
    OMG: Business Process Model and Notation,
  15. 15.
    Parlamento Italiano: Istituzione del sistema pubblico di connettività e della rete internazionale della pubblica amministrazione, D.L (42) del (February 28, 2005); G.U. (73) del (March 30, 2005),
  16. 16.
    Petri, C.: Kommunikation mit Automaten. Ph.D. thesis, Institut für Instrumentelle Mathematik, Bonn (1962)Google Scholar
  17. 17.
    Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Roberto Bruni
    • 1
  • Andrea Corradini
    • 1
  • Gianluigi Ferrari
    • 1
  • Tito Flagella
    • 2
  • Roberto Guanciale
    • 1
  • Giorgio Spagnolo
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Link.itPisaItaly

Personalised recommendations