System Language System Language (SL) is a formal language designed to support the description and analysis of systems in any domain.