SStudyAcademic Library

Dashboard Shelves Open access My library Review

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

A Method for Verifiable and Validatable Business Process Modeling · Study

WorkA Method for Verifiable and Validatable Business Process Modeling

Egon Börger2008

Work2008

A Method for Verifiable and Validatable Business Process Modeling

Egon Börger · Bernhard Thalheim

52 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 Formal Methods in Verification 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 — 52 citations exist upstream.

References

2003Workflow Patterns 2006Workflow control-flow patterns : a revised view 2006On the Suitability of BPMN for Business Process Modelling 2004Process Modeling Notations and Workflow Patterns 2004Workflow resource patterns 2006From BPMN Process Models to BPEL Web Services 2004Workflow data patterns 2008A Process Semantics for BPMN

Cited by

2018A formal approach to modeling and verification of business process collaborations 2014A Rigorous Semantics for BPMN 2.0 Process Diagrams 2020Correctness checking for BPMN collaborations with sub-processes 2008Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach 2017BProVe: A formal verification framework for business process models 2009On defining the behavior of OR-joins in business process models 2009On Visualizing and Modelling BPEL with BPMN 2011BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics

Details

Year2008

Typeother

Published2008-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations52

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-89762-0_3

openalex_workW1607535781

Links

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