SZodixStudyAcademic Library
ShelvesOpen 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
13 references·9 citing·42 second hop
On compliance checking for clausal constraints in annotated process models (2009)On compliance checking for clausal constr…Detecting Regulatory Compliance for Business Process Models through Semantic Annotations (2009)Detecting Regulatory Complian…Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Efficient Compliance Checking…Modeling Control Objectives for Business Process Compliance (2007)Modeling Control Objectives f…Integration and verification of semantic constraints in adaptive process management systems (2007)Integration and verification …Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition (2007)Faster and More Focused Contr…Auditing Business Process Compliance (2007)Auditing Business Process Com…A static compliance-checking framework for business process models (2007)A static compliance-checking …Compliance checking between business processes and business contracts (2006)Compliance checking between b…Process Mining and Verification of Properties: An Approach Based on Temporal Logic (2005)Process Mining and Verificati…Workflow Management (2002)Workflow ManagementInterorganizational workflows: An approach based on message sequence charts and petri nets (1999)Interorganizational workflows…Formalization and verification of event-driven process chains (1999)Formalization and verificatio…The British Nationality Act as a logic program (1986)The British Nationality Act a…State-of-the-art of Business Process Compliance Approaches: A Survey. (2016)State-of-the-art of Business …Understanding governance, risk and compliance information systems (GRC IS): The experts view (2015)Understanding governance, ris…Information systems frontiers: Keyword analysis and classification (2015)Information systems frontiers…STATE-OF-THE-ART OF BUSINESS PROCESS COMPLIANCE APPROACHES (2014)STATE-OF-THE-ART OF BUSINESS …How to guarantee compliance between workflows and product lifecycles? (2014)How to guarantee compliance b…Business Process Regulatory Compliance is Hard (2014)Business Process Regulatory C…Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector (2014)Business process compliance c…Declarative business process modelling: principles and modelling languages (2013)Declarative business process …CoReL: Policy-Based and Model-Driven Regulatory Compliance Management (2011)CoReL: Policy-Based and Model…Business Process Modeling Notation (BPMN), Version 1.0 (2004)Economic consequences of the Sarbanes–Oxley Act of 2002 (2007)On enabling integrated process compliance with semantic constraints in process management systems (2009)The Journey to Business Process Compliance (2009)Are we done with business process compliance: state of the art and challenges ahead (2018)Analyzing process models using graph reduction techniques (2000)Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Diagnosing Workflow Processes using Woflan (2001)A Study Into the Factors That Influence the Understandability of Business Process Models (2010)Structuring Acyclic Process Models (2010)Scalable process discovery and conformance checking (2016)Workflow mining: A survey of issues and approaches (2003)A Declarative Approach for Flexible Business Processes Management (2006)Business Process Management Workshops (2008)Business Process Modeling- A Comparative Analysis (2009)Enabling Flexibility in Process-Aware Information Systems (2012)On the role of context in business process management (2015)Semantics and analysis of business process models in BPMN (2008)APROMORE: An advanced process model repository (2010)Efficient Consistency Measurement Based on Behavioral Profiles of Process Models (2010)Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata (2011)Production Workflow - Concepts and Techniques (2000)Workflow Patterns (2003)Essential Business Process Modeling (2005)Balanced multi-perspective checking of process conformance (2015)HER MAJESTY'S STATIONERY OFFICE (1954)A language for legal Discourse I. basic features (1989)A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law (2012)Law and logic: A review from an argumentation perspective (2015)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Verification of workflow nets (1997)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)A configurable reference modelling language (2005)Business process management (BPM) standards: a survey (2009)Business process modeling languages (2010)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Workflow mining: discovering process models from event logs (2004)Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008)A general process mining framework for correlating, predicting and clustering dynamic behavior based on event logs (2015)Process mining: a research agenda (2003)Design Science in Information Systems Research1 (2004)Scientific workflow management and the Kepler system (2005)
this work references cited by second hop

References

  • 2002Workflow Management744 cited
  • 1999Formalization and verification of event-driven process chains565 cited
  • 1986The British Nationality Act as a logic program563 cited
  • 2007Modeling Control Objectives for Business Process Compliance430 cited
  • 2005Process Mining and Verification of Properties: An Approach Based on Temporal Logic293 cited
  • 2007Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition276 cited
  • 2008Efficient Compliance Checking Using BPMN-Q and Temporal Logic268 cited
  • 2006Compliance checking between business processes and business contracts266 cited
  • 2007A static compliance-checking framework for business process models253 cited
  • 2007Auditing Business Process Compliance240 cited
  • 1999Interorganizational workflows: An approach based on message sequence charts and petri nets232 cited
  • 2007Integration and verification of semantic constraints in adaptive process management systems134 cited
  • 2009Detecting Regulatory Compliance for Business Process Models through Semantic Annotations106 cited

Cited by

  • 2015Understanding governance, risk and compliance information systems (GRC IS): The experts view61 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

2013
Declarative business process modelling: principles and modelling languages
60 cited
  • 2014Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector39 cited
  • 2016State-of-the-art of Business Process Compliance Approaches: A Survey.27 cited
  • 2014Business Process Regulatory Compliance is Hard26 cited
  • 2011CoReL: Policy-Based and Model-Driven Regulatory Compliance Management24 cited
  • 2014STATE-OF-THE-ART OF BUSINESS PROCESS COMPLIANCE APPROACHES21 cited
  • 2014How to guarantee compliance between workflows and product lifecycles?19 cited
  • 2015Information systems frontiers: Keyword analysis and classification13 cited