SZodixStudyAcademic Library

Shelves Open access

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

A visual token-based formalization of BPMN 2.0 based on in-place transformations · Study

ArticleShelves

ArticleA visual token-based formalization of BPMN 2.0 based on in-place transformations

Pieter M. E. Van Gorp2012

Article2012

A visual token-based formalization of BPMN 2.0 based on in-place transformations

Pieter M. E. Van Gorp · Remco Dijkman

44 citations·0/0 files stored·Information and Software Technology

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 Logic, programming, and type systems 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 — 44 citations exist upstream.

References

2003Workflow Patterns 1997Verification of workflow nets 2008Semantics and analysis of business process models in BPMN 2008A Process Semantics for BPMN 2009Formalisations and applications of BPMN 2007Transformation of BPMN Models for Behaviour Analysis 2008Formal Analysis of BPMN Via a Translation into COWS

Cited by

2018Transformation of Business Process Model and Notation models onto Petri nets and their analysis 2017BProVe: A formal verification framework for business process models 2014BPMN Formalization and Verification using Maude 2015BPMN Conformance in Open Source Engines 2017Aligning Event Logs to Task-Time Matrix Clinical Pathways in BPMN for Variance Analysis 2019Formalising and animating multiple instances in BPMN collaborations 2016An Operational Semantics of BPMN Collaboration 2018

Related works

Explore the map →

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

2010BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rulesother · 6 shared references 2018A formal approach to modeling and verification of business process collaborationsarticle · 4 shared references 2020Correctness checking for BPMN collaborations with sub-processesarticle · 4 shared references 2018Checking business process evolutionarticle · 4 shared references 2017BProVe: A formal verification framework for business process modelsother · 4 shared references 2014BPMN Formalization and Verification using Maudeother · 4 shared references

Details

Year2012

Typearticle

Published2012-09-15

VenueInformation and Software Technology

ISSN-L0950-5849

Languageen

Citations44

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1016/j.infsof.2012.08.014

openalex_workW2104565870

Links

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

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support