A categorical model of model merging and weaving | IEEE Conference Publication | IEEE Xplore