LAMEME Use Case: The Example of Apache Tomcat Complex System

In previous works, we have proposed the use of a megamodel which is a language-based system for the maintenance of complex systems through a modeling perspective. We have called such a language LAMEME (a LAnguage for the Management and Evolution of MEgamodels and its Semantics). It is about a Domain Specific Language (DSL) which exclusively makes use of Higher-Order Functions (HOF) called Global Operation Models (GOMs) to update the megamodel content by adding or removing Component Models (CMs). The LAMEME semantics is given by specifying requires/ensures predicates that are checked at runtime. The paper presents a case study aiming to highlight how LAMEME can be used to describe a simple evolution of a complex software system such as Apache Tomcat.