A Model Driven Approach for AMF Configuration Generation

  • Pejman Salehi
  • Pietro Colombo
  • Abdelwahab Hamou-Lhadj
  • Ferhat Khendek
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6598)


High availability of services is an important requirement for mission critical systems. The Service Availability Forum defines standards like the Availability Management Framework (AMF) to support the realization of high available systems. AMF is a middleware service that coordinates redundant application components to ensure the high availability of the provided services. In order to provide and protect services, AMF requires a configuration that captures the organization of logical entities and their relations. It describes the service providers, the provided services, their types, and the deployment infrastructure. The process of generating an AMF configuration requires the description of the software characteristics as well as the configuration requirements that specify the services to be provided. Due to the large number of parameters to be taken into account, the generation of an AMF configuration can be a difficult and error prone task. This paper proposes a new approach for the automatic generation of AMF configurations. The proposed solution is model driven and is based on UML profiles which capture the concepts related to configuration requirements, software description, and AMF configurations. AMF configurations are generated using ATL based transformations defined between these different profiles.


High Availability Availability Management Framework UML Profile Model Driven Approach Configuration Generation Model Transformation ATL 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Hinrich, T., Love, N., Petrie, C., Ramshaw, L., Sahai, A., Singhal, S.: Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation. In: Sahai, A., Wu, F. (eds.) DSOM 2004. LNCS, vol. 3278, pp. 159–170. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    Jouault, F., Allilaire, F., Bezivin, J., Kurtev, I.: ATL: A Model Transformation Tool. Science of Computer Programming 72(1-2), 31–39 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Kanso, A., Toeroe, M., Hamou-Lhadj, A., Khendek, F.: Generating AMF Configurations from Software Vendor Constraints and User Requirements. In: Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES 2009), pp. 454–461. IEEE, Los Alamitos (2009)CrossRefGoogle Scholar
  4. 4.
    Kanso, A.A., Toeroe, M., Khendek, F., Hamou-Lhadj, A.: Automatic Generation of AMF Compliant Configurations. In: Nanya, T., Maruyama, F., Pataricza, A., Malek, M. (eds.) ISAS 2008. LNCS, vol. 5017, pp. 155–170. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  5. 5.
    Kövi, A., Varró, D.: An Eclipse-Based Framework for AIS Service Configurations. In: Malek, M., Reitenspieß, M., van Moorsel, A. (eds.) ISAS 2007. LNCS, vol. 4526, pp. 110–126. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Oggerino, C.: High availability network fundamentals: a practical guide to predicting network availability. Cisco Press (2001)Google Scholar
  7. 7.
    Sahai, A., Singhal, S., Machiraju, V., Joshi, R.: Automated Generation of Resource Configurations through Policies. In: Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), pp. 107–110. IEEE, Los Alamitos (2004)Google Scholar
  8. 8.
    Salehi, P., Hamoud-Lhadj, A., Colombo, P., Khendek, F., Toeroe, M.: A UML- Based Domain Specific Modeling Language for the Availability Management Framework. In: Proceedings of the 12th IEEE International Symposium on High Assurance Systems Engineering (HASE 2010), pp. 35–44. IEEE, Los Alamitos (2010)CrossRefGoogle Scholar
  9. 9.
    Service Availability Forum,
  10. 10.
    Service Availability Forum: Application Interface Specification, Availability Management Framework, SAIAIS-AMF-B.04.01,
  11. 11.
    Service Availability Forum: Application Interface Specification, Software Management Framework, SAIAIS-SMF- A.01.02,
  12. 12.
    Service Availability Forum: SA Forum Overview, SAI-Overview-B.05.01,
  13. 13.
    Szatmári, Z., Kövi, A., Reitenspiess, M.: Applying MDA Approach for the SA Forum platform. In: Proceedings of the 2nd Workshop on Middleware Application Interaction (MAI 2008), pp. 19–24. ACM, New York (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Pejman Salehi
    • 1
  • Pietro Colombo
    • 1
  • Abdelwahab Hamou-Lhadj
    • 1
  • Ferhat Khendek
    • 1
  1. 1.Department of Electrical and Computer EngineeringConcordia UniversityMontrealCanada

Personalised recommendations