decomposed Open and stop-self specifications