add correct semantics for ProcessorApp.