We will investigate the use of the ESC/Java analysis tool [15] as a resource consumption analyser. Complex patterns of resource consumption can be specified using well-known program annotation technology such as the ghost variables approach [16] which is supported by ESC/Java. The ESC/Java tool supports the emerging de facto standard for Java annotation as defined by the Java Modelling Language approach [17].