modeltype BPMN uses "httpworldwideweb.omg.org/spec/BPMN/20100524/MODEL-XMI";
modeltype BPEL uses "httpworldwidewebdocs.oasis-open.org/wsbpel/2.0/process/executable";

transformation Bpmn2Bpel(in ModelInput:BPMN,out OutputProcess:BPEL);

main() {
	log("A\n");

	ModelInput.objectsOfType(BPMN::Process)->map Proc2Proc();

	log("D\n");

}

mapping BPMN::Process::Proc2Proc():BPEL::Process{
log("start\n");
name:=self.name;
self.flowElements-> map Elements2Activity();
log("process name "+self.name);
log("fine\n");
}
mapping BPMN::FlowElement::Elements2Activity():BPEL::Activity{ //case switch per ogni tipo
																															 //di elemento 
	log("in E2A");
	log(self.name);
	log("out E2A");
}