A Model Based Framework for Service Availability Management


A Model Based Framework for Service Availability Management

Salehi, Pejman (2012) A Model Based Framework for Service Availability Management. PhD thesis, Concordia University.

This is the latest version of this item.

PDF - Accepted Version


High availability of services is an important requirement in several domains, including mission critical systems. The Service Availability Forum (SA Forum) is a consortium of telecommunications and computing companies that defines standard middleware solutions for high availability. Availability Management Framework (AMF) manages the high availability of services by coordinating their application components according to redundancy models. To protect these services, AMF requires a configuration, i.e. a representation of the organization of the logical entities composing an application under its control. AMF configuration design is error-prone and tedious if done manually, due to the complexity of the AMF domain. This PhD thesis explores the effective design and analysis of AMF configurations, proposing a model-based management framework that facilitates this process. We propose a domain-specific modeling language that captures AMF domain concepts, relationships, and constraints, facilitating the management of AMF configurations. We define this language by extending UML through its profiling mechanism, capturing the concepts of AMF configurations and the description of the software for which the configuration will be generated.
We introduce a new approach for the automatic generation of AMF configurations based on our UML profile using model transformation techniques. This approach consists of a set of transformations from the software description entities into AMF configurations while satisfying the requirements of the services to be provided as well as the constraints of the deployment infrastructure.
We also propose a third-party AMF configuration validation approach consisting of syntactical and semantic validations. Syntactical validation checks the well-formedness of third-party configurations by validating them against AMF standard specification requirements captured in our UML profile. Semantic validation focuses on ensuring the runtime protection of services at configuration time (the SI-Protection problem). SI-Protection has combinatorial aspects and results in an NP-hard problem for most redundancy models, which we have tackled by devising a heuristic-based method, overcoming its complexity.
We present proofs of concepts by using different available technologies: IBM Rational Software Architect (RSA) for implementing our UML profiles, Eclipse environment for developing a prototype tool for validating third-party configurations, and Atlas Transformation Language (ATL) for developing a prototype implementation of our model-based configuration generation approach.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (PhD)
Authors:Salehi, Pejman
Institution:Concordia University
Degree Name:Ph. D.
Program:Electrical and Computer Engineering
Date:April 2012
Thesis Supervisor(s):Khendek, Ferhat and Hamou-Lhadj, Abdelwahab
Keywords:Model Driven Approach, Configuration Generation, Model Transformation, ATL, Domain-specific modeling languages, UML profiles, High-Availability, Availability Management Framework Standard, Service Availability Forum.
ID Code:974079
Deposited On:20 Jun 2012 15:30
Last Modified:20 Jun 2012 15:30
[Aagedal 2005] J. Aagedal, J. Bezivin, and P. Linington, "Model-driven development," 2005. in: Malenfant, J. and Ostvold, Bjarte.M., eds. ECOOP 2004 Workshop Reader. LNCS, 3344. Springer-Verlag, pp. 148-157.
[Abouzahra 2005] A. Abouzahra, J. Bézivin, M. Didonet Del Fabro, and F. Jouault., “A practical approach to bridging domain specific languages with UML profiles,” in Proc. of the Workshop on Best Practices for Model Driven Software Development, OOPSLA, San Diego, USA, 2005.
[Amyot 2006] D. Amyot and J. Roy, “Evaluation of Development Tools for Domain-Specific Modeling Languages,” In 5th International Workshop on System Analysis and Modeling, LNCS v. 4320 (2006).
[AUTOSAR 2006] AUTOSAR GbR, UML Profile for AUTOSAR Specification, Version 1.0.1. 2006, URL:
[Baudry 2006] B. Baudry, T. Dinh-Trong, J.M. Mottu, D. Simmonds, R. France, S. Ghosh, F. Fleurey, and Y. Le Traon, “Model transformation testing challenges,” in Proceedings of IMDT workshop in conjunction with ECMDA’06, Bilbao, Spain, 2006.
[Baudry 2010] B. Baudry, S. Ghosh, F. Fleurey, R. France, Y.L. Traon and, J.M. Mottu, “Barriers to systematic model transformation testing,” Communications of the ACM 53(6), pp.139-143, (2010)
[Belloni 2006] E. Belloni, and C. Marcos, "MAM-UML: An UML Profile for the Modeling of Mobile-Agent Applications," in Proc. of the 24th International Conference of the Chilean Computer Science Society, 2004, pp.3-13.
[Bernardi 2008] S. Bernardi, J. Merseguer, and D. Petriu, "Adding dependability analysis capabilities to the MARTE profile," in Proc. of the 11th international conference on Model Driven Engineering Languages and Systems, Toulouse, France, 2008, pp. 736-750.
[Beizer 1995] B. Beizer, “Black-box testing: techniques for functional testing of software and systems”, John Wiley & Sons, Inc., New York, NY, 1995
[Cabot 2008] J. Cabot, R. Clarisó, and D. Riera, “Verification of UML/OCL class diagrams using constraint programming,” in MoDeVVa 2008. ICST Workshop, pp. 73–80.
[Cabot 2009] J. Cabot and E. Teniente, “Incremental integrity checking of UML/OCL conceptual schemas,” Journal of Systems and Software vol. 82 (9), pp. 1459-1478.
[Cabot 2010] J. Cabot, R. Clarisó, E. Guerra, and J. de Lara, “Verification and validation of declarative model-to-model transformations through invariants,” Journal of Systems and Software, vol. 83, 2010, pp. 283-302.
[Ciancone 2010] A. Ciancone, A. Filieri, and R. Mirandola, “MANTra: Towards Model Transformation Testing,” in Proc. of the Seventh International Conference on the Quality of Information and Communications Technology, Porto, Portugal, 2010, pp. 97-105.
[Coffman 1996] E. G. Coffman, Jr. , M. R. Garey , and D. S. Johnson,
“Approximation algorithms for bin packing: a survey,” Approximation algorithms for NP-hard problems, PWS Publishing Co., Boston, MA, 1996
[Csirik 1990] J. Csirik, J. Frenk, M. Labbe, and S. Zhang, “On the multidimensional vector bin packing,” European Institute for Advanced Studies in Management, 1990.
[Eclipse 2010a] Eclipse Foundation, 2010, URL:
[Eclipse 2010b] Eclipse Foundation, Eclipse Modeling Framework (EMF), 2010, URL:
[Ehring 2007] H. Ehrig, K. Ehrig, C. Ermel, F. Hermann, and G. Taentzer, “Information preserving bidirectional model transformations,” in Proc. of FASE’07, 2007, vol. 4422, LNCS, Springer, pp. 72-86.
[Felfernig 2000] A. Felfernig, G. Friedrich, and D. Jannach, “UML as domain specific language for the construction of knowledge-based configuration systems,” International Journal of Software Engineering and Knowledge Engineering, 2000. 10(4): pp. 449-470.
[France 2007] R. France, and B. Rumpe, “Model-driven development of complex software: A research roadmap,” in Proc. of Future of Software Engineering, Washington, DC, USA, 2007, pp. 37-54.
[Fuentes 2004] L. Fuentes-Fernández, and A. Vallecillo-Moreno, “An introduction to UML profiles,” The European Journal for the Informatics Professional, Vol. 5, No. 2, 2004.
[Garey 1979] M. Garey, and D. Johnson, “Computers and intractability. A guide to the theory of NP-completeness,” A Series of Books in the Mathematical Sciences. 1979: WH Freeman and Company, San Francisco, CA, USA.
[Gherbi 2009] A. Gherbi, P. Salehi, F. Khendek and A. Hamou-Lhadj “Capturing and Formalizing SAF Availability Management Framework Configuration Requirements,” in Proc. of the First International Workshop on Domain Engineering (DE@CAiSE'09) 2009.
[Gray 2006] J. Gray, Y. Lin, and J. Zhang, “Automating change evolution in model-driven engineering,” Computer, v.39 n.2, pp.51-58, 2006.
[IBM 2011] IBM Rational Software Architect (RSA),
[Kanso 2008] A. Kanso, A. Hamou-Lhadj, M. Toeroe, and F. Khendek, “Automatic Generation of AMF Compliant Configurations,” in Proc. of the 5th International Service Availability Symposium, Tokyo, Japan, 2008 pp. 155-170.
[Kanso 2009] A. Kanso, A. Hamou-Lhadj, M. Toeroe, and F. Khendek, “Generating AMF Configurations from Software Vendor Constraints and User Requirements,” in Proc. of the Forth International Conference on Availability, Reliability and Security, Fukuoka, Japan, 2009, pp. 454-461.
[Kelly 2008] S. Kelly, and J. Tolvanen, “Domain-specific modeling: enabling full code generation,” Wiley-IEEE Computer Society Press, 2008.
[Kenyon 1996] C. Kenyon, “Best-fit bin-packing with random order,” in Proc. of the seventh annual ACM-SIAM symposium on Discrete algorithms, p.359-364, January 28-30, 1996, Atlanta, Georgia, United States
[Knapp 2003] A. Knapp, N. Koch, F. Moser, and G. Zhang, “ArgoUWE: A Case Tool for Web Applications,” in Proc. of the First Int. Workshop on Engineering Methods to Support Information System Evolution, Geneva, Switzerland, 2003.
[Kövi 2007] A. Kövi, “UML profile and design patterns library. (Preliminary version),” Aalborg University, Aalborg, Denmark, IST-FP6-STREP-26979 / HIDENETS, 2007.
[Küster 2004] J.M. Küster, “Systematic Validation of Model Transformations,” in the 3rd UML Workshop in Software Model Engineering (WiSME 2004),
[Küster 2006] J.M. Küster, “Definition and validation of model transformations,” Software and Systems Modeling, Volume 5, Number 3, 2006, pp. 233-259.
[Lagarde 2007] F. Lagarde, H. Espinoza, F. Terrier, and S. Gérard, “Improving UML profile design practices by leveraging conceptual domain models,” in Proc. of the 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, USA, 2007, pp. 445-448.
[Lagarde 2008] F. Lagarde, H. Espinoza, F. Terrier, C. André, and S. Gérard, “Leveraging patterns on domain models to improve UML profile definition,” in Proc of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering, Budapest, Hungary, 2008, pp. 116-130.
[Lengyel 2010] L. Lengyel, I. Madari, M. Asztalos, and T. Levendovszky,” Validating Query/View/Transformation Relations,” in Proc. of 2010 Workshop on Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway, pp. 7-12.
[Leroux 2006] D. Leroux, M. Nally and K. Hussey “Rational Software Architect: A tool for domain-specific modeling,” IBM System Journal, 2006.
[Lomb 1996] R. Lomb, K. Emo, and R. VanDoorn, “Storage management solutions for distributed computing environments.” HEWLETT PACKARD JOURNAL, 1996. 47: pp. 81-93.
[McGill 2007] M. J. McGill and B. H. C. Cheng, “Test-driven development of a model transformation with jemtte,” Technical Report, Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, 2007.
[Mernik 2005] M. Mernik, J. Heering, and A. Sloane, “When and how to develop domain-specific languages,” ACM Computing Surveys (CSUR), 2005. 37(4): pp. 316-344.
[Motto 2008] J.M. Mottu, B. Baudry, and Y.L. Traon, “Model transformation testing: Oracle issue,” In: Proc. of MoDeVVa workshop colocated with ICST 2008, Lillehammer, Norway (April 2008)
[OMG 2002] Object Management Group, UML Profile for CORBA Specification, Version 1.0, formal/02-04-01, URL: http://www. omg. org/cgi-bin/doc.
[OMG 2003a] Object Management Group, UML Profile for Schedulability, Performance, and Time Specification, Version 1.1, formal/03-09-01, 2003, URL:
[OMG 2003b] Object Management Group, Common Warehouse Metamodel (CWM™) Specification, Version 1.1, formal/2003-03-02, 2003, URL:
[OMG 2004] UML 2.0 Testing Profile Specification, Version 1.0, ptc/2004-04-02, 2004, URL:
[OMG 2006a] Object Management Group, Meta Object Facility (MOF) Core Specification, Version 2.0, formal/2006-01-01, 2006, URL:
[OMG 2006b] AUTOSAR GbR, UML Profile for AUTOSAR Specification, Version 1.0.1. 2006, URL:
[OMG 2007a] Object Management Group, XML Metadata Interchange (XMI) Specification, Version 2.1.1, formal/2007-12-02, 2007, URL:
[OMG 2007b] Object Management Group, Unified Modeling Language - Superstructure Version 2.1.1 formal/2007-02-03, 2007, URL:
[OMG 2007c] Object Management Group. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Final Adopted Specification, ptc/07-07-07, 2007, URL:

[OMG 2008] Object Management Group, UML Profile for Modelling Quality of Service and Fault Tolerance Characteristics and Mechanisms Specification, formal/2008-04-05, 2008, URL:
[OMG 2009] Object Management Group, A UML Profile for MARTE Specification, Version 1.0, formal/2009-11-02, 2009, URL:
[OMG 2010a] OMG, Object Constraint Language, Version 2.2 -
[OMG 2010b] Object Management Group, SysML Specification, Version 1.2 formal/10-06-02, 2010, URL:
[OMG 2011] Object Management Group, URL:

[Patt-Shamir 2010] B. Patt-Shamir, and D. Rawitz, “Vector Bin Packing with Multiple-Choice,” in Proc. of the 12th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT), Bergen, Norway, 2010, pp. 248-259.
[Pearl 1984] J. Pearl, “Heuristics: Intelligent Search Strategies for Computer Problem Solving,” New York, Addison-Wesley, 1984.
[Rao 2010] C.S. Rao, J.J. Geevarghese, and K. Rajan., “Improved Approximation Bounds for Vector Bin Packing,” Arxiv preprint arXiv:1007.1345, 2010.
[SAF 2010a] Service Availability Forum™, URL:

