SZodixStudyAcademic Library

Shelves Open access

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

Developer-friendly verification of process-based systems · Study

ArticleShelves

ArticleDeveloper-friendly verification of process-based systems

Elke Pulvermueller2010

Article2010

Developer-friendly verification of process-based systems

Elke Pulvermueller · Sven Feja · Andreas Speck

20 citations·0/0 files stored·Knowledge-Based 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 — 20 citations exist upstream.

References

1999Formalization and verification of event-driven process chains 2009Instantaneous Soundness Checking of Industrial Business Process Models 2008A Survey of Formal Verification for Business Process Modeling 2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants 2003From business process model to consistent implementation: a case for formal verification methods 2007Verification of Business Process Quality Constraints Based on Visual Process Patterns 2008Proceedings of the 6th International Conference on Business Process Management (BPM'2008)2008Model Checking with Graphical Validation Rules

Related works

Explore the map →

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

2013Using model checking to control the structural errors in BPMN modelsother · 4 shared references 2020Correctness checking for BPMN collaborations with sub-processesarticle · 3 shared references 2024Visualization of Business Process Modeling Anti Patternsarticle · 3 shared references 2011Visual suggestions for improvements in business process diagramsarticle · 3 shared references 2010Business process modeling with continuous validationarticle · 2 shared references 2013Memory-efficient alignment of observed and modeled behaviorarticle · 2 shared references

Details

Year2010

Typearticle

Published2010-03-22

VenueKnowledge-Based Systems

ISSN-L0950-7051

Languageen

Citations20

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1016/j.knosys.2010.03.005

openalex_workW1993937210

Links

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