An approach for evaluating enterprise organizational interoperability based on enterprise model checking techniques
Résumé
A company manager wanting to choose relevant partners in order to respond rapidly and efficiently to a business opportunity must be confident first on the partners' ability and adequacy, second on their organizational interoperability allowing then to collaborate profitably all along the affair. The aim of this paper is to present an approach allowing this manager to identify potential interoperability problems between partners. This approach is based on the specification of interoperability rules and on the analysis of these rules on enterprise models by using two complementary formal checking techniques.