SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic
0 references·5 citing·20 second hop
Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic (2007)Testing Careflow Process Execution Confor…Data-aware conformance checking with SMT (2023)Data-aware conformance checki…Compliance Management in Business Processes (2018)Compliance Management in Busi…Abducing Compliance of Incomplete Event Logs (2016)Abducing Compliance of Incomp…YAWL in the Cloud: Supporting Process Sharing and Variability (2015)YAWL in the Cloud: Supporting…Declarative Modelling and Safe Distribution of Healthcare Workflows (2012)Declarative Modelling and Saf…A Declarative Approach for Flexible Business Processes Management (2006)Business Process Management Workshops (2008)Declarative workflows: Balancing between flexibility and support (2009)Flexible Process Notations for Cross-organizational Case Management Systems (2016)Interestingness of Traces in Declarative Process Mining: The Janus LTLp$$_f$$ Approach (2018)Declarative Choreographies and Liveness (2019)Discovering models of software processes from event-based data (1998)Workflow mining: A survey of issues and approaches (2003)Workflow mining: discovering process models from event logs (2004)Social-Based Semantic Framework for Cloud Resource Management in Business Processes (2016)Process Mining (2011)Process Mining: Discovery, Conformance and Enhancement of Business Processes (2011)Distributed Compliance Monitoring of Business Processes over MapReduce Architectures (2017)Generating synthetic positive and negative business process traces through abduction (2019)Conformance checking of processes based on monitoring real behavior (2007)Modeling Control Objectives for Business Process Compliance (2007)Semantics and analysis of business process models in BPMN (2008)Balanced multi-perspective checking of process conformance (2015)Scalable process discovery and conformance checking (2016)Multi-perspective conformance checking of uncertain process traces: An SMT-based approach (2023)
this work references cited by second hop

References

No references inside the corpus for this window.

Cited by

  • 2012Declarative Modelling and Safe Distribution of Healthcare Workflows21 cited
  • 2023Data-aware conformance checking with SMT18 cited
  • 2016Abducing Compliance of Incomplete Event Logs12 cited
  • 2018Compliance Management in Business Processes12 cited
  • 2015YAWL in the Cloud: Supporting Process Sharing and Variability10 cited

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