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

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

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)

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

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)