@Override
	public String transalte(BaseSMVSourceFormatter formatter) {
		// TODO Auto-generated method stub
		StringBuilder sb = new StringBuilder();
		sb.append(formatter.format(SMVElement.KW_MODULE, true, 0)).append(SMVElement.SPACE);
		if (this.isMainArch)
			sb.append(SMVElement.MAIN_MODULE_NAME);
		else sb.append(this.getId());
		sb.append(SMVElement.NEWLINE);

		if (this.nodeMap != null && this.nodeMap.size() > 0) {
			sb.append(formatter.format(SMVElement.KW_VAR, true, 1)).append(SMVElement.NEWLINE);
			for (String key : this.nodeMap.keySet()) {
				BreezeNode node = this.nodeMap.get(key);
				sb.append(formatter.format(node.getSmvInstanceId(), true, 2))
						.append(formatter.format(SMVElement.COLON, false, 2)).append(formatter.format(node.getId(), false, 2))
						.append(SMVElement.SEMICOLON).append(SMVElement.NEWLINE);
			}
		}

		List<BreezeNode> allNodes = this.connectionGraph.getAllNode();
		sb.append(formatter.format(this.connectionGraph.getSmvInstanceId(), true, 2))
				.append(formatter.format(SMVElement.COLON, false, 2))
				.append(formatter.format(this.connectionGraph.getId(), false, 2))
				.append(formatter.format(SMVElement.PARENTHESES_LEFT, false, 2));
		boolean flag = true;
		for (BreezeNode node : allNodes) {
			if (!flag)
				sb.append(SMVElement.COMMA);
			else flag = false;
			sb.append(formatter.format(node.getSmvParameterName(), false, 3));
		}
		sb.append(formatter.format(SMVElement.PARENTHESES_RIGHT, false, 2)).append(SMVElement.SEMICOLON)
				.append(SMVElement.NEWLINE);
		return sb.toString();
	}