Compare SOA/BPM stacks of TIBCO and JBoss and propose migration methodology and tools