I actually created a Minecraft server plugin a long time ago which did this. It allowed server owners to create their own dungeons/buildings/etc and they would generate randomly in the world. It even supported custom procedural generated dungeons and structures.