Modeling a Warehouse system using refinements and decomposition

Traditional two-level modeling has limitations when it comes to represent domain-specific, non-transitive instantiation relationships. Despite many approaches tackle this problem, there is no consensus on how to models these cases best. To have a common benchmark to discuss the different approaches, the MULTI workshop has set the warehouse model challenge. In this paper, we present and discuss a solution of this challenge applying deep modeling through refinements and structural decomposition - a technology that supports deep modeling with just few extensions to EMOF [12].