Fundamentals of control flow in workflows

DOI10.1007/S00236-002-0105-4MaRDI QIDQ1424346zbMATH OpenOpenAlexWikidataFDO

Authors B. Kiepuszewski, Arthur H. M. ter Hofstede, W. M. P. van der Aalst

Publication date 11 March 2004

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://eprints.qut.edu.au/9948/1/9948.pdf

zbMATH Keywords

workflow specification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Deterministic network models in operations research (90B10)

Recommendations

• scientific article; zbMATH DE number 2202219
• scientific article; zbMATH DE number 1049043
• Workflow concurrency control
• Process and data flow control in KLOE

Cited in

(13)

• Formalizing the specification and execution of workflows using the event calculus
• Merging hierarchically-structured documents in workflow systems
• Reduction of workflow nets for generalised soundness verification
• Numbering action vertices in workflow graphs
• Principles for interactive acquisition and validation of workflows
• A formal model for service-oriented interactions
• scientific article; zbMATH DE number 1945821 (Why is no real title available?)
• scientific article; zbMATH DE number 1947672 (Why is no real title available?)
• scientific article; zbMATH DE number 1982683 (Why is no real title available?)
• scientific article; zbMATH DE number 1982685 (Why is no real title available?)
• Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
• Fast termination and workflow nets
• Connectivity of workflow nets: The foundations of stepwise verification

This page was built for publication: Fundamentals of control flow in workflows

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