Welcome to the Elephant Specification Language (ESL) reference documentation. ESL is a
formal language to write extremely structured system specifications. These pages explain
the fundamental scientific concepts which form the foundations of ESL, the formal
syntax, semantics, and the dependency derivation rules.
Please refer to the ESL Enhancement Proposals to find the motivation and specification of new
language features that have been added over time.
This documentation is based on T. Wilschut, 2018. System Specification and
design structuring methods for a lock product platform, PhD Thesis, Eindhoven
University of Technology, Chapter 6.. It is expanded on and updated according to the
ESL Enhancement Proposals.