SZodixStudyAcademic Library

Shelves Open access

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

A Survey of Formal Verification for Business Process Modeling · Study

WorkA Survey of Formal Verification for Business Process Modeling

Shoichi Morimoto2008

Work2008

A Survey of Formal Verification for Business Process Modeling

Shoichi Morimoto

113 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 Logic, programming, and type systems Formal Methods in Verification

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

References

1978The New Science of Management Decision 1960The new science of management decision.2005Transforming BPEL to Petri Nets

Cited by

2017Formal verification of complex business processes based on high-level Petri nets 2011Formal verification of business processes with temporal and resource constraints 2018A formal approach to modeling and verification of business process collaborations 2021A formal approach for the analysis of BPMN collaboration models 2013Automated runtime repair of business processes 2020Correctness checking for BPMN collaborations with sub-processes 2017BProVe: A formal verification framework for business process models 2019Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions

Related works

Explore the map →

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

1989Social Cognitive Theory of Organizational Managementarticle · 2 shared references 2000Soft systems methodology: a thirty year retrospectivearticle · 2 shared references 2001Incumbent's advantage through exploiting complementary assets via interfirm cooperationarticle · 2 shared references 1983The role of cognitive engagement in classroom learning and motivationarticle · 2 shared references 1992Group decision support with the Analytic Hierarchy Processarticle · 2 shared references 1985Alternative Measures of System Effectiveness: Associations and Implicationsarticle · 2 shared references

Details

Year2008

Typeother

Published2008-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations113

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-540-69387-1_58

openalex_workW1565807956

Links

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