An alignment of the Business Process Execution Language (BPEL) and the Business Process Modelling Notation (BPMN) promises seamless integration of process documentation and executable process definitions. Thus, a lot of research has been conducted on a mapping from BPMN to BPEL. The other perspective of this alignment, i.e. a BPEL-to-BPMN mapping, was largely neglected. This paper presents a co...

It is a well accepted empirical result that forward exchange rate unbiasedness is rejected in tests using the “differences regression” of the change in the logarithm of the spot exchange rate on the forward discount. The result is referred to in the International Finance literature as the forward discount puzzle. Competing explanations of the negative bias of the forward discount coefficient in...

We combine earlier investigations of linear systems with Lévy fluc-We give a complete construction of the Ornstein-Uhlenbeck-Cauchy process as a fully computable model of an anomalous transport and a paradigm example of Doob's stable noise-supported Ornstein-Uhlenbeck process. Despite the nonexistence of all moments, we determine local characteristics (forward drift) of the process, generators ...

Proof. Let X(t) denote the number of customers in the system at time t. Since M/M/s process is a birth and death process, it follows from the previous proposition that {X(t), t ≥ 0} is time reversible. Now going forward in time, the time instants at which X(t) increases by 1 are the arrival instants of a Poisson process. Hence, by time reversibility, the time Points at which X(t) increases by 1...

0