Interoperability constraints and requirements formal modelling and checking framework
Résumé
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.