In this talk we would like to present our recent results about two research directions involving Temporal Constraint Networks and Temporal Workflow Management.
In particular, in the first part of the talk, we present our Conditional Simple Temporal Network with Uncertainty model that allows one to represent and verify temporal networks where some constraints cannot be controlled and some others may be considered according to given (runtime) conditions.
In the second part, we consider the problem of inconsistency in simple temporal network. We present a new very efficient approach to solve possible inconsistencies in simple temporal networks, allowing a designer to fix them without iterative procedures.