Web service composition is a new way for implementing business processes. In particular, a choreography supportsmodeling and enactment of interorganizational business processes consisting of autonomous organizations. Temporal constraints are important quality criteria. We propose a technique for modeling temporal constraints in choreographies and orchestrations, checking whether the orchestrati...

We introduce a temporal pattern model called Temporal Interval Tree Association Rules (Tita rules or Titar). This pattern model can express both uncertainty and temporal inaccuracy of temporal events. Among other things, Tita rules can express the usual time point operators, synchronicity, order, and chaining, as well as temporal negation and disjunctive temporal constraints. Using this represe...

We hypothesise that all electroweak symmetry breaking terms such as fermion masses and the W and Z gauge boson masses arise radiatively from just one explicit symmetry breaking term in the Lagrangian. Our hypothesis is motivated by the lack of experimental support and the lack of predictivity of the standard symmetry breaking scenario. We construct a simple model which illustrates our ideas. We...

This paper presents a data model for cyclic geographic events useful for nextgeneration geographic information system design. The paper introduces a structure that captures all possible temporal relations between occurrences of cyclic events, as well as the frequency in which each temporal relation occurs. Based on such a structure, this paper proposes a new set of temporal constraints and a me...

Temporal control is an important concept for real-time systems, and several systems and languages provide means for setting temporal constrains on the program. However, the way temporal constraints are placed on the program, the granularity, and the supported kinds of temporal constraints differ from system to system. This chapter provides an introduction to temporal control in real-time system...

The hardware/software co-design of a high-quality real-time system relies heavily on the modeling of both the hardware and software components from three aspects: structures, functionalities, and constraints, especially the temporal constraints. However, there is not a systematic process for the elicitation and analysis of temporal constraints in hardware/software co-design. Furthermore, existi...

The current workflow management systems do not take into consideration the mutual dependency between temporal constraints, which is affecting the effectiveness and efficiency of the temporal verification. In this paper, we investigate this dependency and its effects on the verification of temporal constraints. Furthermore, based on these analyses on the temporal dependency, we develop some new ...

Simple Temporal Networks (STN) allow conjunctions of minimum and maximum distance constraints between pairs of temporal positions to be represented. This paper introduces an extension of STN called Time-dependent STN (TSTN), which covers temporal constraints for which the minimum and maximum distances required between two temporal positions x and y are not necessarily constant but may depend on...

The analysis of frequent behaviors regarding temporal issues begins to achieve some interest, in particular in the area of health care. However, existing approaches tend to ignore the temporal information and only make use of the order among events occurrence. In this paper, we introduce the notion of temporal constraint, and propose three instantiations of it: complete cyclic temporal constrai...