Return to Article Details OCL-based Runtime Monitoring of JVM hosted Applications Download Download PDF