The paper presents a novel compilation scheme for temporal integrity constraints and deductive rules expressed in an interval-based rst-order temporal logic. Compilation builds a dependence graph with simpliied forms of the constraints and rules. This permits the compile-time simpliication of the formulae that have to be veriied at run-time, as well as the precomputation of potential implicit u...

Temporal workflows are becoming increasingly important in many real-world applications. In such workflows, activity durations and times are specified and it is necessary to ensure both at design time and run time that temporal constraints are not violated. However, in real-time workflows, such as in a medical process or emergency situations, some violations are unavoidable. Hence, a more nuance...

Temporal logics have gained prominence in computer science as a property specification language for reactive systems. There is even an IEEE standard temporal logic supported by a consortium of Electronic Design Tool developers. Such systems maintain ongoing interaction between the environment and the system and their specification requires formulating constraints on the sequence of steps perfor...

We extend the framework of simple temporal problems studied originally by Dechter, Meiri and Pearl to consider constraints of the form x1 − y1 6 r1 ∨ · · · ∨ xn − yn 6 rn, where x1, . . . , xn, y1, . . . , yn are variables ranging over the real numbers, r1, . . . , rn are real constants, and n> 1. This is a wide class of temporal constraints that can be used to model a variety of problems in te...

Computational problems from many different application areas can be seen as temporal constraint-based problems. For example, scheduling, planning, computational linguistics and database design applications can all be seen in this way. In this paper we present a temporal constraint solver based on the Java Cream constraint library for managing problems involving numeric and symbolic temporal inf...

We present a new method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. Such constraints are otherwise inexpressible using standard qualitative reasoning techniques. Trajectory constraints can be used to restrict the simulation to a region of the state space and to inject discontinuities. This capability can be used to f...

Temporal constraints are part of the specification of many complex application frameworks including planning, scheduling, real-time systems, workflow and cooperative systems. This paper investigates the problem of converting among quantitative temporal constraints expressed in terms of different time granularities. An expressive formal model for time granularities is assumed including common gr...

Design and implementation of motion control applications include the mapping of control design to real-time system implementation. Important parameters from control design include deviation from nominal period time of an activity, end-to-end timing constraints, temporal correlation between different sampling tasks, and constraints on temporal variations in output. These parameters should also b...

Time management is a key feature needed in any query language for web and semistructured data. However, only recently this has been addressed by the Semantic Web community, through the study of temporal extensions to RDF (Resource Description Framework). In this paper we show that the ability of the RDF data model of handling unknown resources by means of blank nodes, naturally yields a rich fr...

UML class diagrams are widely used to model the static structure of object-oriented software systems. The textual language OCL, which is part of the UML, is used for formulating constraints that can not be modeled by the diagrams. In this paper, we extend OCL with elements of linear temporal logic. With this extended OCL, which we call TOCL, we want to give software engineers a user-friendly me...