relation Rel[role1, role2]{
	
	// add here services, example:
	// 
	// service exchange(){
	//	 int a_role2 = role2.getA();
	//   role2.setA(role1.getA());
	//   role1.setA(a_role2);	
	// }
}