Algorithm for formal verification of business process templates

DOI10.1007/S10559-011-9305-7MaRDI QIDQ464876zbMATHOpenAlexFDO

Authors A. S. Varosyan

Publication date 30 October 2014

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-011-9305-7

zbMATH Keywords

formal verificationbusiness processtemplate

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2215868
• Formal verification of complex business processes based on high-level Petri nets
• A rigorous methodology for specification and verification of business processes
• A formal framework for business process modelling and design
• Business process verification with constraint temporal answer set programming

Cites work

• scientific article; zbMATH DE number 1416643 (Why is no real title available?)
• A program data flow analysis procedure
• Characterizations of Reducible Flow Graphs

Cited in

(2)

• Formal methods to improve public administration business processes
• Algorithmical approaches to business process design

This page was built for publication: Algorithm for formal verification of business process templates

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