SDL[4]

System Description Language

The language used by the Eiffel/S implementation of Eiffel to assemble clusters into a system. See Lace.