SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Managing Decision Tasks and Events in Time-Aware Business Process Models
13 references·0 citing·45 second hop
Managing Decision Tasks and Events in Time-Aware Business Process Models (2018)Managing Decision Tasks and Events in Tim…Managing time-awareness in modularized processes (2018)Managing time-awareness in mo…Verifying Timed BPMN Processes Using Maude (2017)Verifying Timed BPMN Processe…Soundness of Decision-Aware Business Processes (2017)Soundness of Decision-Aware B…Controlled violation of temporal process constraints – Models, algorithms and results (2016)Controlled violation of tempo…Process time patterns: A formal foundation (2015)Process time patterns: A form…Managing Controlled Violation of Temporal Process Constraints (2015)Managing Controlled Violation…Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways (2014)Representing Business Process…Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes (2014)Enhancing Formal Specificatio…Time Constraints in Workflow Systems (2013)Time Constraints in Workflow …PHILharmonicFlows: towards a framework for object‐aware process management (2011)PHILharmonicFlows: towards a …Formal verification of business processes with temporal and resource constraints (2011)Formal verification of busine…Unraveling Unstructured Process Models (2010)Unraveling Unstructured Proce…Controllability in Temporal Conceptual Workflow Schemata (2009)Controllability in Temporal C…Quality of service for workflows and web service processes (2004)The refined process structure tree (2009)On Structured Workflow Modelling (2013)Seamless Design of Decision-Intensive Care Pathways (2016)Understanding Modeling Requirements of Unstructured Business Processes (2017)A modular approach to the specification and management of time duration constraints in BPMN (2019)An Alternative Way to Analyze Workflow Graphs (2002)Design and Implementation of the YAWL System (2004)BUSINESS PROCESS MODEL ABSTRACTION BASED ON SYNTHESIS FROM WELL-STRUCTURED BEHAVIORAL PROFILES (2012)The temporal perspective in business process modeling: a survey and research challenges (2014)Workflow Management: Models, Methods, and Systems (2001)Case handling: a new paradigm for business process support (2004)Business Process Management : Concepts, Languages, Architectures (2007)On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles (2012)Modeling and Enacting Complex Data Dependencies in Business Processes (2013)Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes (2016)IT support for healthcare processes – premises, challenges, perspectives (2006)The State of Business Process Management (2013)A dynamic task assignment approach based on individual worklists for minimizing the cycle time of business processes (2015)A Methodological Framework for the Integrated Design of Decision-Intensive Care Pathways—an Application to the Management of COPD Patients (2017)A Process Semantics for BPMN (2008)A Survey of Formal Verification for Business Process Modeling (2008)Semantics and analysis of business process models in BPMN (2008)Toward a Time-centric modeling of Business Processes in BPMN 2.0 (2013)A metamodel to integrate business processes time perspective in BPMN 2.0 (2016)Structuring Acyclic Process Models (2010)Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes (2011)Formal Verification of Time-Aware Cloud Resource Allocation in Business Process (2016)Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes (2018)Workflow Patterns (2003)Design science in information systems research (2004)Design Science in Information Systems Research1 (2004)A visual language for modeling multiple perspectives of business process compliance rules (2016)Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling (2017)Replaying history on process models for conformance checking and performance analysis (2012)Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT (2018)Resource provisioning strategies for BPMN processes: Specification and analysis using Maude (2021)Verification of workflow nets (1997)Soundness of workflow nets: classification, decidability, and analysis (2010)Challenges in Refactoring Processes to Include Decision Modelling (2018)Achieving Business Process Improvement via Ubiquitous Decision-Aware Business Processes (2019)Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions (2019)Performance modeling and analysis of workflow (2004)Deadline-based escalation in process-aware information systems (2007)Elastic Business Process Management: State of the art and open challenges for BPM in the cloud (2014)
this work references cited by second hop

References

  • 2011PHILharmonicFlows: towards a framework for object‐aware process management238 cited
  • 2013Time Constraints in Workflow Systems202 cited
  • 2009Controllability in Temporal Conceptual Workflow Schemata61 cited
  • 2011Formal verification of business processes with temporal and resource constraints58 cited
  • 2014Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways52 cited
  • 2015Process time patterns: A formal foundation51 cited
  • 2017Soundness of Decision-Aware Business Processes38 cited
  • 2010Unraveling Unstructured Process Models30 cited
  • 2014Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes29 cited
  • 2017Verifying Timed BPMN Processes Using Maude24 cited
  • 2016Controlled violation of temporal process constraints – Models, algorithms and results20 cited
  • 2015Managing Controlled Violation of Temporal Process Constraints19 cited
  • 2018Managing time-awareness in modularized processes16 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