Abstract
Highly available services are becoming a part of our everyday life; yet building highly available systems remains a challenging task for most system integrators who are expected build reliable systems from none reliable components. The service availability forum (SAForum) defines open standards for building and maintaining HA systems using the SAForum middleware. Nevertheless this task remains tedious and error prone due to the complexity of this middleware configuration. In this paper, we present a solution to automate the generation of description files for HA systems which enables the automated generation of the middleware configuration. In order to achieve this we propose an approach based on a new domain specific language extending the UML component diagrams, along with a corresponding set of model transformations. We also present our prototype implementation and a case study as a proof of concept.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Service Availability Forum, Application Interface Specification, http://www.saforum.org
Service Availability Forum, Application Interface Specification. Availability Management Framework SAI-AIS-AMF-B.04.01, http://www.saforum.org (accessed: April 2013)
Service Availability Forum, Entity Types File Schema SAI-AIS-SMF-ETF-A.01.02.xsd
Service Availability Forum, Application Interface Specification. Software Management Framework SAI-AIS-SMF-A.01.01
The Unified Modeling Language, http://www.uml.org/
Fault-Tolerant CORBA Specifications, http://www.omg.org/technology/documents/corba_spec_catalog.htm
LinuxHA project, http://www.linux-ha.org
Pacemaker project, http://clusterlabs.org/
Kanso, A., Hamou-Lhadj, A., Toeroe, M., Khendek, F.: Generating AMF Configurations from Software Vendor Constraints and User Requirements. In: Proc. of the Forth International Conference on Availability, Reliability and Security, Fukuoka, Japan, pp. 454–461 (2009)
Gherbi, A., Kanso, A., Khendek, F., Hamou-Lhadj, A., Toeroe, M.: A Tool Suite for the Generation and Validation of Configurations for Software Availability. In: Proc. of 24th IEEE/ACM International Conference on Automated Software Engineering, ASE 2009, November 16-20, pp. 671–673 (2009)
Salehi, P.: A Model Based Framework for Service Availability Management. PhD thesis, Concordia University (2012)
Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: eclipse modeling framework. Pearson Education (2008)
Papyrus Eclipse Project, https://www.eclipse.org/papyrus/
Eclipse OCL in Ecore, http://wiki.eclipse.org/OCL/OCLinEcore
SAFplus implementation, http://openclovis.com/products/index.htm
OpenSAF foundation, http://www.opensaf.org/
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)
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)
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: Affiliated with the DisCoTec Federated Conferences, Oslo, Norway, June 03 (2008)
Sahai, A., Singhal, S., Machiraju, V.: Automated Generation of Resource Configurations through Policies. In: Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, June 07-09, p. 107 (2004)
Felfernig, A., Friedrich, G.E., Jannach, D.: UML as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems. Int. Journal of Soft. Eng. Knowl. Eng. 10, 449 (2000)
Guozheng, G., Whitehead, E.J.: Automatic generation of rule-based software configuration management systems. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, May 15-21, p. 659 (2005)
Espindola, A.P., Becker, K., Zorzo, A.: An extension to UML components to consider distribution issues in early phases of application development. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences (2004)
Lu, S., Halang, W., Zhang, L.: A component-based UML profile to model embedded real-time systems designed by the MDA approach. In: Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 17-19, pp. 563–566 (2005)
Mahmood, S., Lai, R.: RE-UML: An Extension to UML for Specifying Component-Based Software System. In: Proceedings of the Australian Software Engineering Conference, ASWEC 2009, April 14-17, pp. 220–228 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Turenne, M., Kanso, A., Gherbi, A., Barrett, R. (2014). Automatic Generation of Description Files for Highly Available Services. In: Majzik, I., Vieira, M. (eds) Software Engineering for Resilient Systems. SERENE 2014. Lecture Notes in Computer Science, vol 8785. Springer, Cham. https://doi.org/10.1007/978-3-319-12241-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-12241-0_4
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12240-3
Online ISBN: 978-3-319-12241-0
eBook Packages: Computer ScienceComputer Science (R0)