SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
5 references·0 citing·24 second hop
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes (2010)Abductive Logic Programming as an Effecti…Verification from Declarative Specifications Using Logic Programming (2008)Verification from Declarative…Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Efficient Compliance Checking…Proposal of Business Process and Rules Modeling with the XTT Method (2007)Proposal of Business Process …DECLARE: Full Support for Loosely-Structured Processes (2007)DECLARE: Full Support for Loo…A Declarative Approach for Flexible Business Processes Management (2006)A Declarative Approach for Fl…Business Process Management Workshops (2008)Ontology-Based Querying of Composite Services (2012)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)Modeling Control Objectives for Business Process Compliance (2007)Process Flexibility: A Survey of Contemporary Approaches (2008)Predictive Monitoring of Business Processes (2014)Analyzing process models using graph reduction techniques (2000)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)Business Process Management: A Survey (2003)Business processes—attempts to find a definition (2003)Principles of the Business Rule Approach (2003)Proposal of square metrics for measuring Business Process Model complexity (2012)Proposal of an Inference Engine Architecture for Business Rules and Processes (2013)Square Complexity Metrics for Business Process Models (2013)Workflow mining: A survey of issues and approaches (2003)Workflow Patterns (2003)Declarative workflows: Balancing between flexibility and support (2009)Time prediction based on process mining (2010)Automated Discovery of Process Models from Event Logs: Review and Benchmark (2018)
this work references cited by second hop

References

  • 2007DECLARE: Full Support for Loosely-Structured Processes583 cited
  • 2006A Declarative Approach for Flexible Business Processes Management501 cited
  • 2008Efficient Compliance Checking Using BPMN-Q and Temporal Logic268 cited
  • 2008Verification from Declarative Specifications Using Logic Programming31 cited
  • 2007Proposal of Business Process and Rules Modeling with the XTT Method27 cited

Cited by

No citing works inside the corpus for this window.

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