Abstract
In the literature, hierarchical dimensions for procedural process models have been widely investigated as they provide different ways to relate, organize and classify models. Such a categorization is based on the dimensions of inheritance, behavioral equivalence, and modularization and can be used to better understand and modify models as well as handle their complexity. Unfortunately, in the context of declarative process models hierarchical dimensions have been sparsely investigated. This paper addresses such a research gap. More specifically, we study a formal semantics for the dimensions above and show how they naturally induce hierarchies on a declarative process language based on declare.