JavaPTCaRetPlugin4

Links:

MOP
JavaMOP Syntax
PTCaRet Plugin
PTCaRet Input Syntax
PTCaRet Monitoring Algorithm

JavaPTCaRet is an instance of MOP for Java and for PTCaRet specifications. It is obtained by running JavaMOP with PTCaRet specifications. Despite its simplicity, JavaPTCaRet has conceptual (and potentially theoretical) value; many Java users prefer to specify properties exclusively as PTCaRet formulae.