Abstraction is the most basic principle of software engineering. Abstractions are provided by models. Modeling and model transformation constitute the …
