Advances in Production Management Systems New Challenges, New Approaches IFIP WG 5.7 International Conference APMS 2009, Bordeaux, France, September 21-23, 2009
Conference papers
Interoperability Constraints and Requirements Formal Modelling and Checking Framework
IMT - MINES ALES - IMT - MINES ALES (IMT - Mines Ales École des Mines
Site de Clavières : 6 avenue de Clavières, 30319 Alès Cedex
Site de Croupillac : Rue Jules Renard, 30100 Alès
Site de Pau : Hélioparc (bâtiment Einstein 1), 2 avenue du Président-Pierre-Angot, 64053 Pau Cedex 9 - France)
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.
https://hal.inria.fr/hal-01055850
Contributor : Hal Ifip <>
Submitted on : Wednesday, August 13, 2014 - 4:31:06 PM Last modification on : Wednesday, June 24, 2020 - 4:18:10 PM Long-term archiving on: : Thursday, November 27, 2014 - 12:42:39 AM
Vincent Chapurlat, Matthieu Roque. Interoperability Constraints and Requirements Formal Modelling and Checking Framework. International Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.219-226, ⟨10.1007/978-3-642-16358-6_28⟩. ⟨hal-01055850⟩