On the Difficulties of Raising the Level of Abstraction and Facilitating Reuse in Software Modelling: The Case for Signature Extension | IEEE Conference Publication | IEEE Xplore