SZodixStudyAcademic Library

Shelves Open access

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

Analyzing BPEL4Chor: Verification and Participant Synthesis · Study

WorkAnalyzing BPEL4Chor: Verification and Participant Synthesis

Niels Lohmann2008

Work2008

Analyzing BPEL4Chor: Verification and Participant Synthesis

Niels Lohmann · Oliver Kopp · Frank Leymann · Wolfgang Reisig

48 citations·0/0 files stored·Springer 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 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 — 48 citations exist upstream.

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2006Analyzing Interacting BPEL Processes 2007Analyzing interacting WS-BPEL processes using flexible model generation 2006Investigations on Soundness Regarding Lazy Activities

Cited by

2009Comparing and evaluating Petri net semantics for BPEL 2008Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes 2010How to Implement a Theory of Correctness in the Area of Business Processes and Services

Related works

Explore the map →

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

2009Comparing and evaluating Petri net semantics for BPELarticle · 3 shared references 2009Process-Aware Information Systems: Lessons to Be Learned from Process Miningother · 2 shared references 2006Translating unstructured workflow processes to readable BPEL: Theory and implementationarticle · 2 shared references 2008Multiparty Contracts: Agreeing and Implementing Interorganizational Processesarticle · 2 shared references 2007Analyzing interacting WS-BPEL processes using flexible model generationarticle · 2 shared references 2009Process instantiationarticle · 2 shared references

Details

Year2008

Typeother

Published2008-04-12

VenueSpringer eBooks

Languageen

Citations48

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-79230-7_4

openalex_workW1556194431

Links

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