A showcase of ÉTS researchers’ publications and other contributions

Capturing and formalizing SAF availability management framework configuration requirements


Downloads per month over past year

Gherbi, A., Salehi, P., Khendek, F. et Hamou-Lhadj, A.. 2009. « Capturing and formalizing SAF availability management framework configuration requirements ». In Proceedings of the First International Workshop on Domain Engineering held in conjunction with CAiSE'09 Conference (Amsterdam, The Netherlands, June 9, 2009) Coll. « CEUR Workshop Proceedings », vol. 457. CEUR.

[thumbnail of Capturing-and-Formalizing-SAF-Availability-Management-Framework-Configuration-Requirements.pdf]

Download (356kB) | Preview


The Service Availability Forum (SAF) defines a set of middleware services to support and enable high availability in a standardized manner. The Availability Management Framework (AMF) is the service in charge of managing the high availability of the services provided by an application under its control. In order to do so, the AMF service requires a configuration of the application, referred to as an AMF configuration. We are currently defining a UML profile for the modeling and analysis of AMF configurations. The configuration model and the runtime behavior of an AMF service implementation as a middleware are both defined in the AMF specification. It is not straightforward to extract from the large standard document the domain model, which requires the isolation of the configuration time characteristics from the runtime characteristics of the AMF service. In this paper, we report on our experience in designing a domain model for AMF configurations; we discuss some of the challenges we encountered during this process.

Item Type: Conference proceeding
Gherbi, Abdelouahed
Affiliation: Autres
Date Deposited: 09 May 2017 13:42
Last Modified: 09 May 2017 18:00

Actions (login required)

View Item View Item