SZodixStudyAcademic Library

Shelves Open access

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

On compliance checking for clausal constraints in annotated process models · Study

ArticleShelves

ArticleOn compliance checking for clausal constraints in annotated process models

Jörg Hoffmann2009

Article2009

On compliance checking for clausal constraints in annotated process models

Jörg Hoffmann · Ingo M. Weber · Guido Governatori A

64 citations·0/0 files stored·Information Systems Frontiers

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 Software Testing and Debugging Techniques 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 — 64 citations exist upstream.

References

2002Workflow Management 1999Formalization and verification of event-driven process chains 1986The British Nationality Act as a logic program 2007Modeling Control Objectives for Business Process Compliance 2005Process Mining and Verification of Properties: An Approach Based on Temporal Logic 2007Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition 2008Efficient Compliance Checking Using BPMN-Q and Temporal Logic 2006Compliance checking between business processes and business contracts

Cited by

2015Understanding governance, risk and compliance information systems (GRC IS): The experts view 2013Declarative business process modelling: principles and modelling languages 2014Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector 2016State-of-the-art of Business Process Compliance Approaches: A Survey.2014Business Process Regulatory Compliance is Hard

Related works

Explore the map →

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

2014How to guarantee compliance between workflows and product lifecycles?article · 8 shared references 2010Beyond soundness: on the verification of semantic business process modelsarticle · 7 shared references 2016A visual language for modeling multiple perspectives of business process compliance rulesarticle · 7 shared references 2013Towards Compliance of Cross-Organizational Processes and Their Changesother · 7 shared references 2013Ensuring Compliance of Collaborative and Distributed Workflowsother · 7 shared references 2018Are we done with business process compliance: state of the art and challenges aheadarticle · 6 shared references

Details

Year2009

Typearticle

Published2009-05-22

VenueInformation Systems Frontiers

ISSN-L1387-3326

Languageen

Citations64

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/s10796-009-9179-7

openalex_workW2032883016

Links

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

2011

CoReL: Policy-Based and Model-Driven Regulatory Compliance Management

2014STATE-OF-THE-ART OF BUSINESS PROCESS COMPLIANCE APPROACHES

2014How to guarantee compliance between workflows and product lifecycles?