Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01055850
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, August 13, 2014 - 4:31:06 PM
Last modification on : Wednesday, October 20, 2021 - 1:23:01 AM
Long-term archiving on: : Thursday, November 27, 2014 - 12:42:39 AM

File

03380215.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

`

Citation

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⟩

Share

Metrics

Record views

333

Files downloads

357