SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Compliance of Semantic Constraints - A Requirements Analysis for Process Management Systems
16 references·4 citing·32 second hop
Compliance of Semantic Constraints - A Requirements Analysis for Process Management Systems (2008)Compliance of Semantic Constraints - A Re…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 …Auditing Business Process Compliance (2007)Auditing Business Process Com…A static compliance-checking framework for business process models (2007)A static compliance-checking …IT support for healthcare processes – premises, challenges, perspectives (2006)IT support for healthcare pro…Compliance checking between business processes and business contracts (2006)Compliance checking between b…A Declarative Approach for Flexible Business Processes Management (2006)A Declarative Approach for Fl…Process Mining and Verification of Properties: An Approach Based on Temporal Logic (2005)Process Mining and Verificati…Formal foundation and conceptual design of dynamic adaptations in a workflow management system (2005)Formal foundation and concept…Specification and validation of process constraints for flexible workflows (2004)Specification and validation …Flexible Support of Team Processes by Adaptive Workflow Systems (2004)Flexible Support of Team Proc…Correctness criteria for dynamic changes in workflow systems––a survey (2004)Correctness criteria for dyna…AgentWork: a workflow system supporting rule-based workflow adaptation (2004)AgentWork: a workflow system …Inheritance of workflows: an approach to tackling problems related to change (2002)Inheritance of workflows: an …Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Workflow Verification: Findin…Workflow evolution (1998)Workflow evolutionProject Compliance with Enterprise Architecture (2012)Project Compliance with Enter…On the Formal Specification of Regulatory Compliance: A Comparative Analysis (2011)On the Formal Specification o…A Systematic Review of Compliance Measurement Based on Goals and Indicators (2011)A Systematic Review of Compli…Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach (2009)Resolution of Compliance Viol…Workflow mining: A survey of issues and approaches (2003)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)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)The ProM Framework: A New Era in Process Mining Tool Support (2005)Process Flexibility: A Survey of Contemporary Approaches (2008)Predictive Monitoring of Business Processes (2014)Autonomous agents for business process management (2000)Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows (2006)A Survey of Comparative Business Process Modeling Approaches (2007)The ADEPT project: a decade of research and development for robust and flexible process support (2009)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)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Verification of workflow nets (1997)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Diagnosing Workflow Processes using Woflan (2001)What Makes Process Models Understandable? (2007)Soundness of workflow nets: classification, decidability, and analysis (2010)The Knowledge-Creating Company (1995)The Knowledge-Creating Company (1998)Business process analysis in healthcare environments: A methodology based on process mining (2011)Knowledge-Intensive Processes: Characteristics, Requirements and Analysis of Contemporary Approaches (2014)Dynamic change within workflow systems (1995)Business Process Variability Modeling (2017)Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata (2011)A configurable reference modelling language (2005)
this work references cited by second hop

References

  • 2006IT support for healthcare processes – premises, challenges, perspectives521 cited
  • 2006A Declarative Approach for Flexible Business Processes Management501 cited
  • 2002Inheritance of workflows: an approach to tackling problems related to change491 cited
  • 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
  • 2007Modeling Control Objectives for Business Process Compliance430 cited
  • 2004Correctness criteria for dynamic changes in workflow systems––a survey421 cited
  • 1998Workflow evolution370 cited
  • 2004AgentWork: a workflow system supporting rule-based workflow adaptation311 cited
  • 2005Process Mining and Verification of Properties: An Approach Based on Temporal Logic293 cited
  • 2006Compliance checking between business processes and business contracts266 cited
  • 2004Specification and validation of process constraints for flexible workflows258 cited
  • 2007A static compliance-checking framework for business process models253 cited
  • 2007Auditing Business Process Compliance240 cited
  • 2004Flexible Support of Team Processes by Adaptive Workflow Systems185 cited
  • 2005Formal foundation and conceptual design of dynamic adaptations in a workflow management system

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

171 cited
  • 2007Integration and verification of semantic constraints in adaptive process management systems134 cited
  • Cited by

    • 2009Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach33 cited
    • 2011On the Formal Specification of Regulatory Compliance: A Comparative Analysis33 cited
    • 2012Project Compliance with Enterprise Architecture19 cited
    • 2011A Systematic Review of Compliance Measurement Based on Goals and Indicators18 cited