Formal methods to improve public administration business processes

DOI10.1051/ITA/2012002zbMATH Open1252.68195OpenAlexW2117568741WikidataQ123763112 ScholiaQ123763112MaRDI QIDQ2889178FDOQ2889178

Authors: Andrea Polini, Andrea Polzonetti, 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/

Recommendations

• A formal framework for business process modelling and design
• A rigorous methodology for specification and verification of business processes
• Algorithm for formal verification of business process templates
• scientific article; zbMATH DE number 2215868
• Formal verification of complex business processes based on high-level Petri nets

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Communicating sequential processes
• Specification of communicating processes: temporal logic versus refusals-based refinement
• Property Specifications for Workflow Modelling
• Formalisations and applications of BPMN
• Title not available (Why is that?)

Uses Software

• WSAT
• YAWL

This page was built for publication: Formal methods to improve public administration business processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2889178)