%0 Conference Proceedings
%T Testing Conformance in Multi-component Enterprise Application Management
%+ University of Pisa - Università di Pisa
%+ Technische Universität Darmstadt - Technical University of Darmstadt (TU Darmstadt)
%A Soldani, Jacopo
%A Luthmann, Lars
%A Lochau, Malte
%A Brogi, Antonio
%Z Part 1: Formal Methods
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 8th European Conference on Service-Oriented and Cloud Computing (ESOCC)
%C Heraklion, Crete, Greece
%Y Antonio Brogi
%Y Wolf Zimmermann
%Y Kyriakos Kritikos
%I Springer International Publishing
%3 Service-Oriented and Cloud Computing
%V LNCS-12054
%P 3-18
%8 2020-09-28
%D 2020
%R 10.1007/978-3-030-44769-4_1
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%Z WG 2.14
%2 https://inria.hal.science/hal-03203225/document
%2 https://inria.hal.science/hal-03203225/file/493832_1_En_1_Chapter.pdf
%L hal-03203225
%U https://inria.hal.science/hal-03203225
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-ESOCC
%~ IFIP-TC2
%~ IFIP-WG2-14
%~ IFIP-LNCS-12054