SZodixStudyAcademic Library

Shelves Open access

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

A practical data-flow verification scheme for business processes · Study

ArticleShelves

ArticleA practical data-flow verification scheme for business processes

Jutta A. Mulle2018

OA

Articlegreen2018

A practical data-flow verification scheme for business processes

Jutta A. Mulle · Christine Tex · Klemens Böhm

13 citations·0/0 files stored·Information Systems

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 — 13 citations exist upstream.

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2008Semantics and analysis of business process models in BPMN 2009The refined process structure tree 2005Transforming BPEL to Petri Nets 2006Formulating the Data-Flow Perspective for Business Process Management 2009Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows 2009Petri Net Transformations for Business Processes – A Survey 2002An Alternative Way to Analyze Workflow Graphs

Related works

Explore the map →

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

2014A new verification technique for large processes based on identification of relevant tasksarticle · 11 shared references 2014Detecting Data-Flow Errors in BPMN 2.0book · 9 shared references 2013Querying process models by behavior inclusionarticle · 6 shared references 2014Supporting Process Model Validation through Natural Language Generationarticle · 5 shared references 2010Efficient Computation of Causal Behavioural Profiles Using Structural Decompositionother · 5 shared references 2016Reduction Rules for Colored Workflow Netsother · 5 shared references

Details

Year2018

Typearticle

Published2018-12-26

VenueInformation Systems

ISSN-L0306-4379

Languageen

Citations13

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1016/j.is.2018.12.002

openalex_workW2622448295

Links

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