Formal methods to improve public administration business processes

DOI10.1051/ITA/2012002MaRDI QIDQ2889178zbMATHOpenAlexWikidataFDO

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/

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)

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

Cites work

• scientific article; zbMATH DE number 48095 (Why is no real title available?)
• Communicating sequential processes
• Formalisations and applications of BPMN
• Property Specifications for Workflow Modelling
• Specification of communicating processes: temporal logic versus refusals-based refinement

Describes a project that uses

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)