SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Formalizing Workflows Using the Event Calculus
5 references·2 citing·27 second hop
Formalizing Workflows Using the Event Calculus (2000)Formalizing Workflows Using the Event Cal…INCAs (1996)INCAsSemantical Considerations on Workflows: An Algebra for Intertask Dependencies (1995)Semantical Considerations on …Managing heterogeneous multi-system tasks to support enterprise-wide operations (1995)Managing heterogeneous multi-…Exotica/FMQM: A Persistent Message-Based Architecture for Distributed Workflow Management (1995)Exotica/FMQM: A Persistent Me…Exotica: A Research Perspective ob Workflow Management Systems. (1995)Exotica: A Research Perspecti…Infusing agility in business processes through an event-centric approach (2010)Infusing agility in business …Formalizing the specification and execution of workflows using the event calculus (2005)Formalizing the specification…Semistructured messages are surprisingly useful for computer-supported coordination (1987)Managing business processes as an information resource (1994)Apel: A Graphical Yet Executable Formalism for Process Modeling (1998)On Modeling and Verification of Temporal Constraints in Production Workflows (1999)Elastic Business Process Management: State of the art and open challenges for BPM in the cloud (2014)Supporting Business Transactions via Partial Backward Recovery In Workflow Management Systems (1995)Exotica/FMDC: A Workflow Management System for Mobile and Disconnected Clients (1996)Supporting State-Wide Immunisation Tracking Using Multi-Paradigm Workflow Technology (1996)Business process management with FlowMark (2002)SEAM: A state-entity-activity-model for a well-defined workflow development methodology (2002)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Conceptual modeling of workflows (1995)Exception Handling in Workflow Systems (2000)Workflow modeling for virtual processes: an order-preserving process-view approach (2002)Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows (1993)Logic-Based Approaches to Workflow Modeling and Verification (2004)Automatic workflow verification and generation (2005)Compliance of Semantic Constraints - A Requirements Analysis for Process Management Systems (2008)Simulation Modeling and Analysis. (1983)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Theory of Modeling and Simulation (2018)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)WebWork: METEOR2's Web-Based Workflow Management System (1998)Workflow Patterns (2003)Process reverse engineering for BPR: A form-based approach (1998)Efficient Distributed Workflow Management Based on Variable Server Assignments (2000)Cross-Organizational Transaction Support for E-Services in Virtual Enterprises (2003)
this work references cited by second hop

References

  • 1995Exotica/FMQM: A Persistent Message-Based Architecture for Distributed Workflow Management175 cited
  • 1995Managing heterogeneous multi-system tasks to support enterprise-wide operations174 cited
  • 1996INCAs70 cited
  • 1995Semantical Considerations on Workflows: An Algebra for Intertask Dependencies51 cited
  • 1995Exotica: A Research Perspective ob Workflow Management Systems.47 cited

Cited by

  • 2005Formalizing the specification and execution of workflows using the event calculus28 cited
  • 2010Infusing agility in business processes through an event-centric approach24 cited

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