Formalization and verification of event-driven process chains
about
Towards Robust Conformance CheckingGetting rid of OR-joins and multiple start events in business process modelsModel-based software configuration: patterns and languagesBRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONSOn compliance checking for clausal constraints in annotated process modelsA procedure model for process oriented e‐government projectsBusiness Process Management: A Comprehensive SurveyEfficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding
P2860
Q57005257-8878B7A3-D1D0-4635-B45A-2B7AB6CD5C81Q57005689-706D120D-CEE1-45DC-B866-3373F4CD96C9Q57005950-DD2EFB34-6C2F-405D-83E2-FA614C9D8D5CQ57006051-2A2BBDB2-7F26-4BA6-960D-88B5003D59E8Q58176791-A33D9441-B1F5-4000-94AF-1B2E67F11899Q58480118-2A3EEDC2-A999-4C23-83B7-CFA0B0495525Q58996099-470B308D-F215-4619-AB3A-6F8DD2CF0B24Q59007201-BA9971C2-7623-4FCC-B76B-0B81E1CE8EEC
P2860
Formalization and verification of event-driven process chains
description
wetenschappelijk artikel
@nl
наукова стаття, опублікована в липні 1999
@uk
name
Formalization and verification of event-driven process chains
@en
Formalization and verification of event-driven process chains
@nl
type
label
Formalization and verification of event-driven process chains
@en
Formalization and verification of event-driven process chains
@nl
prefLabel
Formalization and verification of event-driven process chains
@en
Formalization and verification of event-driven process chains
@nl
P1476
Formalization and verification of event-driven process chains
@en
P2093
W.M.P. van der Aalst
P304
P356
10.1016/S0950-5849(99)00016-6
P577
1999-07-01T00:00:00Z