Formal Methods to Improve Public Administration Business Processes
DOI10.1051/ita/2012002zbMath1252.68195WikidataQ123763112 ScholiaQ123763112MaRDI QIDQ2889178
Andrea Polzonetti, Andrea Polini, Barbara Re
Publication date: 4 June 2012
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=ITA_2012__46_2_203_0/
CSP models; business process quality assessment; domain dependent property checking; e-government quality framework; verification of business process models
68U35: Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software
Cites Work