Algorithm for formal verification of business process templates

DOI10.1007/S10559-011-9305-7zbMATH Open1298.68179OpenAlexW2074104032MaRDI QIDQ464876FDOQ464876

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

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

zbMATH Keywords

formal verificationbusiness processtemplate

Mathematics Subject Classification ID

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

Cites Work

• Characterizations of Reducible Flow Graphs
• A program data flow analysis procedure
• Title not available (Why is that?)

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)