| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Testing Conformance in Multi-component Enterprise Application Management
Abstract : Modern enterprise applications integrate various heterogeneous components, which management has to be suitably coordinated. Being able to check whether the management allowed by the implementation of an application component conforms to a given specification hence becomes crucial. One may indeed wish to replace component specifications with conforming implementations, by ensuring that already planned management can be enacted, or that no additional (potentially undesired) management activities get enabled. In this perspective, we propose a parametric relation for testing the conformance of the management of application components, based on an existing formalism to model multi-component application management (i.e., management protocols). We also discuss how such relation can be exploited to ensure that replacing a specification with a conforming implementation continues to enable all already allowed management activities, and/or that no additional (potentially undesired) management activity gets enabled.
https://hal.inria.fr/hal-03203225
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, April 20, 2021 - 4:27:48 PM
Last modification on : Tuesday, April 20, 2021 - 5:19:21 PM
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, April 20, 2021 - 4:27:48 PM
Last modification on : Tuesday, April 20, 2021 - 5:19:21 PM
Licence
Distributed under a Creative Commons Attribution 4.0 International License