Stav dette: A semantic end-to-end process constraint modeling framework / by Shasha Liu.