SZodixStudyAcademic Library

Shelves Open access

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

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

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

Flavio Corradini2018

Work2018

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

Flavio Corradini · Chiara Muzi · Barbara Re · Lorenzo Rossi · Francesco Tiezzi

21 citations·0/0 files stored·Lecture notes in computer science

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 Model-Driven Software Engineering Techniques Service-Oriented Architecture and Web Services

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

References

2004YAWL: yet another workflow language 1997Business Process Change: A Study of Methodologies, Techniques, and Tools*2008Semantics and analysis of business process models in BPMN 2011Process Management: A Guide for the Design of Business Processes 2008A Process Semantics for BPMN 2013Modeling and Enacting Complex Data Dependencies in Business Processes 2003Process Management 2017Formal verification of complex business processes based on high-level Petri nets

Related works

Explore the map →

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

2019Formalising and animating multiple instances in BPMN collaborationsarticle · 11 shared references 2017BProVe: A formal verification framework for business process modelsother · 6 shared references 2020Correctness checking for BPMN collaborations with sub-processesarticle · 5 shared references 2018Transformation of Business Process Model and Notation models onto Petri nets and their analysisarticle · 5 shared references 2016An Operational Semantics of BPMN Collaborationother · 5 shared references 2018A formal approach to modeling and verification of business process collaborationsarticle · 4 shared references

Details

Year2018

Typeother

Published2018-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations21

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-319-98648-7_6

openalex_workW2887946869

Links

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