Szakterület-specifikus nyelvek konzisztencia ellenőrzése