Enterprise modelling and verification approach for characterizing and checking organizational interoperability

This paper presents a work under development. It describes an approach allowing to formally describe and to check on different enterprise models a set of rules. This allows a manager in charge of a collaboration project in an enterprise to check the organizational interoperability of the different parts of this enterprise involved during the project. Rules and mechanisms allowing to go from enterprise part models to results are proposed.