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 metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01055850
Contributor : Hal Ifip <>
Submitted on : Wednesday, August 13, 2014 - 4:31:06 PM
Last modification on : Thursday, April 18, 2019 - 5:26:01 PM
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

246

Files downloads

250