An algorithm of automatic workflow optimization

DOI10.1134/S0361768812010045zbMath1251.68238MaRDI QIDQ1758697

A. A. Kalenkova

Publication date: 16 November 2012

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

zbMATH Keywords

computational complexityBoolean verification algorithmautomatic workflow optimization

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• PGWFT
• TAO

Cites Work

• Application of if-conversion to verification and optimization of workflows
• Inheritance of interorganizational workflows to enable business-to-business E-commerce

This page was built for publication: An algorithm of automatic workflow optimization