Fundamentals of control flow in workflows

DOI10.1007/s00236-002-0105-4zbMath1060.68079OpenAlexW2143753066WikidataQ57006076 ScholiaQ57006076MaRDI QIDQ1424346

B. Kiepuszewski, Arthur H. M. ter Hofstede, Wil 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) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Reduction of Workflow Nets for Generalised Soundness Verification ⋮ A formal model for service-oriented interactions ⋮ Numbering action vertices in workflow graphs ⋮ Connectivity of workflow nets: The foundations of stepwise verification ⋮ Merging Hierarchically-Structured Documents in Workflow Systems

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