Validation and Verification of Interoperability Requirements

Mamadou Samba Camara (1) , Rémy Dupas (2) , Yves Ducq (2)

1 ESP - École Supérieure Polytechnique de Dakar
2 IMS - Laboratoire de l'intégration, du matériau au système

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.

Mots clés: Enterprise interoperability; Software specification; Software validation; Service Oriented Architectures; Business Process Modeling

Domaines: Informatique [cs]

Mamadou Samba 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⟩