Package de.uka.ipd.sdq.stoex.analyser.operations