Interoperability Constraints and Requirements Formal Modelling and Checking Framework - Advances in Production Management Systems. New Challenges, New Approaches Access content directly
Conference Papers Year : 2010

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.

Domains

Digital Libraries [cs.DL]
Fichier principal
Vignette du fichier
03380215.pdf (475.29 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Hal Ifip  : Connect in order to contact the contributor

https://inria.hal.science/hal-01055850

Submitted on : Wednesday, August 13, 2014-4:31:06 PM

Last modification on : Tuesday, February 28, 2023-3:36:20 PM

Long-term archiving on: Thursday, November 27, 2014-12:42:39 AM

Download

Dates and versions

hal-01055850 , version 1 (13-08-2014)

Licence

Attribution

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EM-ALES IFIP IFIP-AICT IFIP-AICT-338 IFIP-TC IFIP-TC5 IFIP-WG IFIP-APMS IFIP-WG5-7
140 View
170 Download

Altmetric

Share

Gmail Facebook X LinkedIn More