SZodixStudyAcademic Library

Shelves Open access

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

Business Process Modelling with Continuous Validation · Study

WorkBusiness Process Modelling with Continuous Validation

Stefan Kühne2009

OA

Workgreen2009

Business Process Modelling with Continuous Validation

Stefan Kühne · Heiko Kern · Volker Gruhn · Ralf Laue

23 citations·0/0 files stored·Lecture notes in business information processing

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

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

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

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

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

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 1999Formalization and verification of event-driven process chains 2000Analyzing process models using graph reduction techniques 2007Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition 2009Business process verification – finally a reality!2005Verification of EPCs: Using Reduction Rules and Petri Nets 2007Detection and Prediction of Errors in EPC Business Process Models.2004On the Semantics of EPCs: A Framework for Resolving the Vicious Circle

Cited by

2024Visualization of Business Process Modeling Anti Patterns 2011Visual suggestions for improvements in business process diagrams 2011Object-Sensitive Action Patterns in Process Model Repositories 2010A heuristic method for detecting problems in business process models

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2010Business process modeling with continuous validationarticle · 8 shared references 2010A heuristic method for detecting problems in business process modelsarticle · 5 shared references 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariantsarticle · 4 shared references 2018Business process management – at the crossroadsarticle · 4 shared references 2007Formalization and Verification of EPCs with OR-Joins Based on State and Contextother · 4 shared references 2006What business process modelers can learn from programmersarticle · 4 shared references

Details

Year2009

Typeother

Published2009-01-01

VenueLecture notes in business information processing

ISSN-L1865-1348

Languageen

Citations23

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-00328-8_21

openalex_workW2663995154

Links

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