Designing Enterprise Model Interoperability: a Methodology Based on HLA Rules