For critical systems, providing services with minimal interruption is essential. Availability Management Framework (AMF), defined by SA Forum for managing highly-available applications, requires configurations of applications consisting of various entities organized according to AMF-specific rules and constraints. Creating such configurations is difficult due to the numerous constrained entities involved. This paper presents UACL (UML-based AMF Configuration Language) and a supporting implementation that models the AMF domain, providing designers with tools needed to design, edit, and analyze AMF configurations. UACL is an extension of UML through its profiling mechanism and has been designed to represent AMF concepts, their relations, and constraints. 
A UML-based domain specific modeling language for service availability management: Design and experience