SZodixStudyAcademic Library

Dashboard Shelves Open access My library Inbox Notes Write Learn Alerts

More

Ask your library Notifications Quick cite Review

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

Verification problems in conceptual workflow specifications · Study

ArticleShelves

ArticleVerification problems in conceptual workflow specifications

Arthur H. M. ter Hofstede1998

Article1998

Verification problems in conceptual workflow specifications

Arthur H. M. ter Hofstede · Maria E. Orłowska

91 citations·0/0 files stored·Data & Knowledge Engineering

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

References

1995An overview of workflow management: From process modeling to workflow automation infrastructure 1995Managing heterogeneous multi-system tasks to support enterprise-wide operations 1995Conceptual modeling of workflows 1993Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows 1996CORBA-Based Run-Time Architectures for Workflow Management Systems

Cited by

2002Workflow View Based E-Contracts in a Cross-Organizational E-Services Environment 2003A novel graph reduction algorithm to identify structural conflicts 1999Generic workflow models: how to handle dynamic change and capture management information?2003Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?2007Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants 2003Dealing with forward and backward jumps in workflow management systems 2006Dynamic workflow change in PDM systems 2001View-Based Contracts in an E-Service Cross-Organizational Workflow Environment

Related works

Explore the map →

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

1996Verification problems in conceptual workflow specificationsother · 5 shared references 1996Supporting State-Wide Immunisation Tracking Using Multi-Paradigm Workflow Technologyarticle · 4 shared references 2002Workflow recoveryother · 3 shared references 1996Deriving active rules for workflow enactmentother · 3 shared references 1997On Correctness Issues in Conceptual Modelling of Workflows.other · 3 shared references 1999Formalization of Workflows and Correctness Issues in the Presence of Concurrencyarticle · 3 shared references

Details

Year1998

Typearticle

Published1998-01-01

VenueData & Knowledge Engineering

ISSN-L0169-023X

Languageen

Citations91

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1016/s0169-023x(97)00032-3

openalex_workW2019987175

Links

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