SZodixStudyAcademic Library

Shelves Open access

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

Definition and Enactment of Instance-Spanning Process Constraints · Study

WorkDefinition and Enactment of Instance-Spanning Process Constraints

Maria Leitner2012

Work2012

Definition and Enactment of Instance-Spanning Process Constraints

Maria Leitner · Juergen Mangler · Stefanie Rinderle‐Ma

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

References

2003Workflow Patterns 1999The specification and enforcement of authorization constraints in workflow management systems 2005Process Mining and Verification of Properties: An Approach Based on Temporal Logic 2004Specification and validation of process constraints for flexible workflows 2011Monitoring Business Process Compliance Using Compliance Rule Graphs 2009Specification, Verification and Explanation of Violation for Data Aware Compliance Rules 2006Inter-instance authorization constraints for secure workflow management

Cited by

2019Discovering instance and process spanning constraints from process execution logs

Related works

Explore the map →

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

2013Towards Compliance of Cross-Organizational Processes and Their Changesother · 4 shared references 2010Beyond soundness: on the verification of semantic business process modelsarticle · 3 shared references 2016A visual language for modeling multiple perspectives of business process compliance rulesarticle · 3 shared references 2012Healthcare Process Support: Achievements, Challenges, Current Researcharticle · 3 shared references 2015Design-Time Compliance of Service Compositions in Dynamic Service Environmentsother · 3 shared references 2013Ensuring Compliance of Collaborative and Distributed Workflowsother · 3 shared references

Details

Year2012

Typeother

Published2012-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations26

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-35063-4_49

openalex_workW2103521747

Links

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