The Object Constraint Language is widely used to express precise and unambiguous constraints on models and object oriented programs. However, the notion of temporal constraints, controlling the system behavior over time, has not been natively supported. Such temporal constraints are necessary to model reactive and real-time systems. Although there are works addressing temporal extensions of OCL...

The Object Constraint Language (OCL) is widely used to express precise and unambiguous constraints on models and object oriented programs. However, the notion of temporal constraints, controlling the system behavior over time, has not been natively supported. Such temporal constraints are necessary to model reactive and real-time systems. Although there are works addressing temporal extensions ...

Among the different approaches to the bioelectromagnetic inverse problem, the currentdensity reconstruction methods (CDR) provide the most general solutions. Since the inverse problem does not have a unique solution, model assumptions have to be taken into account. Multi-channel measurements contain not only spatial, but also temporal information about the sources, so a naturally extension to e...

Conditional Temporal Problems (CTPs) can deal simultaneously with uncertainty and temporal constraints, allowing for the representation of temporal and conditional plans. CTPPs generalize CTPs by adding preferences to the temporal constraints and by allowing fuzzy thresholds for the occurrence of some events. Here we focus on dynamic consistency of CTPPs, the most useful notion of consistency i...

This paper describes a project that added temporal information and constraints to SRI International’s SIPE–2 hierarchical, nonlinear planning system. The goal was to incorporate the ability to represent temporal relationships between actions within a plan, and time window constraints on individual actions, and to maintain these constraints during the planning process. The extensions described i...

This paper presents an exact model for the resource investment problem with generalized precedence relations in which the minimum or maximum time lags between a pair of activities may vary depending on the chosen modes. All resources considered are renewable. The objective is to determine a mode and a start time for each activity so that all constraints are obeyed and the resource investment co...