An automata based approach to e-government cooperation
Alberto Polzonetti, Flavio Corradini, Oliviero Riganelli, Chiara Ercoli · Unicam Scientific Publications (University of Camerino) · 2006
With the introduction of Information and Communication Technology and with the spread of applicative cooperation between Public Administrations, it is attending an innovation process that provides to citizens and firms new electronic services of high quality and permits to Government to digitalize its procedures taking advantage of resulting scale economies. This paper faces the problem of service composition and propose a formal conceptualization to facilitate the realization, the management and the verification of applicative cooperation in the contest of e-Government. In particular, the formalization of services is achieved by fixing a finite-state automata network that permits to study the global behaviour of services and to realize possible composition taking advantage of service attributes to allow formal verification.