Towards the automation of the travel management procedure of an italian public administration

Recently the Public Administrations pay a lot of attention to decreases the time required for document production and validation specifically in case of travel management. In this paper we describe the procedural steps followed to implement a first prototype framework for automating the travel management process adopted inside an Italian PA. To achieve this goal, we represent the process through Business Models specified into a formal notations. The experience highlighted important challenges in the application of automatic facilities for the travel management and let the detection of inconsistencies and improvements of the process itself.