Application of if-conversion to verification and optimization of workflows

DOI10.1134/S0361768810050038zbMath1251.68237MaRDI QIDQ1758685

A. A. Kalenkova

Publication date: 16 November 2012

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

zbMATH Keywords

workflow verificationBoolean verification algorithmif-conversionpattern transformationsworkflow analysis graphsworkflow optimization

Mathematics Subject Classification ID

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) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

An algorithm of automatic workflow optimization

Uses Software

• PGWFT
• TAO
• GeoNames

Cites Work

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

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