SStudyAcademic Library

Dashboard Shelves Open access My library Review

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

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways · Study

WorkFormal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

David Raymond Christiansen2011

Work2011

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

David Raymond Christiansen · Marco Carbone · Thomas Hildebrandt

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

No readable copy stored yet — this record is metadata only.

Business Process Modeling and Analysis Logic, programming, and type systems Model-Driven Software Engineering Techniques

Abstract

No abstract was published for this record.

Citations in this library

Stored only when both papers are in the corpus — 33 citations exist upstream.

References

2004YAWL: yet another workflow language 2008Semantics and analysis of business process models in BPMN 2007On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS 2008A Process Semantics for BPMN 2005On the semantics of EPCs: Resolving the vicious circle 2008Formal Analysis of BPMN Via a Translation into COWS 2007Semantics of Standard Process Models with OR-Joins 2010A New Semantics for the Inclusive Converging Gateway in Safe Processes

Cited by

2019A rewriting logic approach to resource allocation analysis in business process models 2013Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows 2017Checking Business Process Evolution 2017Verifying Timed BPMN Processes Using Maude 2016An Operational Semantics of BPMN Collaboration

Details

Year2011

Typeother

Published2011-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations33

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-19589-1_10

openalex_workW1617587652

Links

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