Interoperability problems which can occur during the collaboration between several enterprises can endanger this collaboration. Consequently, an enterprise manager needs tools in order to analyse rapidly the enterprise network and then become able to anticipate interoperability problems. Thus, the proposed approach in this paper is based on the specification of properties, representing interoperability requirements, and their analysis on enterprise models. Due to the conceptual limits of existing modelling languages, formalising these requirements and intending to translate them under the form of properties need to add conceptual enrichments to these languages. Finally, the analysis of the properties on enriched enterprise models, by formal checking techniques, aims to provide tools allowing to reasoning on enterprise models in order to detect interoperability problems, from an anticipative manner.
