SDL
Specification and Description Language
Specification and Description Language is an object-oriented, formal language defined by the ITU-T (International Telecommunications Union-Telecommunications Standardization Sector).The language is intended for the specification of complex, event driven, real time, and interactive applications involving many concurrent activities that communicate using discrete signals.