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

H. M. W. Verbeek | Zendy; Wil M. P. van der Aalst | Zendy; Arthur H. M. ter Hofstede | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

H. M. W. Verbeek,

Wil M. P. van der Aalst,

Arthur H. M. ter Hofstede

Publication year - 2007

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/bxl074

Subject(s) - soundness , joins , computer science , workflow , semantics (computer science) , abstraction , programming language , theoretical computer science , database , philosophy , epistemology

YAWL (Yet Another Workflow Language) workflow language supports the most frequent control-flow patterns found in the current workflow practice. As a result, most workflow languages can be mapped onto YAWL without the loss of control-flow details, even languages allowing for advanced constructs such as cancellation regions and OR-joins. Hence, a verification approach for YAWL is desirable, because ...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research