Application of if-conversion to verification and optimization of workflows

DOI10.1134/S0361768810050038MaRDI QIDQ1758685zbMATH OpenFDO

Authors A. A. Kalenkova

Publication date 16 November 2012

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S0361768810050038

zbMATH Keywords

Boolean verification algorithmif-conversionpattern transformationsworkflow analysis graphsworkflow optimizationworkflow verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• An algorithm of automatic workflow optimization
• scientific article; zbMATH DE number 2088769
• Automated Technology for Verification and Analysis
• Verification of workflow task structures: A Petri-net-based approach
• scientific article; zbMATH DE number 2204026

Cites work

• Inheritance of interorganizational workflows to enable business-to-business E-commerce

Cited in

(2)

• An algorithm of automatic workflow optimization
• Applications of propositional logic to workflow analysis

Describes a project that uses

Uses Software

• PGWFT
• TAO
• GeoNames

This page was built for publication: Application of if-conversion to verification and optimization of workflows

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