Towards Model Transformation from a CBM Model to CEP Rules to Support Predictive Maintenance

Coercive investigative measures with or without prior judicial authorisation may be appealed in accordance with Rules 31 (general rules for coercive measures without prior

The adapted software process model (component 8 in Fig. 1) is the output of applying such transformation using the organizational software process and the concrete project context

While DL is very powerful and semantically rich (making OWL an acknowledged standard for the modelling of document metadata), monotonic logics are not sufficient for modeling

In this paper we will look at how to use SWRL rules to represent Italian noun morphology, more specifically inflectional morphology, and show how generalisa- tions about Italian

The input of Meeduse is the meta-model of a DSL and hence in order to apply the tool for model-to-model transformation, we first need to merge both input and output meta-models into

extends [24] the hypersequent formalism: the formula corresponding to a display sequent has a normal form which is broader and also more general in the sense that the normal form

As relates to the content, the benchmarking aims at four quality dimensions of refactoring M2T transformations by collecting quantitative data on them (see, e.g., [FP97, LW13]): The

Beyond the ap- parent complexity and unruly nature of contemporary transnational rule making, we search for those structuring dimensions and regularities that frame