Using bpmn and HLA for sos engineering: lessons learned and future directions