lazy rule Task2Interaction {
	from
		ta : IS!Actor
	using{    
		callm:RE!CallMessage=ta.intentionalelement->select(e | e.oclIsTypeOf(IS!Task))->collect(e | thisModule.Task2CallMessages(e));
		
		mes:RE!MessageEnd=IS!Task.allInstances()->collect(e | thisModule.Task2MessageEndS(e));
		
	}
	to 
		inter : RE!Interaction (
			name <- ta.name,
			
			messages <- callm ,
			ends <- mes
		) 
}
lazy rule Task2MessageEndS {
	from
		ta : IS!Task
	to 
		mes : RE!MessageEnd (
			name <- ta.name+'Sender',
			
			message <- IS!Task.allInstances()->select(e | e.name=ta.name).asSequence()
			->collect(e |RE!CallMessage.allInstances()->select(message | message.name=e.name))

		)
}
lazy rule Task2CallMessages {
	from
		ta : IS!Task
	to 
		cme : RE!CallMessage (
			name <- ta.name,
			
			receivingEnd <- IS!Task.allInstances()->select(e | e.name+'Sender'=ta.name+'Sender').asSequence()
			->collect(e |RE!MessageEnd.allInstances()->select(receivingEnd | receivingEnd.name=e.name+'Sender'))
		)		
}