A BPMN/HLA-Based Methodology for Collaborative Distributed DES