Towards Improving the Static Semantics of XCore

Throughout this paper, we analyse the state of facts concerning the static semantics of the XCore meta-metamodel and we propose improvements in formalizing it.