Interoperability constraints and requirements formal modelling and checking framework

Vincent Chapurlat , Matthieu Roque (1)

1 LGI2P - Laboratoire de Génie Informatique et Ingénierie de Production

This paper aims to present and formalize the foundations of a modeling and checking framework for system requirements management. It is illustrated by the study of interoperability requirements having to be respected all along collaborative (private or public) processes.

Domaines: Complexité [cs.CC]

Vincent Chapurlat, Matthieu Roque. Interoperability constraints and requirements formal modelling and checking framework. Advances in Production management Systems, APMS 2009, Sep 2009, France. pp.#. ⟨hal-00588755⟩