Morphl2 е декларативен език, който се използва за описание на структури и поведение на софтуерни системи.