Conference ProceedingsOPEN ACCESS

Interoperability constraints and requirements formal modelling and checking framework

IFIP Advances in Information and Communication Technology (2010) 338 AICT 219-226
DOI: 10.1007/978-3-642-16358-6_28
4Citations
Citations of this article
17Readers
Mendeley users who have this article in their library.

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. © 2010 IFIP International Federation for Information Processing.

Author supplied keywords

Cite

CITATION STYLE

APA

Chapurlat, V., & Roque, M. (2010). Interoperability constraints and requirements formal modelling and checking framework. In IFIP Advances in Information and Communication Technology (Vol. 338 AICT, pp. 219–226). https://doi.org/10.1007/978-3-642-16358-6_28

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free