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.
Declarative Process Models: Different Ways to Be Hierarchical / De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Maggi, Fabrizio M.. - 9936:(2016), pp. 104-119. (Intervento presentato al convegno 14th International Conference on Service-Oriented Computing (ICSOC 2016) tenutosi a Banff, Canada nel October 10-13, 2016) [10.1007/978-3-319-46295-0_7].
Declarative Process Models: Different Ways to Be Hierarchical
Di Francescomarino, Chiara;
2016-01-01
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
