Multi-Level Function Specification and Architecture Analysis Using ESL: A Lock Renovation Pilot Study

In this paper, we present a pilot study to show the first proof-of-principle of the recently developed Elephant Specification Language (ESL). The Prinses Marijke locks in the Netherlands are due for a major renovation. To effectively organize the renovation project, engineers need insight into the network of dependencies between components that are due for renewal and components that remain, to ensure that the replacement parts will fit and function properly in the existing structure. ESL is used to write a structured multi-level function specification for the Prinses Marijke locks. From this specification, multi-domain matrix (MDM) models of the system architecture are automatically derived at multiple levels of granularity. These models show dependencies between components, between functions, and combinations thereof. The MDM models are used to gain insight in the system architecture, to visualize which parts of the lock system are affected by the renovation, and to determine which dependencies have to be accounted for during the renovation process. This information is required to effectively organize the renovation project.