Formalizing the specification and execution of workflows using the event calculus

DOI10.1016/J.INS.2005.10.007MaRDI QIDQ2499063zbMATH OpenOpenAlexFDO

Authors Nihan Kesim Cicekli, Ilyas Cicekli

Publication date 14 August 2006

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11693/23745

zbMATH Keywords

event calculustemporal reasoningworkflow formalization

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• WorkflowFM: a logic-based framework for formal process specification and composition
• scientific article; zbMATH DE number 1926646
• scientific article; zbMATH DE number 1487732
• Specifying and verifying declarative fluent temporal logic properties of workflows
• Fundamentals of control flow in workflows

Cites work

• A logic-based calculus of events
• An abductive event calculus planner
• scientific article; zbMATH DE number 1106352 (Why is no real title available?)
• scientific article; zbMATH DE number 1747796 (Why is no real title available?)

Cited in

(3)

• Modeling and monitoring of E-commerce workflows
• WorkflowFM: a logic-based framework for formal process specification and composition
• A probabilistic approach to modeling and estimating the QoS of web-services-based workflows

This page was built for publication: Formalizing the specification and execution of workflows using the event calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2499063)