scientific article; zbMATH DE number 1747796

DOI10.1023/A:1014048800604MaRDI QIDQ4530192zbMATH OpenFDO

Authors Claudio Bettini, Sushil Jajodia, Xiaoyang Sean Wang

Publication date 30 May 2002

Published in Distributed and Parallel Databases (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1014048800604

zbMATH Keywords

autonomous agentsworkflow system

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Temporal conflict in workflow schemas
• Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis
• scientific article; zbMATH DE number 2006600
• scientific article; zbMATH DE number 2112344
• Program Verification Techniques Based on the Abstract Interpretation Theory

Cited in

(13)

• Solving multi-granularity temporal constraint networks
• Checking dynamic consistency of conditional hyper temporal networks via mean payoff games. Hardness and (pseudo) singly-exponential time algorithm
• Hyper temporal networks. A tractable generalization of simple temporal networks and its relation to mean payoff games
• Determining temporal agreements in cross-organizational business processes
• Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks
• Formalizing the specification and execution of workflows using the event calculus
• Temporal conflict in workflow schemas
• Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis
• scientific article; zbMATH DE number 2006600 (Why is no real title available?)
• scientific article; zbMATH DE number 2112344 (Why is no real title available?)
• GSM+T: a timed artifact-centric process model
• scientific article; zbMATH DE number 5263442 (Why is no real title available?)
• Automated Technology for Verification and Analysis

This page was built for publication:

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