I am fan of Alloy and CASL specification languages and my question is - what is the common practice regarding the formal methods in UX? Does UX require distinct specification languages? Generally one can use any specification language to describe: 1) the graphical layout of the screen and available commands; 2) the content of the available commands. UX just gives additional constraints on the specification, some non-logical (outside, empirical) guidelines of the content on the specification. Or I am wrong and computer science community has special methods for modern graphical web/mobile/TV/device/wearable programming and for modern UX programming?