SStudyAcademic Library

Dashboard Shelves Open access My library Review

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Formalization and Verification of EPCs with OR-Joins Based on State and Context · Study

WorkFormalization and Verification of EPCs with OR-Joins Based on State and Context

Jan Mendling2007

OA

Workbronze2007

Formalization and Verification of EPCs with OR-Joins Based on State and Context

Jan Mendling · Wil M. P. van der Aalst

77 citations·0/0 files stored·Notes on numerical fluid mechanics and multidisciplinary design

No readable copy stored yet — this record is metadata only.

Business Process Modeling and Analysis Formal Methods in Verification Model-Driven Software Engineering Techniques

Abstract

No abstract was published for this record.

Citations in this library

Stored only when both papers are in the corpus — 77 citations exist upstream.

References

2004YAWL: yet another workflow language 2005The ProM Framework: A New Era in Process Mining Tool Support 1997Verification of workflow nets 1999Formalization and verification of event-driven process chains 1994Managing business processes as an information resource 2013On Structured Workflow Modelling 2002An Alternative Way to Analyze Workflow Graphs 2005On the semantics of EPCs: Resolving the vicious circle

Cited by

2014Formal Aspects of Enterprise Modeling Methods: A Comparison Framework 2008Diagnosing Differences between Business Process Models 2009Structuredness and its significance for correctness of process models 2009Empirical Studies in Process Model Verification 2009Process instantiation 2015The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages 2014Business Process Quality Management 2018Event-Driven Process Chain for Modeling and Verification of Business Requirements–A Systematic Literature Review

Details

Year2007

Typeother

Published2007-01-01

VenueNotes on numerical fluid mechanics and multidisciplinary design

ISSN-L1612-2909

Languageen

Citations77

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-72988-4_31

openalex_workW1538179534

Links

Imported from OpenAlex (CC0) — nothing here is generated.