Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants

Verbeek, H. M. W.; van der Aalst, Wil M. P.; ter Hofstede, A. H. M.

Oxford : Oxford Univ. Press (2007)
Fachzeitschriftenartikel

In: The computer journal
Band: 50
Heft: 3
Seite(n)/Artikel-Nr.: 294-314

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 9 (Process and Data Science) [122510]