Interoperability Constraints and Requirements Formal Modelling and Checking Framework

Abstract : 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.
Type de document :
Communication dans un congrès
Bruno Vallespir; Thècle Alix. International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. Springer, IFIP Advances in Information and Communication Technology, AICT-338, pp.219-226, 2010, Advances in Production Management Systems. New Challenges, New Approaches. 〈10.1007/978-3-642-16358-6_28〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01055850
Contributeur : Hal Ifip <>
Soumis le : mercredi 13 août 2014 - 16:31:06
Dernière modification le : vendredi 9 février 2018 - 16:58:07
Document(s) archivé(s) le : jeudi 27 novembre 2014 - 00:42:39

Fichier

03380215.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Vincent Chapurlat, Matthieu Roque. Interoperability Constraints and Requirements Formal Modelling and Checking Framework. Bruno Vallespir; Thècle Alix. International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. Springer, IFIP Advances in Information and Communication Technology, AICT-338, pp.219-226, 2010, Advances in Production Management Systems. New Challenges, New Approaches. 〈10.1007/978-3-642-16358-6_28〉. 〈hal-01055850〉

Partager

Métriques

Consultations de la notice

216

Téléchargements de fichiers

177