Set-based access conflict analysis of concurrent workflow definition

DOI10.1016/S0020-0190(01)00162-4MaRDI QIDQ1603382zbMATH OpenFDO

Authors R. Smith, Minkyu Lee, Dong-soo Han, Jaeyong Shim

Publication date 14 July 2002

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0020-0190(01)00162-4

zbMATH Keywords

ConcurrencyStatic analysisWorkflow management system

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Recommendations

• Confusion analysis and detection for workflow nets
• Diagnosing workflow processes using Woflan
• Woflan 2. 0: A Petri-net-based workflow diagnosis tool
• scientific article; zbMATH DE number 2088769
• Workflow concurrency control

Cites work

• A cost-effective estimation of uncaught exceptions in Standard ML programs

Cited in

(1)

• Communication deadlock detection of inter-organizational workflow definition

Describes a project that uses

Uses Software

• Eraser

This page was built for publication: Set-based access conflict analysis of concurrent workflow definition

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