A model-driven approach for the generation of configurations for highly available software systems

AbstractHigh availability of services is an important requirement for mission-critical systems. The Service Availability Forum has defined standards to support the realization of high available systems. Among these standards, the Availability Management Framework (AMF) is perhaps the most important one. AMF is a middleware service that coordinates redundant application components to ensure the high availability of the services. AMF requires a configuration that describes the provided services, their types, and the deployment infrastructure. The process of generating an AMF configuration takes as input 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.

[1]  Yves Le Traon,et al.  Barriers to systematic model transformation testing , 2010, Commun. ACM.

[2]  Jochen Malte Küster,et al.  Definition and validation of model transformations , 2006, Software & Systems Modeling.

[3]  Eduard Babkin,et al.  Automated Formal Verification of Model Transformations Using the Invariants Mechanism , 2019, BIR.

[4]  Márk Asztalos,et al.  Towards Automated, Formal Verification of Model Transformations , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[5]  Vicente Pelechano,et al.  Test-Driven Development of Model Transformations , 2009, MoDELS.

[6]  Dániel Varró,et al.  An Eclipse-Based Framework for AIS Service Configurations , 2007, ISAS.

[7]  Abdelouahed Gherbi,et al.  Automatic Generation of Description Files for Highly Available Services , 2014, SERENE.

[8]  Abdelwahab Hamou-Lhadj,et al.  A UML-based domain specific modeling language for service availability management: Design and experience , 2016, Comput. Stand. Interfaces.

[9]  L´szló Lengyel,et al.  Validating Query/View/Transformation Relations , 2010, 2010 Workshop on Model-Driven Engineering, Verification, and Validation.

[10]  FranceRobert,et al.  Barriers to systematic model transformation testing , 2010 .

[11]  Zoltán Szatmári,et al.  Applying MDA approach for the SA forum platform , 2008, MAI '08.

[12]  Abdelouahed Gherbi,et al.  A tool chain for generating the description files of highly available software , 2014, ASE.

[13]  Abdelwahab Hamou-Lhadj,et al.  Generating AMF Configurations from Software Vendor Constraints and User Requirements , 2009, 2009 International Conference on Availability, Reliability and Security.

[14]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[15]  Yves Le Traon,et al.  Model Transformation Testing Challenges , 2006 .

[16]  Hartmut Ehrig,et al.  Information Preserving Bidirectional Model Transformations , 2007, FASE.

[17]  Floyd Piedad,et al.  High Availability: Design, Techniques and Processes , 2000 .

[18]  Charles J. Petrie,et al.  Using Object-Oriented Constraint Satisfaction for Automated Configuration Generation , 2004, DSOM.

[19]  Jochen M. Küster,et al.  Systematic Validation of Model Transformations , 2004 .

[20]  Jordi Cabot Sagrera,et al.  Verification of UML/OCL Class Diagrams Using Constraint Programming , 2008 .

[21]  Raffaela Mirandola,et al.  MANTra: Towards Model Transformation Testing , 2010, 2010 Seventh International Conference on the Quality of Information and Communications Technology.

[22]  Boris Beizer,et al.  Black Box Testing: Techniques for Functional Testing of Software and Systems , 1996, IEEE Software.

[23]  Abdelwahab Hamou-Lhadj,et al.  Checking Service Instance Protection for AMF Configurations , 2009, 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.

[24]  Richard W. Buskens,et al.  Model-Centric Development of Highly Available Software Systems , 2006, WADS.

[25]  Yves Le Traon,et al.  Model transformation testing: oracle issue , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[26]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[27]  Jordi Cabot,et al.  Incremental integrity checking of UML/OCL conceptual schemas , 2009, J. Syst. Softw..

[28]  Abdelwahab Hamou-Lhadj,et al.  Automatic Generation of AMF Compliant Configurations , 2008, ISAS.

[29]  Juan de Lara,et al.  Verification and validation of declarative model-to-model transformations through invariants , 2010, J. Syst. Softw..

[30]  Abdelwahab Hamou-Lhadj,et al.  AMF configurations: Checking for service protection using heuristics , 2011, 2011 7th International Conference on Network and Service Management.

[31]  Benoit Baudry,et al.  On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[32]  Akhil Sahai,et al.  Automated generation of resource configurations through policies , 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..