ESL Reference ManualΒΆ
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.
Please refer to the ESL Manual for a more light weight explanation of the language and an illustrative example.
Note
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.