Formal Methods to Improve Public Administration Business Processes

DOI10.1051/ita/2012002zbMath1252.68195OpenAlexW2117568741WikidataQ123763112 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/

zbMATH Keywords

CSP modelsbusiness process quality assessmentdomain dependent property checkinge-government quality frameworkverification of business process models

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• WSAT
• YAWL

Cites Work

• Unnamed Item
• Formalisations and applications of BPMN
• Specification of communicating processes: temporal logic versus refusals-based refinement
• Property Specifications for Workflow Modelling
• Communicating sequential processes

This page was built for publication: Formal Methods to Improve Public Administration Business Processes