An approach for evaluating enterprise organizational interoperability based on enterprise model checking techniques

Vincent Chapurlat (1) , Bruno Vallespir (2) , Hervé Pingaud (3)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production
2 IMS - Laboratoire de l'intégration, du matériau au système
3 IMT Mines Albi - IMT École nationale supérieure des Mines d'Albi-Carmaux

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.

Domaines: Complexité [cs.CC]

Vincent Chapurlat, Bruno Vallespir, Hervé Pingaud. An approach for evaluating enterprise organizational interoperability based on enterprise model checking techniques. 17th IFAC World Congress 2008, Jun 2008, Inconnue, South Korea. pp.#. ⟨hal-00353768⟩