We consider the modeling power of condition templates, a framework for representing discrete event processes in which both single-instance and multiple-instance behaviors are exhibited concurrently. A single-instance behavior corresponds to a trace from a single finite-state process, and a multiple-instance behavior corresponds to the timed interleavings of an unspecified number of identical processes operating at the same time. The template framework allows the modeling of correct operation for systems consisting of concurrent mixtures of both single-instance and multiple-instance behaviors, and was developed for use in fault monitoring applications. We compare the class of timed languages representable by template models with classes of timed languages from timed automata models
展开▼
