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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...