[SAF 2010b] Service Availability Forum™, Overview SAI-Overview-B.05.03 at:

[SAF 2010c] Service Availability Forum™, Hardware Platform Interface SAI HPI-B.03.02 at:

[SAF 2010d] Service Availability Forum™, Application Interface Specification. Availability Management Framework SAI-AIS-AMF-B.04.01
[SAF 2010e] Service Availability Forum, Application Interface Specification. Software Management Framework SAI-AIS-SMF-A.01.01.
[Salehi 2009] P. Salehi, F. Khendek, M. Toeroe, A. Hamou-Lhadj, and A. Gherbi, “Checking Service Instance Protection for AMF Configurations,” in Proc. of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, Shanghai, China, 2009, pp. 269 - 274.
[Salehi 2010a] P. Salehi, A. Hamou-Lhadj, P. Colombo, M. Toeroe, and F. Khendek, “A UML-Based Domain Specific Modeling Language for the Availability Management Framework,” in Proc. of The 12th IEEE International High Assurance Systems Engineering Symposium, San Jose, CA, 2010, pp. 35-44.
[Salehi 2010b] P. Salehi, P. Colombo, A. Hamou-Lhadj, and F. Khendek, “A Model Driven Approach for AMF Configuration Generation,” in Proc. of 6th Workshop on System Analysis and Modelling, Oslo, Norway, 2010, pp. 124-143.
[Salehi 2011a] P. Salehi, F. Khendek, M. Toeroe, and A. Hamou-Lhadj “A Heuristic Approach on Checking Service Instance Protection for AMF Configurations,” in Proc. of 7th International Conference on Network and Service Management, Paris, France, 2011.
[Salehi 2011b] P. Salehi, A. Hamou-Lhadj M. Toeroe, P. Colombo, F. Khendek, “A Model Driven Approach For Availability Management Framework (AMF) Configuration Generation,” patent application filed by Ericsson Canada, 2011.
[Salehi 2011c] P. Salehi, A. Hamou-Lhadj, M. Toeroe, and F. Khendek, “A Precise UML Domain Specific Modeling Language for Service Availability Management,” submitted to the Journal of Systems and Software 2011.
[Selic 2003] B. Selic, “The pragmatics of model-driven development,” in IEEE Software, 2003. 20(5), pp. 19-25.
[Selic 2007] B. Selic, “A systematic approach to domain-specific language design using UML,” in Proc. of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), Santorini Island, Greece, 2007, pp. 2-9.
[Sen 2008] S. Sen, B. Baudry, and J. M. Mottu, “On combining multi-formalism knowledge to select models for model transformation testing,” in Proc. Of the 1st International Conference on Software Testing, Verification, and Validation, Lillehammer, Norway, 2008, pp. 328-337.
[Szatmári 2008] Z. Szatmári, A. Kövi, and M. Reitenspiess, “Applying MDA approach for the SA forum platform,” in Proc. of the 2nd workshop on Middleware-application interaction," Oslo, Norway, 2008, pp. 19-24.
[Varro 2003] D. Varro and A. Pataricza, “Automated formal verification of model transformations,” in Proc. of the UML’03 Workshop, Number TUM-I0323 in Technical Report, Technische Universit¨at M¨unchen, 2003 pp. 63-78.
[VideoLAN 2010] VideoLAN Project, The VideoLan Server (VLS) System, 2010, URL:
[Vogels 1998] W. Vogels, “The Design and Architecture of the Microsoft Cluster Service-A Practical Approach to High- Availability and Scalability,” in Proc. of 28th Symposium on Fault-Tolerant Computing, CS Press, 1998, pp. 422-431.
[Wang 2005] D. Wang, and K. Trivedi, “Modeling user-perceived service availability,” in Service Availability, LNCS, 2005, Volume 3694/2005, pp. 107-122.
[Watts 2007] D. Watts, R.J. Brenneman, D. Feisthammel, and T. Sutherland, “Implementing IBM Director 5.20,” IBM Redbooks, April, 2007.

Available Versions of this Item

  • A Model Based Framework for Service Availability Management. (deposited 20 Jun 2012 15:30) [Currently Displayed]
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer