Extended State Transition Language (ESTELLE) ist eine spezielle Sprache zur Beschreibung von Kommunikationsprotokollen. ESTELLE wurde unter ISO 9074 genormt und wird bei verteilten Systemen im Rahmen der Open Systems Interconnection verwendet. Syntax und Semantik sind ähnlich der Programmiersprache PASCAL.