 |
Advances in Production Management Systems New Challenges, New Approaches IFIP WG 5.7 International Conference APMS 2009, Bordeaux, France, September 21-23, 2009 |
 |
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.
Cited literature [12 references]
https://hal.inria.fr/hal-01055850
Contributor : Hal Ifip <>
Submitted on : Wednesday, August 13, 2014 - 4:31:06 PM
Last modification on : Thursday, March 5, 2020 - 4:45:59 PM
Document(s) archivé(s) le : Thursday, November 27, 2014 - 12:42:39 AM
Contributor : Hal Ifip <>
Submitted on : Wednesday, August 13, 2014 - 4:31:06 PM
Last modification on : Thursday, March 5, 2020 - 4:45:59 PM
Document(s) archivé(s) le : 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
