Validation and Verification of Interoperability Requirements

Abstract : The research objective of this work is to develop an approach to reach inter-enterprise interoperability and to test its achievement using practices from the software engineering process. Four fundamental activities are identified in the software process: software specification, software development, software validation and software evolution [1]. In this work, the interoperability requirements specification is based on measurable and non-measurable quality characteristics. It is also demonstrated that the improvement proposed in software specification activity will have positive impact on the software development activity. For the validation activity, the definition of a interoperability testing sub-process is made through a two-step decomposition: one step to verify measurable requirements and another to validate non-measurable ones.
Document type :
Conference papers
Complete list of metadatas

Cited literature [38 references]  Display  Hide  Download

https://hal.inria.fr/hal-01438406
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 17, 2017 - 4:35:56 PM
Last modification on : Monday, September 24, 2018 - 5:28:02 PM
Long-term archiving on : Tuesday, April 18, 2017 - 3:19:54 PM

File

338001_1_En_4_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Mamadou Camara, Rémy Dupas, Yves Ducq. Validation and Verification of Interoperability Requirements. 6th International IFIP Working Conference on Enterprise Interoperability (IWEI), May 2015, Nîmes, France. pp.39-52, ⟨10.1007/978-3-662-47157-9_4⟩. ⟨hal-01438406⟩

Share

Metrics

Record views

219

Files downloads

271