public static String patternOfOperation(Operation op){
String text = op.getName() + "(";
boolean first = true;
for (Iterator iter = op.getOwnedParameter().iterator(); iter
.hasNext(); first = false) {
Parameter param = (Parameter) iter.next();
String temp = param.getName();
if ((param.getType() != null)
&& (param.getType().getName() != null))
temp += " : " + param.getType().getName();
if (!first) {
text += ", ";
}
text += "${" + temp + "}";