We generalise the method of diagrams from conventional model theory to a simple institution-independent (i.e. independent of the details of the actual logic formalised as an institution) framework based on a novel categorical concept of elementary diagram of a model. We illustrate the power of our institution-independent method of elementary diagrams by developing several applications to instit...

A process semantics for temporal logic specification is provided by relating a category of temporal theories and interpretations between theories where specification configuration and interconnection is achieved via colimits of diagrams, and a category of algebraic models of processes where parallel composition is explained in terms of limits of diagrams. This semantics is proved to be exact in...

Workflow transaction is one of the most difficult workflow problems which should be solved as soon as possible. Most of the existing transaction models describes complex workflow semantics with an informal specification, thus limits their applicability in complex application scenarios. By relating formal specification and practical application of workflow environments, the paper presents an app...

Chemical processes as well many non-industrial exhibit autocorrelation, for which the above-mentioned control procedures are not suitable. This paper considers problem of monitoring a process in observations can be represented first-order autoregressive model following heavy tailed distribution. It also presents practical usage time series charts on chemical concentrations. The second part disc...

For a GJR-GARCH(1, 1) specification with generic innovation distribution we derive analytic expressions for the first four conditional moments of forward and aggregated returns variances. Moments most commonly used GARCH models are stated as special cases. We also limits these time horizon increases, establishing regularity conditions to converge normal moments. A simulation study using produce...

We develop Shiryaev–Roberts schemes based on signed sequential ranks to detect a persistent change in location of continuous symmetric distribution with known median. The in-control properties these are distribution-free, hence they do not require parametric specification an underlying density function or the existence any moments. Tables control limits provided. out-of-control average run leng...