A K-based language for Design Patterns | IEEE Conference Publication | IEEE Xplore