SZodixStudyAcademic Library

Shelves Open access

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

Using DEMO to analyse the consistency of business process models · Study

ChapterShelves

ChapterUsing DEMO to analyse the consistency of business process models

Artur Caetano2012

Chapter2012

Using DEMO to analyse the consistency of business process models

Artur Caetano · Aurélio Assis · Jose M. Tribolet

9 citations·0/0 files stored·CRC Press eBooks

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

References

2008Semantics and analysis of business process models in BPMN 2006How Good is BPMN Really? Insights from Theory and Practice 2007Automatic business process analysis and simulation based on DEMO 2009Towards a fast enterprise ontology based method for post merger integration

Related works

Explore the map →

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

2012Using Business Transactions to Analyse the Consistency of Business Process Modelsother · 4 shared references 2009Enhancing the Formal Foundations of BPMN by Enterprise Ontologyother · 3 shared references 2021Process modeling for smart factories: using science mapping to understand the strategic themes, main challenges and future trendsarticle · 2 shared references 2015Testing a Selection of BPMN Tools for Their Support of Modelling Guidelinesother · 2 shared references 2019Application of formal methods to modelling and analysis aspects of business process reengineeringarticle · 2 shared references 2013Towards Automated Support for Case Management Processes with Declarative Configurable Specificationsother · 2 shared references

Details

Year2012

Typechapter

Published2012-06-15

VenueCRC Press eBooks

Languageen

Citations9

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1201/b12295-17

openalex_workW2479873297

Links

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