Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements

  • Jameleddine Hassine
  • Abdelwahab Hamou-Lhadj
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7916)


Dependability aspects, such as availability and security, are critical in the design and implementation of distributed real-time systems. As a result, it is becoming crucial to model and analyze dependability requirements at the early stages of system development life-cycle. The Service Availability Forum (SA Forum) has developed a set of standard API specifications to standardize high-availability platforms. Among these specifications, the Availability Management Framework (AMF) is the service responsible for managing the availability of the application services by handling application redundant components, dynamically shifting a workload of a faulty component to a healthy component. To manage service availability, AMF requires a configuration of the application it manages. This configuration consists of a logical view of the organization of the application’s services and components. Recognizing the need to plan for availability aspects at the early stages of system development life-cycle, this paper proposes an approach to map high level availability requirements into AMF configurations. The early availability requirements are expressed in terms of the Use Case Maps (UCM) language, part of the ITU-T User Requirements Notation (URN) standard. Our approach allows for the early reasoning about availability aspects and promotes the portability and the reusability of the developed systems across different platforms.


Service Group Service Unit Service Instance Atlas Transformation Language Availability Requirement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ISO/IEC/IEEE: 24765:2010(E) - Systems and software engineering – vocabulary, pp. 1–418 (2010),
  2. 2.
    Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)CrossRefGoogle Scholar
  3. 3.
    International Telecommunication Union: Recommendation E.800 (09/08) Definitions of terms related to quality of service,
  4. 4.
    Wang, D., Trivedi, K.S.: Modeling user-perceived service availability. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol. 3694, pp. 107–122. Springer, Heidelberg (2005), CrossRefGoogle Scholar
  5. 5.
    Hatebur, D., Heisel, M.: A Foundation for Requirements Analysis of Dependable Software. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol. 5775, pp. 311–325. Springer, Heidelberg (2009), CrossRefGoogle Scholar
  6. 6.
    Laprie, J., Avizienis, A., Kopetz, H.: Dependability: Basic Concepts and Terminology. Springer (1991)Google Scholar
  7. 7.
    Service AvailalbilityTM Forum: SAForum,
  8. 8.
    Service AvailalbilityTM Forum: Application Interface Specification – Software Management Framework SAI-AIS-SMF-A.01.02,
  9. 9.
    Service AvailalbilityTM Forum: Application Interface Specification – Overview SAI-Overview-B.05.03,
  10. 10.
    Service AvailabilityTM Forum: Application Interface Specification – Availability Management Framework SAI-AIS-AMF-B.04.01,
  11. 11.
    Salehi, P., Colombo, P., Hamou-Lhadj, A., Khendek, F.: A model driven approach for AMF configuration generation. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol. 6598, pp. 124–143. Springer, Heidelberg (2011), CrossRefGoogle Scholar
  12. 12.
    Kanso, A., Toeroe, M., Hamou-Lhadj, A., Khendek, F.: Generating AMF configurations from software vendor constraints and user requirements. In: International Conference on Availability, Reliability and Security, ARES 2009, pp. 454–461. IEEE (2009),
  13. 13.
    Colombo, P., Salehi, P., Khendek, F., Toeroe, M.: Bridging the gap between user requirements and configuration requirements. In: 17th International Conference on Engineering of Complex Computer Systems, pp. 13–22. IEEE (2012),
  14. 14.
    Kanso, 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
  15. 15.
    Kanso, A., Khendek, F., Toeroe, M., Hamou-Lhadj, A.: Automatic configuration generation for service high availability with load balancing. Concurrency and Computation: Practice and Experience 25(2), 265–287 (2013), CrossRefGoogle Scholar
  16. 16.
    International Telecommunication Union: Recommendation Z.151 (10/12) User Requirements Notation (URN),
  17. 17.
    Hassine, J.: Early Availability Requirements Modeling using Use Case Maps. In: Eighth International Conference on Information Technology — New Generations, ITNG, pp. 754–759. IEEE Computer Society (2011),
  18. 18.
    Hassine, J., Gherbi, A.: Exploring Early Availability Requirements Using Use Case Maps. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 54–68. Springer, Heidelberg (2011), CrossRefGoogle Scholar
  19. 19.
    Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley (2003)Google Scholar
  20. 20.
    jUCMNav v5.2.0: jUCMNav Project (tool, documentation, and meta-model),

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Jameleddine Hassine
    • 1
  • Abdelwahab Hamou-Lhadj
    • 2
  1. 1.Department of Information and Computer ScienceKing Fahd University of Petroleum and MineralsDhahranSaudi Arabia
  2. 2.Electrical and Computer Engineering DepartmentConcordia UniversityMontréalCanada

Personalised recommendations