Enterprise modelling and verification approach for characterizing and checking organizational interoperability

Bruno Vallespir (1) , Vincent Chapurlat (2)

1 IMS - Laboratoire de l'intégration, du matériau au système
2 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production

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.

Bruno Vallespir, Vincent Chapurlat. Enterprise modelling and verification approach for characterizing and checking organizational interoperability. 12th IEEE Conference on Emerging Technologies and Factory Automation, Dec 2007, Patras, Greece. ⟨hal-00195849⟩